Add FM and FSE paper

Author: 916267142

content/en/papers/2026-AccessRefinery-Fast-Mining-Concise-Access-Control-Intents-on-Public-Cloud.md

@@ -14,6 +14,7 @@ abstract = [
 publisher = "Proceedings of ACM FSE'26"
 ccf = "A"
 publish = "conference"
+pdf='/papers/VeriBoost/accessrefinery_final_version.pdf'
 top = true
 [[paper.author]]
     name = 'Ning Kang'

content/en/papers/2026-Fast-SMT-Based-Fault-Tolerance-Verification-for-Wide-Area-Networks.md

@@ -14,7 +14,7 @@ abstract = [
 publisher = "Proceedings of FME FM'26"
 ccf = "A"
 publish = "conference"
-pdf='/papers/VeriBoost/veriboost_draft.pdf'
+pdf='/papers/VeriBoost/veriboost_final_version.pdf'
 top = true
 [[paper.author]]
     name = 'Ning Kang'