Users of ProVerif

If you have written a research paper or a tool using ProVerif, or teach a course on ProVerif, and want it to be added to this page, or if you want the reference to your paper/tool/course to be removed or corrected, please contact Bruno Blanchet.

Research papers

350+ publications have used ProVerif.

We list rank A* or A conferences first for each year, then other publications. Click here to see only the rank A* or A conferences.

2003

• Others
  1. Karthikeyan Bhargavan, Cédric Fournet, Andrew Gordon, and Riccardo Pucella. TulaFale: A Security Tool for Web Services. In Formal Methods for Components and Objects (FMCO 2003), Springer LNCS, Revised Lecture Series, volume 3188, pages 197-222, 2004. Available at https://bhargavan.info/pubs/tulafale-a-security-tool-for-web-services.pdf.

2004

• Rank A* or A conferences
  2. Karthikeyan Bhargavan, Cédric Fournet, and Andrew Gordon. Verifying Policy-Based Security for Web Services. In 2004 ACM Conference on Computer and Communications Security (CCS 2004), pp 268-277, Washington DC, October 25-29, 2004. Available at https://bhargavan.info/pubs/verifying-policy-based-security-ccs04.pdf.
• Others
  3. Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, and Andrew Gordon. Secure Sessions for Web Services. In 2004 ACM Workshop on Secure Web Services (SWS), Washington DC, October 29, 2004. Available at https://bhargavan.info/pubs/secure-sessions-sws04.pdf.
  4. Ran Canetti and Jonathan Herzog. Universally composable symbolic analysis of cryptographic protocols (the case of encryption-based mutual authentication and key exchange). Cryptology ePrint Archive, Report 2004/334, 2004. Available at http://eprint.iacr.org/2004/334
  5. Steve Kremer and Mark D. Ryan. Analysing the vulnerability of protocols to produce known-pair and chosen-text attacks. Electronic Notes in Theoretical Computer Science -- Special Issue for CONCUR'04 Workshop on Security Issues in Coordination Models, Languages and Systems (SecCo'04), 2004. 18 pages. Available at https://markryan.eu/research/papers/pdf/04-chosen.pdf

2005

• Rank A* or A conferences
  6. Steve Kremer and Mark D. Ryan. Analysis of an Electronic Voting Protocol in the Applied Pi Calculus. In Proceedings of the European Symposium on Programming (ESOP'05), Lecture Notes in Computer Science series, volume 3444, pages 186-200, Springer Verlag, 2005. Available at https://markryan.eu/research/papers/pdf/04-eVoting.pdf
• Others
  7. Alexey Gotsman, Fabio Massacci, Marco Pistore. Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language. In Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA-2005), Electronic Notes in Theoretical Computer Science, volume 135, issue 1, pages 59-77, 2005. doi:10.1016/j.entcs.2005.06.004.
  8. Kevin D. Lux, Michael J. May, Nayan L. Bhattad, and Carl A. Gunter. WSEmail: Secure Internet Messaging Based on Web Services. In International Conference on Web Services (ICWS'05). Available at https://doi.org/10.1109/ICWS.2005.138.

2006

• Rank A* or A conferences
  9. Himanshu Khurana and Hyung-Seok Hahm. Certified Mailing Lists. In Proceedings of the ACM Symposium on Communication, Information, Computer and Communication Security (ASIACCS'06), Taipei, Taiwan, March 2006. Available at https://dl.acm.org/doi/10.1145/1128817.1128828.
  10. Karthikeyan Bhargavan, Cédric Fournet, Andrew Gordon, and Stephen Tse. Verified interoperable implementations of security protocols. In 19th IEEE Computer Security Foundations Workshop (CSFW 2006), pages 139-152, Venice, Italy, July 2006. IEEE Computer Society. Available at https://bhargavan.info/pubs/verified-interoperable-implementations-csfw06.pdf.
• Others
  11. Karthikeyan Bhargavan, Cédric Fournet, and Andrew Gordon. Verified reference implementations of WS-Security protocols. In 3rd International Workshop on Web Services and Formal Methods (WS-FM 2006), Vienna, September 8-9, 2006. Springer LNCS 4184:88-106. Available at https://bhargavan.info/pubs/verified-implementations-of-ws-star-wsfm06.pdf.

2007

• Others
  12. Richard Chang and Vitaly Shmatikov. Formal Analysis of Authentication in Bluetooth Device Pairing. In Proc. of LICS/ICALP Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA), Wroclaw, Poland, July 2007. Available at https://www.cs.cornell.edu/~shmat/shmat_fcs07.pdf
  13. Zhengqin Luo, Xiaojuan Cai, Jun Pang, and Yuxin Deng. Analyzing an Electronic Cash Protocol Using Applied Pi Calculus. In Applied Cryptography and Network Security, 5th International Conference, ACNS 2007, Zhuhai, China. Lecture Notes in Computer Science, volume 4521, pages 87-103. Springer. Available at https://doi.org/10.1007/978-3-540-72738-5_6.

2008

• Rank A* or A conferences
  14. Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, and Eugen Zalinescu. Cryptographically Verified Implementations for TLS. In Proceedings of the 15th ACM Conference on Computer and Communications Security (CCS'08), pages 459-468, October 2008. Available at https://bhargavan.info/pubs/cryptographically-verified-implementations-for-tls-ccs08.pdf.
  15. Ralf Küsters and Tomasz Truderung. Reducing Protocol Analysis with XOR to the XOR-free case in the Horn Theory Based Approach. In Proceedings of the 15th ACM Conference on Computer and Communications Security (CCS'08), pages 129-138, October 2008. Available at https://sec.uni-stuttgart.de/_media/publications/KuestersTruderung-CCS-2008.pdf.
  16. Michael Backes, Matteo Maffei, and Dominique Unruh. Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. In Proceedings of 29th IEEE Symposium on Security and Privacy, May 2008. Technical report available at http://eprint.iacr.org/2007/289.
  17. Karthikeyan Bhargavan, Cédric Fournet, Andrew Gordon, and Nikhil Swamy. Verified implementations of the Information Card Federated Identity-Management Protocol. In ACM Symposium on Information, Computer and Communications Security (ASIACCS'08), pages 123-135, Tokyo, Japan, March 2008. Available at https://bhargavan.info/pubs/verified-implementations-of-cardspace-asiaccs08.pdf.
  18. Michael Backes, Catalin Hritcu, and Matteo Maffei. Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus. In Proceedings of 21st IEEE Computer Security Foundations Symposium (CSF), June 2008. Available at https://ieeexplore.ieee.org/document/4556687
• Others
  19. Karthikeyan Bhargavan, Cédric Fournet, Andrew Gordon, and Stephen Tse. Verified interoperable implementations of security protocols. ACM Transactions on Programming Languages and Systems, 31(1):5, 2008. Available at https://bhargavan.info/pubs/verified-interoperable-implementations-toplas08.pdf.

2009

• Rank A* or A conferences
  20. Gilberto Filé and Roberto Vigo. Expressive power of definite clauses for verifying authenticity. In 22nd IEEE Computer Security Foundations Symposium (CSF'09), pages 251-265, Port Jefferson, New-York, USA, July 2009. IEEE Computer Society. Available at http://doi.ieeecomputersociety.org/10.1109/CSF.2009.12.
  21. Ralf Küsters and Tomasz Truderung. Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation. In 22nd IEEE Computer Security Foundations Symposium (CSF'09), pages 157-171, Port Jefferson, New-York, USA, July 2009. IEEE Computer Society. Available at https://sec.uni-stuttgart.de/_media/publications/KuestersTruderung-CSF-2009.pdf.
• Others
  22. Liqun Chen and Mark D. Ryan. Attack, solution and verification for shared authorisation data in TCG TPM. In Proceedings of Sixth International Workshop on Formal Aspects in Security and Trust (FAST'09). LNCS, Springer, 2010. Available at https://markryan.eu/research/papers/pdf/09-FAST.pdf.
  23. Stéphanie Delaune, Steve Kremer, and Mark Ryan. Verifying privacy-type properties of electronic voting protocols. Journal of Computer Security 17(4), pages 435-487, 2009. Available at https://people.irisa.fr/Stephanie.Delaune/PUBLICATIONS-HTML/b2hd-DKR-jcs08.html.
  24. Peeter Laud and Meelis Roos. Formal Analysis of the Estonian Mobile-ID Protocol. In Nordic Conference on Secure IT Systems (NordSec'09), pages 271-286. Available at https://doi.org/10.1007/978-3-642-04766-4_19.
  25. Gyesik Lee, Hisashi Oguma, Akira Yoshioka, Rie Shigetomi, Akira Otsuka and Hideki Imai. Formally Verifiable Features in Embedded Vehicular Security Systems. In First IEEE Vehicular Networking Conference, VNC 2009, Tokyo. Available at https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=5416378.
  26. Frank S. Park, Chinmay Gangakhedkar, and Patrick Traynor. Leveraging Cellular Infrastructure to Improve Fraud Prevention. In 2009 Annual Computer Security Applications Conference (ACSAC-25). Available at https://doi.org/10.1109/ACSAC.2009.40

2010

• Rank A* or A conferences
  27. Sebastian Mödersheim. Abstraction by Set-Membership: Verifying Security Protocols and Web Services with Databases, CCS 2010. Available at http://www2.imm.dtu.dk/~samo/setabstraction.pdf.
  28. Mayla Brusó, Konstantinos Chatzikokolakis and Jerry den Hartog. Formal verification of privacy for RFID systems. 23rd IEEE Computer Security Foundations Symposium, 2010. Available at https://doi.org/10.1109/CSF.2010.13.
• Others
  29. Riccardo Bresciani and Andrew Butterfield. ProVerif Analysis of the ZRTP Protocol. International Journal for Infonomics (IJI), Volume 3, Issue 3, September 2010. Available at https://www.researchgate.net/profile/Andrew_Butterfield/publication/229051596_ProVerif_Analysis_of_the_ZRTP_Protocol/links/02bfe5130ac0e06d36000000/ProVerif-Analysis-of-the-ZRTP-Protocol.pdf.
  30. Stéphanie Delaune, Steve Kremer, Mark Ryan, and Graham Steel. A Formal Analysis of Authentication in the TPM. In Revised Selected Papers of the 7th International Workshop on Formal Aspects in Security and Trust (FAST'10), Pisa, Italy, September 2010, LNCS 6561, pages 111-125. Springer. Available at https://people.irisa.fr/Stephanie.Delaune/PUBLICATIONS-HTML/b2hd-DKRS-fast10.html.
  31. Naipeng Dong, Hugo Jonker, and Jun Pang. Analysis of a receipt-free auction protocol in the applied pi calculus. In Proc. 7th Workshop on Formal Aspects in Security and Trust - FAST'10, Lecture Notes in Computer Science 6561, pp. 223-238. Springer-Verlag, 2011. Available at http://satoss.uni.lu/members/jun/papers/FAST10.pdf.
  32. Bo Meng. Automatic Verification of Security Properties of Remote Internet Voting Protocol in Symbolic Model. In Information Technology Journal 9(8):1521-1556, 2010. Available at http://docsdrive.com/pdfs/ansinet/itj/2010/1521-1556.pdf.
  33. Ben Smyth, Mark D. Ryan, Steve Kremer, and Mounira Kourjieh. Towards automatic analysis of election verifiability properties. In Proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS'10), pp. 146-163, Lecture Notes in Computer Science 6186, Springer, Paphos, Cyprus, October 2010. Available at http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/SRKK-arspawits10.pdf.

2011

• Rank A* or A conferences
  34. Mihhail Aizatulin, Andrew Gordon, and Jan Jürjens. Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution. In CCS 2011. Available at https://doi.org/10.1145/2046707.2046745.
  35. Myrto Arapinis, Eike Ritter, and Mark D. Ryan. StatVerif: Verification of stateful processes. In 24th Computer Security Foundations Symposium (CSF'11), Cernay-la-Ville, France, June 2011. Available at https://markryan.eu/research/papers/pdf/11-state-appi.pdf.
  36. Stéphanie Delaune, Steve Kremer, Mark Ryan, and Graham Steel. Formal analysis of protocols based on TPM state registers. In 24th Computer Security Foundations Symposium (CSF'11), Cernay-la-Ville, France, June 2011. Available at http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/DKRS-csf11.pdf.
• Others
  37. Wei Huang and Bo Meng. Automated Proof of Resistance of Denial of Service Attacks in Remote Internet Voting Protocol with Extended Applied Pi Calculus. In Information Technology Journal, 10(8):1468-1483, 2011. Available at http://www.scialert.net/abstract/index.php?doi=itj.2011.1468.1483.
  38. Bo Meng. Refinement of Mechanized Proof of Security Properties of Remote Internet Voting Protocol in Applied Pi Calculus with Proverif. In Information Technology Journal 10(2):293-334, 2011. Available at http://docsdrive.com/pdfs/ansinet/itj/2011/293-334.pdf.
  39. Gabriel Pedroza, Ludovic Apvrille, and Daniel Knorreck. AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties, In 11th IEEE Conference on Distributed Systems and New Technologies (NOTERE'2011), Paris, France, May 2011. Available at http://ttool.telecom-paristech.fr/docs/notere11_telecomparistech.pdf.
  40. Joeri de Ruiter and Erik Poll. Formal Analysis of the EMV Protocol Suite. In Theory of Security and Applications (TOSCA'11), March-April 2011. Available at http://www.cs.ru.nl/E.Poll/papers/emv.pdf.
  41. Ben Smyth, Mark Ryan and Liqun Chen. Formal analysis of anonymity in ECC-based Direct Anonymous Attestation schemes. In Proceedings of the Eighth International Workshop on Formal Aspects of Security and Trust (FAST'11). Available at https://markryan.eu/research/papers/pdf/11-ecc-daa.pdf
  42. Sebastian Mödersheim and Paolo Modesti. Verifying SeVeCom Using Set-based Abstraction. In 7th IEEE International Wireless Communications and Mobile Computing Conference (IWCMC 2011), Vehicular Communications Symposium, Istanbul, Turkey, 2011. Available at http://www2.imm.dtu.dk/~samo/sevecom.pdf.

2012

• Rank A* or A conference
  43. Myrto Arapinis, Vincent Cheval, and Stéphanie Delaune. Verifying Privacy-Type Properties in a Modular Way, CSF 2012. Available at https://doi.org/10.1109/CSF.2012.16.
  44. Chetan Bansal, Karthikeyan Bhargavan, and Sergio Maffeis. Discovering Concrete Attacks on Website Authorization by Formal Analysis, CSF 2012. Available at https://bhargavan.info/pubs/discovering_concrete_attacks_csf12.pdf.
  45. Alisa Pankova and Peeter Laud. Symbolic Analysis of Cryptographic Protocols Containing Bilinear Pairings, CSF 2012. Available at http://research.cyber.ee/~peeter/research/csf12.pdf.
  46. Naipeng Dong, Hugo Jonker, and Jun Pang. Formal analysis of privacy in an eHealth protocol. In Proc. 17th European Symposium on Research in Computer Security - ESORICS'12, Lecture Notes in Computer Science 7459, pp. 325-342. Springer-Verlag, 2012. Available at http://satoss.uni.lu/members/jun/papers/ESORICS12.pdf.
• Others
  47. Myrto Arapinis, Sergiu Bursuc and Mark Ryan. Privacy supporting cloud computing: ConfiChair, a case study. In Principles of Security and Trust (POST'12), LNCS 7215, Springer, 2012. Available at https://markryan.eu/research/papers/pdf/12-confichair.pdf
  48. Myrto Arapinis, Sergiu Bursuc and Mark Ryan. Reduction of equational theories for verification of trace equivalence: re-encryption, associativity and commutativity. In Principles of Security and Trust (POST'12), LNCS 7215, Springer, 2012. Available at https://markryan.eu/research/papers/pdf/12-renc.pdf
  49. Sepideh Asadi and Hadi Shahriar Shahhoseini. Formal Security Analysis of Authentication in SNMPv3 Protocol by An Automated Tool. In Sixth International Symposium on Telecommunications (IST), pages 1060-1064, 2012. Available at http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6483143.
  50. Michael Backes, Alex Busenius, Catalin Hritcu. On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols. 4th NASA Formal Methods Symposium (NFM 2012), pages 371-387, April 2012. Available at https://catalin-hritcu.github.io/publications/expi2java-nfm2012.pdf.
  51. Xihui Chen, Gabriele Lenzini, Sjouke Mauw and Jun Pang. A group signature based electronic toll pricing system. In Proc. 7th Conference on Availability, Reliability and Security - ARES'12, IEEE Computer Society, 2012. Available at http://satoss.uni.lu/members/jun/papers/ARES12.pdf.
  52. Maria Christofi and Aline Goujet. Formal Verification of the mERA-Based eServices with Trusted Third Party Protocol. In Information Security and Privacy Research, IFIP Advances in Information and Communication Technology, volume 376, 2012, pp 299-314. Available at http://link.springer.com/chapter/10.1007%2F978-3-642-30436-1_25.
  53. Véronique Cortier, Jan Degrieck, and Stéphanie Delaune. Analysing Routing Protocols: Four Nodes Topologies Are Sufficient. In Principles of Security and Trust (POST'12), LNCS 7215, Springer, 2012. Available at https://members.loria.fr/VCortier/files/Publications/b2hd-post12-routing.html.
  54. Véronique Cortier and Cyrille Wiedling. A formal analysis of the Norwegian e-voting protocol. In Principles of Security and Trust (POST'12), LNCS 7215, Springer 2012. Available at https://members.loria.fr/VCortier/files/Publications/b2hd-post12-vote.html.
  55. H. M. N. Al Hamadi, C. Y. Yeun, M. J. Zemerly, M. A. Al-Qutayri, A. Gawanme. Verifying Mutual Authentication for the DLK Protocol using ProVerif tool. In International Journal for Information Security Research (IJISR), Volume 2, Issues 1/2, March/June 2012. Available at http://infonomics-society.org/wp-content/uploads/ijisr/volume-3-2013/Verifying-Mutual-Authentication-for-the-DLK-Protocol-using-ProVerif-tool.pdf.

2013

• Rank A* or A conferences
  56. Guangdong Bai, Guozhu Meng, Jike Lei, Sai Sathyanarayan Venkatraman, Prateek Saxena, Jun Sun, Yang Liu and Jinsong Dong. AuthScan: Automatic Extraction of Web Authentication Protocols From Implementations. In 20th Annual Network & Distributed System Security Symposium (NDSS'13). Available at https://impillar.github.io/files/ndss2013authscan.pdf.
  57. Florian Böhl and Dominique Unruh. Symbolic Universal Composability. In 26th Computer Security Foundations Symposium (CSF'13), pages 257-271, June 2013. Available at http://kodu.ut.ee/~unruh/publications/symbolic-uc.html.
• Others
  1. Myrto Arapinis, Véronique Cortier, Steve Kremer, and Mark D. Ryan. Practical Everlasting Privacy. In Proceedings of the 2nd Conferences on Principles of Security and Trust (POST'13), pp. 21-40, Lecture Notes in Computer Science 7796, Springer, Rome, Italy, March 2013. Available at https://members.loria.fr/SKremer/files/Publications/b2hd-ACKR-post13.html.
  2. Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis. Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage. In 2nd Conference on Principles of Security and Trust (POST 2013) (David Basin, John Mitchell, eds.), Springer Verlag, 2013. Available at https://bhargavan.info/pubs/keys-to-the-cloud-post13.pdf.
  3. Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. Formal Verification of e-Auction Protocols. In Proceedings of the 2nd Conferences on Principles of Security and Trust (POST'13), pp. 247-266, Lecture Notes in Computer Science 7796, Springer, Rome, Italy, March 2013. Available at http://www-verimag.imag.fr/~lakhnech/papers/post2013.pdf.
  4. Morten Dahl and Ivan Damgård. Universally Composable Symbolic Analysis for Two-Party Protocols based on Homomorphic Encryption. Cryptology ePrint Archive: Report 2013/296. Available at http://eprint.iacr.org/2013/296.
  5. Aybek Mukhamedov, Andrew D. Gordon, Mark Ryan. Towards a Verified Reference Implementation of a Trusted Platform Module. In Security Protocols XVII, Lecture Notes in Computer Science, volume 7028, pp 69-81, 2013. Available at http://link.springer.com/chapter/10.1007/978-3-642-36213-2_11.
  6. Hongyuan Wang, Liehuang Zhu, Zhenghe Yang, and Lejian Liao. A new hierarchical and scalable group key exchange protocol with XOR operation. In: International Journal of Wireless and Mobile Computing, volume 6, number 4, pp. 355-361, 2013. Available at http://dx.doi.org/10.1504/IJWMC.2013.056550.
  7. Pierre Kleberger and Guilhem Moulin. Short Paper: Formal Verification of an Authorization Protocol for Remote Vehicle Diagnostics. In 2013 IEEE Vehicular Networking Conference, pp. 202-205, 2013. Available at https://doi.org/10.1109/VNC.2013.6737613.
  8. Kavitha Ammayappan. Seamless interoperation of LTE-UMTS-GSM requires flawless UMTS and GSM. In 2013 Second International Conference on Advanced Computing, Networking and Security, pp. 169-174, 2013. Available at http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6714158.
  9. Donglai Fu, Xinguang Peng, and Yuli Yang. Authentication of the Command TPM_CertifyKey in the Trusted Platform Module. In Telkomnika, Vol. 11, No. 2, February 2013, pp. 855~863. Available at https://www.researchgate.net/publication/275414959_Authentication_of_the_Command_TPM_CertifyKey_in_the_Trusted_Platform_Module.
  10. Khaoula Marzouki, Amira Radhouani, and Narjes Ben Rajeb. Formal Verification of Secrecy, Coercion Resistance and Verifiability Properties for a Remote Electronic Voting Protocol. In International Journal of Information Security and Privacy, 7(2):57-85, 2013. Available at http://www.igi-global.com/article/formal-verification-of-secrecy-coercion-resistance-and-verifiability-properties-for-a-remote-electronic-voting-protocol/87425.
  11. Christoph Busold, Ahmed Taha, Christian Wachsmann, Alexandra Dmitrienko, Hervé Seudié, Majid Sobhani, and Ahmad-Reza Sadeghi. Smart keys for cyber-cars: secure smartphone-based NFC-enabled car immobilizer. In CODASPY '13 Proceedings of the third ACM conference on Data and application security and privacy, pages 233-242. Available at https://doi.org/10.1145/2435349.2435382.

2014

• Others
  69. Michael Backes, Esfandiar Mohammadi and Tim Ruffing. Computational Soundness Results for ProVerif: Bridging the Gap from Trace Properties to Uniformity. In Principles of Security and Trust (POST'14), Lecture Notes in Computer Science, volume 8414, pp. 42-62, 2014. Available at https://doi.org/10.1007/978-3-642-54792-8_3.
  70. Piergiuseppe Bettassa Copet and Riccardo Sisto. Automated Formal Verification of Application-specific Security Properties. In Engineering Secure Software and Systems (ESSoS), Lecture Notes in Computer Science, volume 8364, pp 45-59, 2014. Available at http://link.springer.com/chapter/10.1007/978-3-319-04897-0_4.
  71. Qi Xie, Bin Hu, Xiao Tan, Mengjie Bao, and Xiuyuan Yu. Robust Anonymous Two-Factor Authentication Scheme for Roaming Service in Global Mobility Network. In Wireless Personal Communications, January 2014, Volume 74, Issue 2, pp 601-614. Available at http://link.springer.com/article/10.1007/s11277-013-1309-3.
  72. Jesus Diaz, David Arroyo, and Francisco B. Rodriguez. A formal methodology for integral security design and verification of network protocols. In Journal of Systems and Software, volume 89, March 2014, Pages 87-98. Available at http://www.sciencedirect.com/science/article/pii/S0164121213002355.
  73. Jesus Diaz, David Arroyo, and Francisco B. Rodriguez. On securing online registration protocols: Formal verification of a new proposal. In Knowledge-Based Systems, volume 59, March 2014, Pages 149-158. Available at http://www.sciencedirect.com/science/article/pii/S0950705114000227.
  74. S. W. Xu, H. G. Zhang, Z. Dai, X. F. Dai, J. D. Chen, "Modeling and Reasoning about States in Late Launch Based on Horn Clauses", Advanced Materials Research, Vols 915-916, pp. 1350-1356, Apr. 2014. http://www.scientific.net/AMR.915-916.1350.
  75. Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong. Symbolic Analysis of an Electric Vehicle Charging Protocol. In Engineering of Complex Computer Systems (ICECCS), 2014 19th International Conference on, Aug. 2014. Available at http://dx.doi.org/10.1109/ICECCS.2014.11.
  76. Gang Shen, Xiaohong Li, Ruitao Feng, Guangquan Xu, Jing Hu, Zhiyong Feng. An Extended UML Method for the Verification of Security Protocols. In Engineering of Complex Computer Systems (ICECCS), 2014 19th International Conference on, Aug. 2014. Available at http://dx.doi.org/10.1109/ICECCS.2014.12.
  77. Adarsh Kumar, Krishna Gopal, Alok Aggarwal. Design and Analysis of Lightweight Trust Mechanism for Accessing Data in MANETs. In KSII Transactions on Internet and Information Systems (TIIS) Vol.8 No.3, 2014.3, 1119-1143 (25 pages). Available at https://doi.org/10.3837/tiis.2014.03.024.
  78. Qi Xie, Bin Hu, Na Dong, Duncan S. Wong. Anonymous Three-Party Password-Authenticated Key Exchange Scheme for Telecare Medical Information Systems. In PLOS one. Available at http://dx.doi.org/10.1371/journal.pone.0102747.
  79. Qi Xie, Na Dong, Duncan S. Wong, and Bin Hu. Cryptanalysis and security enhancement of a robust two-factor authentication and key agreement protocol. In International Journal of Communication Systems, Oct. 2014. Available at http://dx.doi.org/10.1002/dac.2858.
  80. Li Xi, Dengguo Feng. Formal Analysis of DAA-Related APIs in TPM 2.0. In Network and System Security, Lecture Notes in Computer Science Volume 8792, 2014, pp 421-434. Available at http://link.springer.com/chapter/10.1007/978-3-319-11698-3_32.
  81. Changhee Hahn, Hyunsoo Kwon, Daeyoung Kim, Kyungtae Kang, Junbeom Hur. A Privacy Threat in 4th Generation Mobile Telephony and Its Countermeasure. In Wireless Algorithms, Systems, and Applications Lecture Notes in Computer Science Volume 8491, 2014, pp 624-635. Available at http://link.springer.com/chapter/10.1007/978-3-319-07782-6_56.
  82. Qi Xie, Wen-hao Liu, Sheng-bao Wang, Bin Hu, Na Dong, and Xiu-yuan Yu. Robust password and smart card based authentication scheme with smart card revocation. In Journal of Shanghai Jiaotong University (Science), August 2014, Volume 19, Issue 4, pp 418-424. Available at http://link.springer.com/article/10.1007/s12204-014-1518-2.
  83. Noomene Ben Henda, Karl Norrman. Formal Analysis of Security Procedures in LTE - A Feasibility Study. In Research in Attacks, Intrusions and Defenses, Lecture Notes in Computer Science Volume 8688, 2014, pp 341-361. Available at http://link.springer.com/chapter/10.1007/978-3-319-11379-1_17.
  84. Jannik Dreier, Hugo Jonker, Pascal Lafourcade. Secure Auctions without Cryptography. In Fun with Algorithms, Lecture Notes in Computer Science Volume 8496, 2014, pp 158-170. Available at http://link.springer.com/chapter/10.1007/978-3-319-07890-8_14.
  85. Ali Kassem, Pascal Lafourcade, and Yassine Lakhnech. Formal verification of e-reputation protocols. In Foundations and Practice of Security - 7th International Symposium, FPS 2014, Montréal, Canada, Lecture Notes in Computer Science. Springer, 2014. Available at https://sancy.iut.uca.fr/~lafourcade/PAPERS/PDF/reputation_main.pdf.
  86. Alessandro Bruni, Michal Sojka, Flemming Nielson, Hanne Riis Nielson. Formal Security Analysis of the MaCAN Protocol. In Integrated Formal Methods, Lecture Notes in Computer Science Volume 8739, 2014, pp 241-255. Available at http://link.springer.com/chapter/10.1007/978-3-319-10181-1_15.
  87. Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, and Sergio Maffeis. Discovering concrete attacks on website authorization by formal analysis. Journal of Computer Security, 22(4):601-657, April 2014. Available at https://inria.hal.science/hal-01102202/.

2015

• Rank A* or A conferences
  88. Alessandro Bruni, Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson. Set-Pi: Set Membership Pi-Calculus. In Computer Security Foundations Symposium (CSF'15), pages 185-198. Available at https://doi.org/10.1109/CSF.2015.20.
  89. Michael Backes, Fabian Bendun, Matteo Maffei, Esfandiar Mohammadi, Kim Pecina. Symbolic Malleable Zero-Knowledge Proofs. In Computer Security Foundations Symposium (CSF'15), pages 412-480. Available at https://doi.org/10.1109/CSF.2015.35.
• Others
  90. Myrto Arapinis, Vincent Cheval and Stephanie Delaune. Composing security protocols: from confidentiality to privacy. 4th International Conference on Principles of Security and Trust (POST 2015), April 2015. Available at http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/ACD-post15.pdf.
  91. Tom Chothia, Ben Smyth and Christopher Staite. Automatically checking commitment protocols in ProVerif without false attacks. 4th International Conference on Principles of Security and Trust (POST 2015), April 2015. Available at http://bensmyth.com/publications/2015-automated-verification-of-secrecy-using-phases/.
  92. Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini. A Framework for Analyzing Verifiability in Traditional and Electronic Exams. In Information Security Practice and Experience, Lecture Notes in Computer Science Volume 9065, 2015, pp 514-529. Available at http://link.springer.com/chapter/10.1007/978-3-319-17533-1_35.
  93. Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini, and Peter Y. A. Ryan. A Secure Exam Protocol Without Trusted Parties. In: IFIP International Information Security and Privacy Conference (SEC 2015), IFIP Advances in Information and Communication Technology book series (IFIPAICT), volume 455, pp. 495-509. Available at https://link.springer.com/chapter/10.1007/978-3-319-18467-8_33.
  94. Marouane Fazouane, Henning Kopp, Rens W. van der Heijden, Daniel Le Métayer, Frank Kargl. Formal Verification of Privacy Properties in Electric Vehicle Charging. In Engineering Secure Software and Systems Lecture Notes in Computer Science Volume 8978, 2015, pp 17-33. Available at http://link.springer.com/chapter/10.1007/978-3-319-15618-7_2.
  95. Ben Smyth, Mark D. Ryan & Liqun Chen (2015) Formal analysis of privacy in Direct Anonymous Attestation schemes. Science of Computer Programming, 111(2). Available at http://www.bensmyth.com/publications/2012-Direct-Anonymous-Attestation-privacy-definition/.

2016

• Rank A* or A conferences
  96. Lucca Hirschi, David Baelde, and Stéphanie Delaune. A Method for Verifying Privacy-Type Properties: The Unbounded Case. In IEEE Symposium on Security and Privacy. Available at https://people.irisa.fr/Stephanie.Delaune/PUBLICATIONS-HTML/b2hd-HBD-sp16.html.
  97. Kim Thuat Nguyen, Nouha Oualha, and Maryline Laurent. Authenticated Key Agreement Mediated by a Proxy Re-encryptor for the Internet of Things. In ESORICS'16. Available at http://link.springer.com/chapter/10.1007/978-3-319-45741-3_18.
• Others
  98. Paolo Modesti. AnBx: Automatic Generation and Verification of Security Protocols Implementations. In Foundations and Practice of Security, 8th International Symposium, FPS 2015, Clermont-Ferrand, France, October 26-28, 2015, Revised Selected Papers. Volume 9482 of the series Lecture Notes in Computer Science pp 156-173. Available at https://paolo.science/docs/fps2015.pdf.
  99. Sergiu Bursuc. Secure Two-Party Computation in Applied Pi-Calculus: Models and Verification. In: Trustworthy Global Computing. LNCS, volume 9533, pp. 1-15. Springer. Available at http://link.springer.com/chapter/10.1007%2F978-3-319-28766-9_1.
  100. Sebastian A. Mödersheim and Alessandro Bruni. AIF-omega: Set-Based Protocol Abstraction with Countable Families. In Principles of Security and Trust (POST'16), LNCS volume 9635, pp 233-253. Available at http://www.imm.dtu.dk/~samo/aif-omega.pdf.
  101. Michael Denzel, Alessandro Bruni, and Mark D. Ryan. Smart-Guard: Defending User Input from Malware. In: 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People, and Smart World Congress (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld). Available at https://doi.org/10.1109/UIC-ATC-ScalCom-CBDCom-IoP-SmartWorld.2016.0089.
  102. Maxime Puys, Marie-Laure Potet, and Pascal Lafourcade. Formal Analysis of Security Properties on the OPC-UA SCADA Protocol. In: International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2016). LNCS, volume 9922. Springer. Available at https://link.springer.com/chapter/10.1007/978-3-319-45477-1_6.
  103. Joeri de Ruiter, Richard J. Thomas, and Tom Chothia. A Formal Security Analysis of ERTMS Train to Trackside Protocols. In: International Conference on Reliability, Safety, and Security of Railway Systems (RSSRail 2016). LNCS, volume 9707, pp. 53-68. Available at https://link.springer.com/chapter/10.1007/978-3-319-33951-1_4.
  104. Hideki Sakurada, Kazuki Yoneyama, Yoshikazu Hanatani, Maki Yoshida. Analyzing and fixing the QACCE security of QUIC. In: Security Standardisation Research. LNCS, volume 10074, pp. 1--31. Springer. Available at http://link.springer.com/chapter/10.1007%2F978-3-319-49100-4_1.
  105. Park, S., Won, J.-J., Yoon, J., Hoon Kim, K., Han, T. A tiny hypervisor-based trusted geolocation framework with minimized TPM operations. Journal of Systems and Software, volume 122, dec. 2016, pp. 202-214. Available at http://dx.doi.org/10.1016/j.jss.2016.09.026.
  106. Amol H. Shinde and A. J. Umbarkar. Analysis of Cryptographic Protocols AKI, ARPKI and OPT using ProVerif and AVISPA. In: I. J. Computer Network and Information Security, 2016, 3, 34-40. Published Online March 2016 in MECS (http://www.mecs-press.org/) DOI: 10.5815/ijcnis.2016.03.05.
  107. Jintian Lu, Jinli Zhang, Jing Li, Zhongyu Wan, and Bo Meng. Automatic Verification of Security of OpenID Connect Protocol with ProVerif. In: International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC 2016). Lecture Notes on Data Engineering and Communications Technologies (LNDECT), volume 1, pp. 209-220. Available at https://link.springer.com/chapter/10.1007/978-3-319-49109-7_20.
  108. Caimei Wang, Yan Xiong, Wenchao Huang, Huihua Xia, and Jianmeng Huang. Formal Analysis of Selective Disclosure Attribute-Based Credential System in Applied Pi Calculus. In: 2016 IEEE Trustcom/BigDataSE/ISPA. Available at https://ieeexplore.ieee.org/abstract/document/7846927/.

2017

• Others
  109. Murat Moran and Dan S. Wallach. Verification of STAR-Vote and Evaluation of FDR and ProVerif. In IFM 2017: Integrated Formal Methods pp 422-436. Available at https://link.springer.com/chapter/10.1007/978-3-319-66845-1_28.
  110. Thibaud Antignac, Mukelabai Mukelabai, and Gerardo Schneider. Specification, design, and verification of an accountability-aware surveillance protocol. In: SAC'17, Proceedings of the Symposium on Applied Computing, pages 1372-1378. Available at https://dl.acm.org/citation.cfm?id=3019826.
  111. Narjes Ben Rajeb, Mouhebeddine Berrima, Matthieu Giraud, and Pascal Lafourcade. Formal Analyze of a Private Access Control Protocol to a Cloud Storage. In: 14th International Conference on Security and Cryptography SECRYPT 2017. Available at https://hal.archives-ouvertes.fr/hal-01689790/.
  112. Letitia W. Li, Florian Lugou, and Ludovic Apvrille. "Security-aware Modeling and Analysis for HW/SW Partitioning." MODELSWARD. 2017. Available at https://pdfs.semanticscholar.org/ff99/b12c05da220b898a24d51f2f77db69d81f7a.pdf.
  113. Caimei Wang, Yan Xiong, Wenchao Huang, Huihua Xia, Jianmeng Huang, and Cheng Su. A Verified Secure Protocol Model of OAuth Dynamic Client Registration. In: 3rd International Conference on Big Data Computing and Communications (BIGCOM 2017). Available at https://ieeexplore.ieee.org/abstract/document/8113053/.
  114. Jayana C. Kaneriya, Jalpa Khamar, and Avani Dadhania. Verification of Security Protocols Using ProVerif. In: International Journal of Engineering Development and Research, Volume 5, Issue 2. Available at https://rjwave.org/ijedr/viewpaperforall.php?paper=IJEDR1702065.
  115. Abisha D. Perlustration on Authentication Protocols in 4G (LTE/LTE-A) Using ProVerif. In: Journal of Network Security Computer Networks, vol. 3, No 1,2,3 (2017). Available at https://matjournals.in/index.php/JONSCN/article/view/1892.
  116. Jintian Lu, Lili Yao, Xudong He, and Bo Meng. Improvement of OpenID Connect protocol and its security analysis. In: Journal of Computer Applications. Available at http://www.joca.cn/EN/10.11772/j.issn.1001-9081.2017.05.1347.
  117. Weijin Wang, Jingbin Liu, Yu Qin, and Dengguo Feng. Formal Analysis of a TTP-Free Blacklistable Anonymous Credentials System. In: International Conference on Information and Communications Security (ICICS 2017), LNCS, volume 10631, pp. 3-16. Available at https://link.springer.com/chapter/10.1007/978-3-319-89500-0_1.
  118. Dai Watanabe, Hisao Sakazaki, and Kunihiko Miyazaki. Representative System and Security Message Transmission using Re-encryption Scheme Based on Symmetric-key Cryptography. In: Journal of Information Processing, vol 25, pp. 67-74, Jan. 2017. Available at https://www.jstage.jst.go.jp/article/ipsjjip/25/0/25_67/_article/-char/ja/.
  119. He X., Tian J. (2017) A Trusted VM Live Migration Protocol in IaaS. In: Xu M., Qin Z., Yan F., Fu S. (eds) Trusted Computing and Information Security. CTCIS 2017. Communications in Computer and Information Science, vol 704. Springer, Singapore. Available at https://doi.org/10.1007/978-981-10-7080-8_4.
  120. Piergiuseppe Bettassa Copet, Guido Marchetto, Riccardo Sisto, and Luciana Costa. Formal verification of LTE-UMTS and LTE–LTE handover procedures. Computer Standards & Interfaces, Volume 50, February 2017, Pages 92-106. Available at https://iris.polito.it/retrieve/handle/11583/2659528/150510/paper.pdf and https://www.sciencedirect.com/science/article/abs/pii/S092054891630071X.

2018

• Rank A* or A conferences
  121. V. Cheval, V. Cortier and M. Turuani. A little more conversation, a little less action, a lot more satisfaction: Global states in ProVerif. In Proceedings of the 31th IEEE Computer Security Foundations Symposium (CSF'18). Available at https://chevalvi.gitlabpages.inria.fr/chevalvi/files/CCT-csf18.pdf
  122. Charlie Jacomme and Steve Kremer. An extensive formal analysis of multi-factor authentication protocols. In Proceedings of the 31st IEEE Computer Security Foundations Symposium (CSF'18). See https://members.loria.fr/SKremer/files/Publications/b2hd-JK-csf18.html
• Others
  123. Cheng Shi and Kazuki Yoneyama. Verification of LINE Encryption Version 1.0 Using ProVerif. In International Workshop on Security, IWSEC 2018: Advances in Information and Computer Security. LNCS, volume 11049, pp. 158-173, available at https://link.springer.com/chapter/10.1007/978-3-319-97916-8_11.
  124. Anongporn Salaiwarakul. A Secure Fingerprint Authentication Protocol. In: Journal of Telecommunication, Electronic, and Computer Engineering, Vol 10, No 1-5. Available at https://jtec.utem.edu.my/jtec/article/view/3627.
  125. Sandipa Roy, Santanub Chatterjee, and Gautamb Mahapatra. An efficient biometric based remote user authentication scheme for secure internet of things environment. In: Journal of Intelligent & Fuzzy Systems, vol. 34, no. 3, pp. 1403-1410, 2018. Available at https://journals.sagepub.com/doi/10.3233/JIFS-169435.
  126. Majid R Alshammari and Khaled M Elleithy. Efficient Key Distribution Protocol for Wireless Sensor Networks. In: Computing and Communication Workshop and Conference (CCWC), 2018 IEEE 8th Annual (pp. 980-985). IEEE. Available at https://www.researchgate.net/profile/Khaled_Elleithy/publication/323563608_Efficient_key_distribution_protocol_for_wireless_sensor_networks/links/5ab2826e458515ecebeebfad/Efficient-key-distribution-protocol-for-wireless-sensor-networks.pdf.
  127. Khalid Mahmood, Shehzad Ashraf Chaudhry, Husnain Naqvi, Saru Kumari, Xiong Li, Arun Kumar Sangaiah. An elliptic curve cryptography based lightweight authentication scheme for smart grid communication. In: Future Generation Computer Systems, Volume 81, April 2018, Pages 557-565. Available at https://www.sciencedirect.com/science/article/pii/S0167739X17309263.
  128. Olivier Pereira, Florentin Rochet, and Cyrille Wiedling. Formal Analysis of the FIDO 1.x Protocol. In: International Symposium on Foundations and Practice of Security (FPS 2017), LNCS, volume 10723, pp. 68-82, Feb. 2018. Available at https://link.springer.com/chapter/10.1007/978-3-319-75650-9_5.
  129. Alessandro Bruni, Thorvald Sahl Jørgensen, Theis Grønbech Petersen and Carsten Schürmann. Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC). In: Security Standardisation Research, 4th International Conference, SSR 2018. LNCS, volume 11322, pp. 21-36. Available at https://link.springer.com/chapter/10.1007/978-3-030-04762-7_2.
  130. Iness Ben Guirat and Harry Halpin. Formal verification of the W3C Web Authentication Protocol. In Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security - HoTSoS '18, 2018. Available at https://doi.org/10.1145/3190619.3190640 and https://inria.hal.science/hal-01966563.
  131. Riccardo Sisto, Piergiuseppe Bettassa Copet, Matteo Avalle, and Alfredo Pironti. Formally sound implementations of security protocols with JavaSPI. Formal Aspects of Computing 30, pages 279–317 (2018). Available at https://iris.polito.it/retrieve/handle/11583/2695975/181376/AuthorsPostPrint.pdf and https://link.springer.com/article/10.1007/s00165-017-0449-8.
  132. Hiroyuki Okazaki, Yuichi Futa, and Kenichi Arai. Suitable Symbolic Models for Cryptographic Verification of Secure Protocols in ProVerif. In 2018 International Symposium on Information Theory and Its Applications (ISITA). IEEE. Available at https://doi.org/10.23919/ISITA.2018.8664273.
  133. Ridhwan Dewoprabowo, Muhammad Arzaki, and Yanti Rusmawati. Formal Verification of Divide and Conquer Key Distribution Protocol Using ProVerif and TLA+. In 2018 International Conference on Advanced Computer Science and Information Systems (ICACSIS). Available at https://doi.org/10.1109/ICACSIS.2018.8618173.
  134. S. Usha, S. Kuppuswami, and M. Karthik. A New Enhanced Authentication Mechanism Using Session Key Agreement Protocol. In Cybernetics and information technologies, Volume 18, No 4, Bulgarian academy of sciences, Sofia, 2018. Available at https://doi.org/10.2478/cait-2018-0048.
  135. Lili Yao, Jiabing Liu, Dejun Wang, Jing Li, and Bo Meng. Formal Analysis of SDN Authentication Protocol with Mechanized Protocol Verifier in the Symbolic Model. In International Journal of Network Security, Vol.20, No.6, PP.1125-1136, Nov. 2018. Available at https://doi.org/10.6633/IJNS.201811_20(6).13.
  136. Marwa Chaieb, Souheib Yousfi, Pascal Lafourcade, and Riadh Robbana. Verify-Your-Vote: A Verifiable Blockchain-Based Online Voting Protocol. In European, Mediterranean, and Middle Eastern Conference on Information Systems (EMCIS 2018), pp. 16--30, Lecture Notes in Business Information Processing,volume 341, Springer. Available at https://doi.org/10.1007/978-3-030-11395-7_2.

2019

• Rank A* or A conferences
  137. Di Long Li and Alwen Tiu. Combining ProVerif and Automated Theorem Provers for Security Protocol Verification. In CADE 2019: Automated Deduction - CADE 27, pp. 354-365. Long version available at https://github.com/darrenldl/ProVerif-ATP/blob/master/paper/CADE-27_paper-42_Di_Long_Li_and_Alwen_Tiu_full.pdf.
  138. V. Cortier, A. Filipiak, and J. Lallemand. BeleniosVS: Secrecy and Verifiability Against a Corrupted Voting Device. In 32nd IEEE Computer Security Foundations Symposium (CSF'19). Available at https://members.loria.fr/VCortier/files/Publications/b2hd-beleniosVS-CSF19.html
  139. Nadim Kobeissi, Georgio Nicolas, and Karthikeyan Bhargavan. Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols. In 4th IEEE European Symposium on Security and Privacy (EuroS&P'19). Available at https://eprint.iacr.org/2018/766.
  140. Lucca Hirschi and Cas Cremers. Improving Automated Symbolic Analysis of Ballot Secrecy for E-voting Protocols: A Method Based on Sufficient Conditions. In 4th IEEE European Symposium on Security and Privacy (EuroS&P'19). Available at https://members.loria.fr/LHirschi/pdfs/EuroSP19_evoting.pdf
• Others
  141. Pietro Tedeschi, Savio Sciancalepore, Areej Eliyan, and Roberto Di Pietro. "LiKe: Lightweight Certificateless Key Agreement for Secure IoT Communications." IEEE Internet of Things Journal 7, no. 1 (2019): 621-638. Available at https://www.researchgate.net/profile/Pietro_Tedeschi/publication/337274918_LiKe_Lightweight_Certificateless_Key_Agreement_for_Secure_IoT_Communications/links/5dce4c55a6fdcc7e1381be16/LiKe-Lightweight-Certificateless-Key-Agreement-for-Secure-IoT-Communications.pdf
  142. Togo Yoshimura, Kenichi Arai, Hiroyuki Okazaki, and Yuichi Futa. Formalization of Security Requirements and Attack Models for Cryptographic Hash Functions in ProVerif. In Proceedings of the International Conference on Security and Management (SAM). Available at https://www.proquest.com/openview/f129bf4648500186ead69b86438290e4/1?cbl=1976342.
  143. Kaouthar Chetioui, Ghizlane Orhanou, Hicham Bensaid, Ilias Cherkaoui, and Youness Chibi. Formal Verification of Confidentiality in DNSSEC and E-DNSSEC Protocols using pi-calculus and ProVerif. In Procedia Computer Science, Volume 160, 2019, Pages 752-757. Special issue The 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2019) / The 9th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2019) / Affiliated Workshops. Available at https://doi.org/10.1016/j.procs.2019.11.015.
  144. Jintian Lu, Xudong He, Yitong Yang, Dejun Wang, and Bo Meng. Automatic Verification of Security of Identity Federation Security Protocol Based on SAML2.0 with ProVerif in the Symbolic Model. In International Journal of Network Security. Available at http://ijns.jalaxy.com.tw/contents/ijns-v22-n1/ijns-2020-v22-n1-p80-92.pdf.
  145. A. Jabbari and J. B. Mohasefi. Improvement in new three-party-authenticated key agreement scheme based on chaotic maps without password table. In Nonlinear Dynamics, volume 95, pages 3177–3191 (2019). Available at https://doi.org/10.1007/s11071-018-04748-y.
  146. Jawad Iftikhar, Sajid Hussain, Khwaja Mansoor, Zeeshan Ali, and Shehzad Ashraf Chaudhry. Symmetric-Key Multi-Factor Biometric Authentication Scheme. In 2019 2nd International Conference on Communication, Computing and Digital systems (C-CODE). Available at https://doi.org/10.1109/C-CODE.2019.8680999.
  147. Chien-Ming Chen, King-Hang Wang, Kuo-Hui Yeh, Bin Xiang, and Tsu-Yang Wu. Attacks and solutions on a three-party password-based authenticated key exchange protocol for wireless communications. In Journal of Ambient Intelligence and Humanized Computing, volume 10, pages 3133–3142 (2019). Available at https://doi.org/10.1007/s12652-018-1029-3.
  148. R. Ameur-Boulifa, F. Lugou, and L. Apvrille. SysML Model Transformation for Safety and Security Analysis. In: Hamid, B., Gallina, B., Shabtai, A., Elovici, Y., Garcia-Alfaro, J. (eds) Security and Safety Interplay of Intelligent Software Systems. CSITS ISSA 2018 2018. Lecture Notes in Computer Science(), vol 11552. Springer, Cham. Available at https://doi.org/10.1007/978-3-030-16874-2_3.
  149. Wenzheng Liu, Xiaofeng Wang, and Wei Peng. Secure Remote Multi-Factor Authentication Scheme Based on Chaotic Map Zero-Knowledge Proof for Crowdsourcing Internet of Things. In IEEE Access, Volume: 8. Available at https://doi.org/10.1109/ACCESS.2019.2962912.
  150. Lu Zhou, Xiong Li, Kuo-Hui Yeh, Chunhua Su, Wayne Chiu. Lightweight IoT-based authentication scheme in cloud computing circumstance. In Future Generation Computer Systems, Volume 91, February 2019, Pages 244-251. Available at https://doi.org/10.1016/j.future.2018.08.038.
  151. Mamoon M. Saeed, Rashid A. Saeed, and Elsadig Saeid. Preserving Privacy of Paging Procedure in 5thG Using Identity-Division Multiplexing. In 2019 First International Conference of Intelligent Computing and Engineering (ICOICE). Available at https://doi.org/10.1109/ICOICE48418.2019.9035167.

2020

• Others
  152. Ahmed Aziz, Pietro Tedeschi, Savio Sciancalepore, and Roberto Di Pietro. "SecureAIS-Securing Pairwise Vessels Communications." IEEE Conference on Communications and Network Security (CNS) IEEE, 2020. Available at https://www.researchgate.net/publication/341287012_SecureAIS_-_Securing_Pairwise_Vessels_Communications
  153. Cheng Shi and Kazuki Yoneyama. Formal Verification of Fair Exchange based on Bitcoin Smart Contracts. Indocrypt 2020. Available at https://link.springer.com/chapter/10.1007/978-3-030-65277-7_5
  154. Ed Kamya Kiyemba Edris, Mahdi Aiash, and Jonathan Kok-Keong Loo. Network Service Federated Identity (NSFId) Protocol for Service Authorization in 5G Network. In 2020 Fifth International Conference on Fog and Mobile Edge Computing (FMEC), Paris, France, 2020, pp. 128-135. Available at http://dx.doi.org/10.1109/FMEC49853.2020.9144706
  155. Ed Kamya Kiyemba Edris, Mahdi Aiash, and Jonathan Kok-Keong Loo. Formal Verification and Analysis of Primary Authentication based on 5G-AKA Protocol. In 2020 Seventh International Conference on Software Defined Systems (SDS), Paris, France, 2020, pp. 256-261. Available at http://dx.doi.org/10.1109/SDS49854.2020.9143899
  156. Muhammad Usama Sardar, Do Le Quoc, Christof Fetzer, Towards Formalization of Enhanced Privacy ID (EPID)-based Remote Attestation in Intel SGX, Euromicro Conference on Digital System Design (DSD), Portorož, Slovenia, 26-28 August 2020. Available at https://www.researchgate.net/publication/342833256_Towards_Formalization_of_Enhanced_Privacy_ID_EPID-based_Remote_Attestation_in_Intel_SGX
  157. Jingjing Zhang, Lin Yang, Weipeng Cao, Qiang Wang. Formal Analysis of 5G EAP-TLS Authentication Protocol Using Proverif. In IEEE Access, volume 8. Available at https://doi.org/10.1109/ACCESS.2020.2969474
  158. Jingjing Zhang, Lin Yang, Xianming Gao, Qiang Wang. Formal analysis of QUIC handshake protocol using ProVerif. In 2020 7th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud)/2020 6th IEEE International Conference on Edge Computing and Scalable Cloud (EdgeCom). Available at https://doi.org/10.1109/CSCloud-EdgeCom49738.2020.00030.
  159. Takehiko Mieno, Togo Yoshimura, Hiroyuki Okazaki, Yuichi Futa, and Kenichi Arai. Formal Verification of Merkle–Damgård Construction in ProVerif. In 2020 International Symposium on Information Theory and Its Applications (ISITA), IEEE. Available at https://ieeexplore.ieee.org/abstract/document/9366163.
  160. Ryoga Noguchi, Yoshikazu Hanatani, and Kazuki Yoneyama. Verification of Group Key Management of IEEE 802.21 using ProVerif. In APKC '20: Proceedings of the 7th ACM Workshop on ASIA Public-Key Cryptography, October 2020, ages 19–27. Available at https://doi.org/10.1145/3384940.3388960.
  161. Rong Zhu, Xiaoxi He, Jiahong Xie, Zongjie Zhang, and Ping Wang. An Improved RFID-based Authentication Protocol for Rail Transit. In 2020 IEEE 14th International Conference on Big Data Science and Engineering (BigDataSE). Available at https://doi.org/10.1109/BigDataSE50710.2020.00017.
  162. Tsu-Yang Wu, Zhiyuan Lee, Mohammad S. Obaidat, Saru Kumari, Sachin Kumar, and Chien-Ming Chen. An Authenticated Key Exchange Protocol for Multi-Server Architecture in 5G Networks. In IEEE Access, volume: 8. Available at https://doi.org/10.1109/ACCESS.2020.2969986.
  163. Sarah Naveed, Aiman Sultan, and Khwaja Mansoor. An Enhanced SIP Authentication Protocol for Preserving User Privacy. In 2020 International Conference on Cyber Warfare and Security (ICCWS). Available at https://doi.org/10.1109/ICCWS48432.2020.9292398.
  164. Yilong Zheng, Shunfang Hu, Liangxiong Wei, Yanru Chen, Hao Wang, Yanbing Yang, Yang Li, Bingjie Xu, Wei Huang, and Liangyin Chen. Design and Analysis of a Security-Enhanced Three-Party Authenticated Key Agreement Protocol Based on Chaotic Maps. In IEEE Access, volume: 8. Available at https://doi.org/10.1109/ACCESS.2020.2979251.
  165. Eman Elemam, Ayman M. Bahaa-Eldin, Nabil H. Shaker, Mohamed Sobh. Formal verification for a PMQTT protocol. In Egyptian Informatics Journal, Volume 21, Issue 3, September 2020, Pages 169-182. Available at https://doi.org/10.1016/j.eij.2020.01.001.
  166. Mehmood Hassan, Aiman Sultan, Ali Afzal Awan, Shahzaib Tahir, and Imran Ihsan. An Enhanced and Secure Multiserver-based User Authentication Protocol. In 2020 International Conference on Cyber Warfare and Security (ICCWS). Available at https://doi.org/10.1109/ICCWS48432.2020.9292383.
  167. Malik Muhammad Sohail, Mehmood Hassan, Khwaja Mansoor, Anwar Ghani, and Khwaja Jawad. An Improved Authentication Protocol for Global Mobility Network (GLOMONET). In 2020 17th International Bhurban Conference on Applied Sciences and Technology (IBCAST), IEEE. Available at https://doi.org/10.1109/IBCAST47879.2020.9044490.
  168. Xueping Zhu, Yanxing Li, and Yuan Lei. A Forwarding Secrecy Based Lightweight Authentication Scheme for Intelligent Logistics. In 2020 IEEE International Conference on Advances in Electrical Engineering and Computer Applications (AEECA). Available at https://doi.org/10.1109/AEECA49918.2020.9213520.
  169. Devender Kumar, Harsh Kumar Singh, and Chhahat Ahlawat. A secure three-factor authentication scheme for wireless sensor networks using ECC. In Journal of Discrete Mathematical Sciences and Cryptography, Volume 23, 2020 - Issue 4. Available at https://doi.org/10.1080/09720529.2019.1627072.

2021

• Rank A* or A conferences
  170. Haonan Feng, Hui Li, Xuesong Pan, and Ziming Zhao. A Formal Analysis of the FIDO UAF Protocol. In Proceedings of the 28th Annual Network and Distributed System Security Symposium - NDSS 2021. Available at https://www.ndss-symposium.org/ndss-paper/a-formal-analysis-of-the-fido-uaf-protocol/.
  171. Alexander Dax and Robert Künnemann. On the Soundness of Infrastructure Adversaries. In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF). Available at https://doi.ieeecomputersociety.org/10.1109/CSF51468.2021.00039.
• Others
  172. Muhammad Usama Sardar, Rasha Faqeh, and Christof Fetzer. Formal Foundations for Intel SGX Data Center Attestation Primitives. In: International Conference on Formal Engineering Methods (ICFEM), March 2021, Singapore. Available at https://www.researchgate.net/publication/343826554_Formal_Foundations_for_Intel_SGX_Data_Center_Attestation_Primitives.
  173. Muhammad Usama Sardar, Saidgani Musaev, Christof Fetzer. Demystifying Attestation in Intel Trust Domain Extensions via Formal Verification, IEEE Access, 2021. Available at https://www.researchgate.net/publication/351699567_Demystifying_Attestation_in_Intel_Trust_Domain_Extensions_via_Formal_Verification.
  174. Pietro Tedeschi, Savio Sciancalepore, and Roberto Di Pietro. ARID: Anonymous Remote IDentification of Unmanned Aerial Vehicles. In Annual Computer Security Applications Conference (ACSAC'21). Association for Computing Machinery, New York, NY, USA, 207–218. Available at https://doi.org/10.1145/3485832.3485834.
  175. Ed Kamya Kiyemba Edris, Mahdi Aiash, and Jonathan Loo. Formal Verification of Authentication and Service Authorization Protocols in 5G-Enabled Device-to-Device Communications Using ProVerif. In Electronics 2021, 10(13), 1608. Available at https://doi.org/10.3390/electronics10131608.
  176. Ernest-YongYi Yap, Ji-Jian Chin, and Alwyn Goh. Verifying MQV-Based Protocols Using ProVerif. In IT Convergence and Security. LNEE, volume 782, pp 55–63. Springer. Available at https://doi.org/10.1007/978-981-16-4118-3_6.
  177. Dexian Chang, Ning Zhu, and Yingjie Yang. Security Analysis of SDN Access Control Protocol Based on ProVerif. In 2021 IEEE 3rd International Conference on Civil Aviation Safety and Information Technology (ICCASIT). Available at https://doi.org/10.1109/ICCASIT53235.2021.9633403.
  178. Thomas Haines and Rajeev Goré. Improved Verifiability for BeleniosVS. In Sixth International Joint Conference on Electronic Voting E-Vote-ID 2021. 5-8 October 2021. Available at https://eprint.iacr.org/2021/1071.
  179. Muktar Yahuza, Mohd Yamani Idna Idris, Ainuddin Wahid Abdul Wahab, Tarak Nandy, Ismail Bin Ahmedy, and Roziana Ramli. An Edge Assisted Secure Lightweight Authentication Technique for Safe Communication on the Internet of Drones Network. In IEEE Access, volume 9. Available at https://doi.org/10.1109/ACCESS.2021.3060420.
  180. Tsu-Yang Wu, Yu-Qi Lee, Chien-Ming Chen, Yuan Tian, and Najla Abdulrahman Al-Nabhan. An enhanced pairing-based authentication scheme for smart grid communications. In Journal of Ambient Intelligence and Humanized Computing, 2021. Available at https://doi.org/10.1007/s12652-020-02740-2.
  181. Hussam Al-Hamadi, Nida Nasir, Chan Yeob Yeun, and Ernesto Damiani. A Verified Protocol for Secure Autonomous and Cooperative Public Transportation in Smart Cities. In 2021 IEEE International Conference on Communications Workshops (ICC Workshops). Available at https://doi.org/10.1109/ICCWorkshops50388.2021.9473591.
  182. Jingjing Zhang, Lin Yang, Xianming Gao, Gaigai Tang, Jiyong Zhang, and Qiang Wang. Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking. In IEEE Access, volume 9. Available at https://doi.org/10.1109/ACCESS.2021.3052578.
  183. Megha Ajit, Sriram Sankaran, and Kurunandan Jain. Formal Verification of 5G EAP-AKA protocol. In 2021 31st International Telecommunication Networks and Applications Conference (ITNAC). Available at https://doi.org/10.1109/ITNAC53136.2021.9652163.
  184. Ajay Kumar, Kumar Abhishek, Kunjal Shah, Suyel Namasudra, and Seifedine Kadry. A novel elliptic curve cryptography-based system for smart grid communication. In International Journal of Web and Grid Services, Vol. 17, No. 4. Available at https://doi.org/10.1504/IJWGS.2021.118398.
  185. Yue Zheng and Chip-Hong Chang. Secure Mutual Authentication and Key-Exchange Protocol between PUF-Embedded IoT Endpoints. In 2021 IEEE International Symposium on Circuits and Systems (ISCAS). Available at https://doi.org/10.1109/ISCAS51556.2021.9401135.
  186. Katharina Hofer-Schmitz. A Formal Analysis of EnOcean’s Teach-in and Authentication. In ARES 21: Proceedings of the 16th International Conference on Availability, Reliability and Security. Available at https://doi.org/10.1145/3465481.3470097.
  187. Ed Kamya Kiyemba Edris, Mahdi Aiash, Jonathan Kok-Keong Loo, and Mohammad Shadi Alhakeem. Formal verification of secondary authentication protocol for 5G secondary authentication. In International Journal of Security and Networks, Vol. 16, No. 4. Available at https://doi.org/10.1504/IJSN.2021.119379.
  188. Jiabing Liu, Xudong He, Huoye Tang, Dejun Wang, and Bo Meng. A Novel Privacy-preserving User Authentication Protocol for Big Data Environment. In International Journal of Network Security, Vol.23, No.3, PP.436-448, May 2021. Available at https://doi.org/10.6633/IJNS.202105_23(3).08.
  189. Lijun Xiao, Songyou Xie, Dezhi Han, Wei Liang, Jun Guo, and Wen-Kuang Chou. A lightweight authentication scheme for telecare medical information system. In Connection Science, Volume 33, 2021 - Issue 3. Available at https://doi.org/10.1080/09540091.2021.1889976.
  190. Aiman Sultan, Mehmood Hassan, Khwaja Mansoor, and Syed Saddam Ahmed. Securing IoT Enabled RFID Based Object Tracking Systems: A Symmetric Cryptography Based Authentication Protocol for Efficient Smart Object Tracking. In 2021 International Conference on Communication Technologies (ComTech), IEEE. Available at https://doi.org/10.1109/ComTech52583.2021.9616967.
  191. Zisang Xu, Cheng Xu, Jianbo Xu, and Xiangwei Meng. A computationally efficient authentication and key agreement scheme for multi-server switching in WBAN. In International Journal of Sensor Networks, Vol. 35, No. 3. Available at https://doi.org/10.1504/IJSNET.2021.113839.
  192. Shehzad Ashraf Chaudhry. Correcting “PALK: Password-based anonymous lightweight key agreement framework for smart grid”. In International Journal of Electrical Power & Energy Systems, Volume 125, February 2021, 106529. Available at https://doi.org/10.1016/j.ijepes.2020.106529.
  193. Tsu-Yang Wu, Lei Yang, Zhiyuan Lee, Chien-Ming Chen, Jeng-Shyang Pan, and SK Hafizul Islam. Improved ECC-Based Three-Factor Multiserver Authentication Scheme. In Security and Communication Networks, Volume 2021, Article ID 6627956. Available at https://doi.org/10.1155/2021/6627956.
  194. Wei Liang, Songyou Xie, Jiahong Cai, Chong Wang, Yujie Hong, and Xiaoyan Kui. Novel private data access control scheme suitable for mobile edge computing. In China Communications, Volume: 18, Issue: 11, November 2021. Available at https://doi.org/10.23919/JCC.2021.11.007.
  195. Marino Miculan and Nicola Vitacolonna. Automated Symbolic Verification of Telegram’s MTProto 2.0. In Proceedings of the 18th International Conference on Security and Cryptography - SECRYPT, 185-197, 2021. Available at https://doi.org/10.5220/0010549601850197.

2022

• Rank A* or A conferences
  196. Mikael Bougon, Hervé Chabanne, Véronique Cortier, Alexandre Debant, Emmanuelle Dottax, Jannik Dreier, Pierrick Gaudry, Mathieu Turuani. Themis: An On-Site Voting System with Systematic Cast-as-intended Verification and Partial Accountability. In: CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, November 2022, Pages 397–410. Available at https://doi.org/10.1145/3548606.3560563.
  197. Jianliang Wu, Ruoyu Wu, Dongyan Xu, Dave (Jing) Tian, and Antonio Bianchi. Formal Model-Driven Discovery of Bluetooth Protocol Design Vulnerabilities. In 2022 IEEE Symposium on Security and Privacy, pages 2285-2303. doi: 10.1109/SP46214.2022.9833777.
  198. Vincent Cheval, Charlie Jacomme, Steve Kremer, and Robert Künnemann. SAPIC+: protocol verifiers of the world, unite! In USENIX Security Symposium (USENIX Security), 2022. Available at https://www.usenix.org/conference/usenixsecurity22/presentation/cheval.
  199. Jose Moreira-Sanchez, Mark Ryan, and Flavio Garcia. Protocols for a two-tiered trusted computing base. In Computer Security – ESORICS 2022, 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26–30, 2022, Proceedings, Part III, pages 229-249. LNCS, volume 13556, Springer, Cham. Available at https://doi.org/10.1007/978-3-031-17143-7_12.
  200. Stéphanie Delaune and Joseph Lallemand. One vote is enough for analysing privacy. In Proceedings of the 27th European Symposium on Research in Computer Security (ESORICS'22), pp. 173–194, Lecture Notes in Computer Science, Springer, Copenhague, Denmark, 2022. Available at https://doi.org/10.1007/978-3-031-17140-6_9.
• Others
  201. P. Tedeschi, S. Sciancalepore and R. Di Pietro, "PPCA - Privacy-Preserving Collision Avoidance for Autonomous Unmanned Aerial Vehicles," in IEEE Transactions on Dependable and Secure Computing, doi: 10.1109/TDSC.2022.3159837.
  202. P. Tedeschi, S. Bakiras and R. D. Pietro, "SpreadMeNot: A Provably Secure and Privacy-Preserving Contact Tracing Protocol," in IEEE Transactions on Dependable and Secure Computing, 2022, doi: 10.1109/TDSC.2022.3186153. Available at https://www.researchgate.net/publication/361523428_SpreadMeNot_A_Provably_Secure_and_Privacy-Preserving_Contact_Tracing_Protocol.
  203. Jiangyuan Yao, Chunxiang Xu, Deshun Li, Shengjun Lin, and Xingcan Cao. Formal Verification of Security Protocols: ProVerif and Extensions. In International Conference on Artificial Intelligence and Security (ICAIS 2022), pp 500–512. LNCS, volume 13339, Springer. Available at https://doi.org/10.1007/978-3-031-06788-4_42.
  204. Roberto Metere and Luca Arnaboldi. Automating cryptographic protocol language generation from structured specifications. In FormaliSE '22: Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, May 2022, pages 91–101. Available at https://doi.org/10.1145/3524482.3527654.
  205. Baasansuren Bat-Erdene, Yuping Yan, Mohammed B. M. Kamel, and Peter Ligeti. Security Verification of Key Exchange in Ciphertext-Policy Attribute Based Encryption. In 2022 7th International Conference on Signal and Image Processing (ICSIP). Available at https://doi.org/10.1109/ICSIP55141.2022.9887218.
  206. Shion Maeda, Misato Nakabayashi, and Tetsuya Okuda. Architecture Design and Security Evaluation of Secure Optical Transport Network Using Formal Verification. In 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC). Available at https://doi.org/10.1109/COMPSAC54236.2022.00288
  207. Mamoon M. Saeed, Mohammad Kamrul Hasan, Rosilah Hassan, Rania Mokhtar, Rashid A. Saeed, Elsadig Saeid, and Manoj Gupta. Preserving Privacy of User Identity Based on Pseudonym Variable in 5G. In Computers, Materials & Continua, 2022, 70(3), 5551-5568. Available at https://doi.org/10.32604/cmc.2022.017338.
  208. Munayfah Alanazi and Shadi Nashwan. Secure and Anonymous Three-Factor Authentication Scheme for Remote Healthcare Systems. In Computer Systems Science and Engineering 2022, 42(2), 703-725. Available at https://doi.org/10.32604/csse.2022.022962.
  209. Munefah Alshammari and Shadi Nashwan. Fully Authentication Services Scheme for NFC Mobile Payment Systems. In Intelligent Automation & Soft Computing 2022, 32(1), 401-428. Available at https://doi.org/10.32604/iasc.2022.022065.
  210. Marwah Yaseen, Mohammed B. M. Kamel, and Peter Ligeti. Security Analysis and Deployment Measurement of Transport Layer Security Protocol. In: Singh, P.K., Singh, Y., Chhabra, J.K., Illés, Z., Verma, C. (eds) Recent Innovations in Computing. Lecture Notes in Electrical Engineering, vol 855. Springer, Singapore. Available at https://doi.org/10.1007/978-981-16-8892-8_55.
  211. Mahin Mohammadi, Reza Rawassizadeh, Abbas Sheikhtaheri. A consumer-centered security framework for sharing health data in social networks. In Journal of Information Security and Applications, Volume 69, September 2022, 103303. Available at https://doi.org/10.1016/j.jisa.2022.103303.
  212. Mahdieh Ebrahimi, Majid Bayat, Behnam Zahednejad. A Privacy Preserving Mutual Authentication Scheme Suitable for IoT-Based Medical Systems. In The ISC International Journal of Information Security, Volume 14, Issue 1, January 2022, , Pages 57-68. Available at https://www.isecure-journal.com/article_135754.html.
  213. E. M. Vinarskii and A. V. Demakov. Optimization of ProVerif Programs for AKE Protocols. In Programming and Computer Software volume 48, pages 781–787 (2022). Available at https://doi.org/10.1134/S0361768822080035.
  214. Bin Hu, Wen Tang, and Qi Xie. A two-factor security authentication scheme for wireless sensor networks in IoT environments. In Neurocomputing, Volume 500, 21 August 2022, Pages 741-749. Available at https://doi.org/10.1016/j.neucom.2022.05.099.
  215. Prosanta Gope, Yuening Wang, Zengpeng Li, and Biplab Sikdar. QR-PUF: Design and Implementation of A RFID-based Secure Inpatient Management System Using XOR-Arbiter-PUF and QR-Code. In IEEE Transactions on Network Science and Engineering. Available at https://doi.org/10.1109/TNSE.2022.3186478.
  216. Aijuan Wang, Junyang Li, and Hai Nan. Achieving Light-Weighted Secure Scheme for Communication in a Smart Grid. In IEEE Access (Volume 11), pages 14951-1960, available at https://doi.org/10.1109/ACCESS.2022.3228905.
  217. Baoyi Wang, Xining Duan, and Shaomin Zhang. Lightweight Privacy-preserving Authentication Scheme in V2G that Resists Desynchronization Attack. In Journal of Artificial Intelligence Practice (2022), Clausius Scientific Press, Canada. ISSN 2371-8412 Vol. 5 Num. 1. Available at https://www.clausiuspress.com/assets/default/article/2022/04/14/article_1649925902.pdf.
  218. Tsu-Yang Wu, Qian Meng, Lei Yang, Xinglan Guo, and Saru Kumari. A provably secure lightweight authentication protocol in mobile edge computing environments. In the Journal of Supercomputing, volume 78, pages 13893–13914 (2022). Available at https://doi.org/10.1007/s11227-022-04411-9.
  219. Kyler R. Scott, Sunil P. Khatri, and Ali Ghrayeb. Formal Verification of a Dynamic Multi-factor Secure Communication Protocol. In 2022 3rd International Conference on Smart Grid and Renewable Energy (SGRE). Available at https://doi.org/10.1109/SGRE53517.2022.9774119.
  220. Susmita Mandal, S. S. Sravan, and Lakshmi Ramesh. Chaotic-Maps Based Access Authentication Protocol for Remote Communication Using Space Information Networks. In: Barolli, L., Hussain, F., Enokido, T. (eds) Advanced Information Networking and Applications. AINA 2022. Lecture Notes in Networks and Systems, vol 449. Springer, Cham. Available at https://doi.org/10.1007/978-3-030-99584-3_20.
  221. Jihyeon Ryu, Hakjun Lee, Youngsook Lee, and Dongho Won. SMASG: Secure Mobile Authentication Scheme for Global Mobility Network. In: IEEE Access, Volume: 10, pages 26907-26919. Available at https://doi.org/10.1109/ACCESS.2022.3157871.
  222. Jihyeon Ryu, Dongwoo Kang, and Dongho Won. Improved Secure and Efficient Chebyshev Chaotic Map-Based User Authentication Scheme. In: IEEE Access, Volume: 10, pages 15891-15910. Available at https://doi.org/10.1109/ACCESS.2022.3149315.
  223. Mohamed Taoufiq Damir, Tommi Meskanen, Sara Ramezanian, and Valtteri Niemi. A Beyond-5G Authentication and Key Agreement Protocol. In: Yuan, X., Bai, G., Alcaraz, C., Majumdar, S. (eds) Network and System Security. NSS 2022. Lecture Notes in Computer Science, vol 13787. Springer, Cham. Available at https://doi.org/10.1007/978-3-031-23020-2_14.
  224. Savio Sciancalepore, Simone Raponi, Daniele Caldarola, and Roberto Di Pietro. FRACTAL: Single-Channel Multi-factor Transaction Authentication Through a Compromised Terminal. In: Alcaraz, C., Chen, L., Li, S., Samarati, P. (eds) Information and Communications Security. ICICS 2022. Lecture Notes in Computer Science, vol 13407, pp 201–217. Springer, Cham. Available at https://doi.org/10.1007/978-3-031-15777-6_12.
  225. Tsu-Yang Wu, Qian Meng, Saru Kumari, and Peng Zhang. Rotating behind Security: A Lightweight Authentication Protocol Based on IoT-Enabled Cloud Computing Environments. In: Sensors 2022, 22(10), 3858. Available at https://doi.org/10.3390/s22103858.
  226. Xiaohe Wu, Jianbo Xu, W. Liang, and W. Jian. Research on Authentication and Key Agreement Protocol of Smart Medical Systems Based on Blockchain Technology. In: Lai, Y., Wang, T., Jiang, M., Xu, G., Liang, W., Castiglione, A. (eds) Algorithms and Architectures for Parallel Processing. ICA3PP 2021. Lecture Notes in Computer Science(), vol 13156. Springer, Cham. Available at https://doi.org/10.1007/978-3-030-95388-1_29.
  227. Tsu-Yang Wu, Liyang Wang, Xinglan Guo, Yeh-Cheng Chen and Shu-Chuan Chu. SAKAP: SGX-Based Authentication Key Agreement Protocol in IoT-Enabled Cloud Computing. In: Sustainability 2022, 14(17), 11054. Available at https://doi.org/10.3390/su141711054.
  228. Yu Zhang, Guangmin Sun, and Peng Zhai. CCMbAS: A Provably Secure CCM-Based Authentication Scheme for Mobile Internet. In Mobile Information Systems, vol. 2022, Article ID 7318948, 11 pages, 2022. Available at https://doi.org/10.1155/2022/7318948.
  229. Norliza Katuk, Roberto Vergallo, Tito Sugiharto, and Rio Andriyat Krisdiawan. A client-based user authentication scheme for the cloud of things environment. In: Journal of Computer Science and Technology, vol. 22, no. 2. Available at https://doi.org/10.24215/16666038.22.e08.
  230. Usha Jain, Saied Pirasteh, Muzzammil Hussain. Lightweight, secure, efficient, and dynamic scheme for mutual authentication of devices in Internet-of-Things-Fog environment. In: Concurrency and Computation, Practice and Experience. Available at https://doi.org/10.1002/cpe.7428.
  231. Mingcheng Xu, Gaojian Xu, Haoyu Xu, Jiadong Zhou, and Shaowen Li. A decentralized lightweight authentication protocol under blockchain. In: Concurrency and Computation, Practice and Experience. Available at https://doi.org/10.1002/cpe.6920.
  232. Fatemeh Alidadi Shamsabadi and Shaghayegh Bakhtiari Chehelcheshmeh. A cloud-based mobile payment system using identity-based signature providing key revocation. In: The Journal of Supercomputing, volume 78, pages 2503–2527 (2022). Available at https://doi.org/10.1007/s11227-021-03830-4.
  233. Tsu-Yang Wu, Fangfang Kong, Liyang Wang, Yeh-Cheng Chen, Saru Kumari, and Jeng-Shyang Pan. Toward Smart Home Authentication Using PUF and Edge-Computing Paradigm. In Sensors 2022, 22(23), 9174. Available at https://doi.org/10.3390/s22239174.
  234. Jin Ren, Yuyang Cheng, and Shiyuan Xu. EDPPA: An efficient distance-based privacy preserving authentication protocol in VANET. Peer-to-Peer Netw. Appl. 15, 1385–1397 (2022). Available at https://doi.org/10.1007/s12083-022-01297-5.
  235. Ed Kamya Kiyemba Edris, Mahdi Aiash, and Jonathan Loo. Formalization and evaluation of EAP-AKA’ protocol for 5G network access security. In: Array Volume 16, December 2022, 100254. Available at https://doi.org/10.1016/j.array.2022.100254.
  236. Hans Hüttel and Vilim Staroveški. Key Agreement in the Lightning Network Protocol. In: Furnell, S., Mori, P., Weippl, E., Camp, O. (eds) Information Systems Security and Privacy. ICISSP 2020. Communications in Computer and Information Science, vol 1545, pp 139–155. Springer, Cham. Available at https://doi.org/10.1007/978-3-030-94900-6_7.
  237. Camille Sivelle, Lorys Debbah, Maxime Puys, Pascal Lafourcade, and Thibault Franco-Rondisson. Automatic Implementations Synthesis of Secure Protocols and Attacks from Abstract Models. In: Reiser, H.P., Kyas, M. (eds) Secure IT Systems. NordSec 2022. Lecture Notes in Computer Science, vol 13700. Springer, Cham. Available at https://doi.org/10.1007/978-3-031-22295-5_13.

2023

• Rank A* or A conferences
  238. Sergiu Bursuc, Ross Horne, Sjouke Mauw, and Semen Yurkov. Provably Unlinkable Smart Card-based Payments. In CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, November 2023, Pages 1392–1406. Available at https://doi.org/10.1145/3576915.3623109.
  239. Faezeh Nasrabadi, Robert Künnemann, and Hamed Nemati. CryptoBap: A Binary Analysis Platform for Cryptographic Protocols. In CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, November 2023, Pages 1362–1376. Available at https://doi.org/10.1145/3576915.3623090.
  240. Charlie Jacomme, Elise Klein, Steve Kremer, and Maïwenn Racouchot. A comprehensive, formal and automated analysis of the EDHOC protocol. In USENIX Security '23 - 32nd USENIX Security Symposium, Aug 2023, Anaheim, CA, United States. Available at https://inria.hal.science/hal-03810102/.
  241. David Baelde, Alexandre Debant, and Stéphanie Delaune. Proving Unlinkability using ProVerif through Desynchronized Bi-Processes. In IEEE Computer Security Foundations Symposium, Jul 2023, Dubrovnik, Croatia. Available at https://hal.science/hal-03674979v2.
  242. Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, and Jun Pang. Election Verifiability in Receipt-free Voting Protocols. In IEEE Computer Security Foundations Symposium, Jul 2023, Dubrovnik, Croatia. Available at https://doi.ieeecomputersociety.org/10.1109/CSF57540.2023.00005
• Others
  243. Marino Miculan and Nicola Vitacolonna. Automated verification of Telegram’s MTProto 2.0 in the symbolic model. In Computers and Security Volume 126, March 2023. Available at https://doi.org/10.1016/j.cose.2022.103072.
  244. Eva Wisse, Pietro Tedeschi, Savio Sciancalepore, and Roberto Di Pietro. A²RID -- Anonymous Direct Authentication and Remote Identification of Commercial Drones, in IEEE Internet of Things Journal, 2023. Available at https://doi.org/10.1109/JIOT.2023.3240477.
  245. Cong Xu, Wenxue Wei, and Shuangshuang Zheng. Efficient Mobile RFID Authentication Protocol for Smart Logistics Targets Tracking. In IEEE Access (Volume 11), pages 4322-4336. Available at https://doi.org/10.1109/ACCESS.2023.3234959.
  246. Chukhu Chunka, Subhasish Banerjee, and Sachin Kumar Gupta. A secure communication using multifactor authentication and key agreement techniques in internet of medical things for COVID-19 patients. In Concurrency and Computation, Practice and Experience, Volume 35, Issue 7, 25 March 2023. Available at https://doi.org/10.1002/cpe.7602.
  247. Mohammadamin Rakeei, Rosario Giustolisi, and Gabriele Lenzini. Secure Internet Exams Despite Coercion. In International Workshop on Data Privacy Management, International Workshop on Cryptocurrencies and Blockchain Technology, DPM 2022, CBT 2022: Data Privacy Management, Cryptocurrencies and Blockchain Technology, LNCS, volume 13619, pp 85–100. Springer. Available at https://doi.org/10.1007/978-3-031-25734-6_6.
  248. Geeta Sharma and Gursimrat Singh. Robust User Authentication Scheme for IoT-Based Healthcare Applications. In: Recent Advancements in Smart Remote Patient Monitoring, Wearable Devices, and Diagnostics Systems. Available at https://doi.org/10.4018/978-1-6684-6434-2.ch008.
  249. Himani Sikarwar and Debasis Das. A Novel MAC-Based Authentication Scheme (NoMAS) for Internet of Vehicles (IoV). In: IEEE Transactions on Intelligent Transportation Systems. Available at https://doi.org/10.1109/TITS.2023.3242291.
  250. Qi Xie, Dongnan Liu, Zixuan Ding, Xiao Tan, and Lidong Han. Provably Secure and Lightweight Patient Monitoring Protocol for Wireless Body Area Network in IoHT. In Journal of Healthcare Engineering. Volume 2023, Article ID 4845850. Available at https://doi.org/10.1155/2023/4845850.
  251. Susmita Mandal. Provably secure certificateless protocol for wireless body area network. In: Wireless Networks 29, 1421–1438 (2023). Available at https://doi.org/10.1007/s11276-022-03205-4.
  252. Umesh Bodkhe and Sudeep Tanwar. BiOIoV: Biometric-based Secure Data Dissemination for IoV Ecosystem. In: 2023 13th International Conference on Cloud Computing, Data Science & Engineering (Confluence). Available at https://doi.org/10.1109/Confluence56041.2023.10048828.
  253. Shunfang Hu, Yanru Chen, Yilong Zheng, Bin Xing, Yang Li, Le Zhang, and Liangyin Chen. Provably Secure ECC-Based Authentication and Key Agreement Scheme for Advanced Metering Infrastructure in the Smart Grid. In: IEEE Transactions on Industrial Informatics, vol. 19, no. 4, pp. 5985-5994, April 2023. Available at https://doi.org/10.1109/TII.2022.3191319.
  254. Véronique Cortier, Alexandre Debant, Pierrick Gaudry, and Stéphane Glondu. Belenios with cast as intended. Voting 2023 - 8th Workshop on Advances in Secure Electronic Voting, May 2023, Bol, Brač, Croatia. Available at https://inria.hal.science/hal-04020110/.
  255. Pietro Tedeschi, Savio Sciancalepore, and Roberto Di Pietro. Lightweight Privacy-Preserving Proximity Discovery for Remotely-Controlled Drones. In Proceedings of the 39th Annual Computer Security Applications Conference (ACSAC '23). Association for Computing Machinery, New York, NY, USA, pp. 178–189. Available at https://doi.org/10.1145/3627106.3627174.
  256. Muhammad Usama Sardar, Thomas Fossati, Simon Frost, Shale Xiong, Formal Specification and Verification of Architecturally-defined Attestation Mechanisms in Arm CCA and Intel TDX, IEEE Access, 2023. Available at https://ieeexplore.ieee.org/document/10373038/. Artifacts at https://github.com/CCC-Attestation/formal-spec-TEE.
  257. Simone Bussa, Riccardo Sisto, and Fulvio Valenza. Formal verification of a V2X privacy preserving scheme using Proverif. 2023 IEEE International Conference on Cyber Security and Resilience (CSR), Venice, Italy, 2023, pp. 341-346, Available at https://doi.org/CSR57506.2023.10224908.
  258. Simone Bussa, Riccardo Sisto, and Fulvio Valenza. Formal Verification of the FDO Protocol. In 2023 IEEE Conference on Standards for Communications and Networking (CSCN), Munich, Germany, 2023, pp. 290-295. Available at https://doi.org/10.1109/CSCN60443.2023.10453172.
  259. Norbert Oláh, Botond Molnár, and Andrea Huszti. Secure Registration Protocol for the Internet of Drones Using Blockchain and Physical Unclonable Function Technology. In Symmetry 2023, 15(10), 1886. Available at https://doi.org/10.3390/sym15101886.
  260. Srabana Pramanik, Sandip Roy, and Soumya Banerjee. SLASH: A Secure and Lightweight Authentication Scheme for Enhancing the Reliability of IoT-based Smart Healthcare Systems. In International Conference on Security, Surveillance and Artificial Intelligence (ICSSAI-2023). Available at https://doi.org/10.1201/9781003428459 (chapter 1).
  261. Chahrazed Benrebbouh, Houssem Mansouri, Sarra Cherbal, and Lemia Louail. Enhancing Security and Authentication in IoT-based Energy Internet using Post-Quantum Blockchain. In 2023 5th International Conference on Pattern Analysis and Intelligent Systems (PAIS), Sétif, Algeria, 2023, pp. 1-8. Available at https://doi.org/10.1109/PAIS60821.2023.10322026.
  262. Andrea Altarui, Marino Miculan, and Matteo Paier. DBCChecker: A Bigraph-Based Tool for Checking Security Properties of Container Compositions. In ITASEC 2023: The Italian Conference on CyberSecurity, May 03–05, 2023, Bari, Italy. Available at https://air.uniud.it/handle/11390/1266244.
  263. Xinzhong Su, Youyun Xu, Huawei Tong, and Tianyou Li. A Cluster-based User Authentication Protocol for Internet of Medical Things Deployment. In 2023 International Conference on Wireless Communications and Signal Processing (WCSP), Hangzhou, China, 2023, pp. 517-522. Available at https://doi.org/10.1109/WCSP58612.2023.10404299.
  264. Xuanang Li, Shuangshuang Liu, Saru Kumari, and Chien-Ming Chen. PSAP-WSN: A Provably Secure Authentication Protocol for 5G-Based Wireless Sensor Networks. In Computer Modeling in Engineering & Sciences 2023, 135(1), 711-732. Available at https://doi.org/10.32604/cmes.2022.022667.
  265. Mohammed Shaful Alam Khan, Mohammad Nurus Salam, and B M Mainul Hossain. Modeling of a Security Enhanced Communication Protocol for IoT-based Applications. In PMIS Review, 2(1). Available at https://www.researchgate.net/publication/382007165_Modeling_of_a_Security_Enhanced_Communication_Protocol_for_IoT-based_Applications.
  266. Huanhuan Ma, Chenyu Wang, Guosheng Xu, Qiang Cao, Guoai Xu, and Li Duan. Anonymous Authentication Protocol Based on Physical Unclonable Function and Elliptic Curve Cryptography for Smart Grid. In: IEEE Systems Journal, vol. 17, no. 4, pp. 6425-6436, Dec. 2023. Available at https://doi.org/10.1109/JSYST.2023.3289492.
  267. Gunawan Widjaja. Lightweight Anonymous Key Sharing Authentication Protocol for Resource-Constrained IoT Devices. In 2023 Second International Conference On Smart Technologies For Smart Nation (SmartTechCon), Singapore, Singapore, 2023, pp. 497-502. Available at https://doi.org/10.1109/SmartTechCon57526.2023.10391317.
  268. Sajid Hussain, Muhammad Farooq, Bander A. Alzahrani, Aiiad Albeshri, Khalid Alsubhi, and S. A. Chaudhry. An Efficient and Reliable User Access Protocol for Internet of Drones. In IEEE Access, vol. 11, pp. 59688-59700, 2023. Available at https://doi.org/10.1109/ACCESS.2023.3284832.
  269. Usha Jain, Aprna Tripathi, Sunil Kumar, and Gireesh Kumar. Simple, secure and lightweight authentication protocol with session-key generation for IIoT device in IIoT networks. In Microsyst Technol (2023). Available at https://doi.org/10.1007/s00542-023-05566-y.
  270. Iqra Asghar, Muhammad Ayaz Khan, Tahir Ahmad, Subhan Ullah, Khwaja Mansoor ul Hassan, and Attaullah Buriro. Fortifying Smart Home Security: A Robust and Efficient User-Authentication Scheme to Counter Node Capture Attacks. In Sensors 2023, 23(16), 7268. Available at https://doi.org/10.3390/s23167268.
  271. Ed Kamya Kiyemba Edris, Mahdi Aiash, Mohammad Ali Khoshkholghi, Ranesh Naha, Abdullahi Chowdhury, Jonathan Loo. Performance and cryptographic evaluation of security protocols in distributed networks using applied pi calculus and Markov Chain. In Internet of Things, Volume 24, December 2023, 100913. Available at https://doi.org/10.1016/j.iot.2023.100913.
  272. Ying Wang, Weijun Zheng, Jinjiang Tang, Feng Sun, Chen Xu, Bin Du, and Chunyan An. A PUF-based Identity Authentication Method for Wireless Sensor Network Devices in Power System. In 2023 IEEE International Conferences on Internet of Things (iThings) and IEEE Green Computing & Communications (GreenCom) and IEEE Cyber, Physical & Social Computing (CPSCom) and IEEE Smart Data (SmartData) and IEEE Congress on Cybermatics (Cybermatics), Danzhou, China, 2023, pp. 205-210. Available at https://doi.org/10.1109/iThings-GreenCom-CPSCom-SmartData-Cybermatics60724.2023.00055.
  273. Mohinder Singh and Jaisankar Natarajan. A novel secure authentication protocol for eHealth records in cloud with a new key generation method and minimized key exchange. In Journal of King Saud University - Computer and Information Sciences, Volume 35, Issue 7, July 2023, 101629. Available at https://doi.org/10.1016/j.jksuci.2023.101629.
  274. Suleman Khan, Gurjot Singh Gaba, An Braeken, Pardeep Kumar, and Andrei Gurtov. AKAASH: A realizable authentication, key agreement, and secure handover approach for controller-pilot data link communications. International Journal of Critical Infrastructure Protection, Volume 42, September 2023, 100619. Available at https://doi.org/10.1016/j.ijcip.2023.100619.
  275. Yize Tang, Jin Qian, Xiong Bai, and Ang Li. Lightweight Authentication and Key Agreement for Massive Diverse Power Local Equipment. In 9th International Conference on Computer and Communications (ICCC), Chengdu, China, 2023, pp. 1179-1185. Available at https://doi.org/10.1109/ICCC59590.2023.10507672.
  276. Tsu-Yang Wu, Qian Meng, Lei Yang, Saru Kumari, and Matin Pirouz. Amassing the Security: An Enhanced Authentication and Key Agreement Protocol for Remote Surgery in Healthcare Environment. In CMES-Computer Modeling in Engineering & Sciences, 2023, Vol 134, Issue 1, pp. 317-341. Available at https://doi.org/10.32604/cmes.2022.019595.
  277. Naveed Khan, Zhang Jianbiao, Intikhab Ullah, Muhammad Salman Pathan, and Huhnkuk Lim. Lattice-Based Authentication Scheme to Prevent Quantum Attack in Public Cloud Environment. In Computers, Materials & Continua 2023, 75(1), 35-49. Available at https://doi.org/10.32604/cmc.2023.036189.
  278. Michael Eckel, Dominik Roy George, Björn Grohmann, Christoph Krauß. Remote Attestation with Constrained Disclosure. In ACSAC'23: Proceedings of the 39th Annual Computer Security Applications Conference, Pages 718 - 731. Available at https://doi.org/10.1145/3627106.3627118.
  279. Haqi Khalid, Shaiful Jahari Hashim, Fazirulhisyam Hashim, Sharifah Mumtazah Syed Ahamed, Muhammad Akmal Chaudhary, Hamza H. M. Altarturi, and Muntadher Saadoon. HOOPOE: High Performance and Efficient Anonymous Handover Authentication Protocol for Flying Out of Zone UAVs. In IEEE Transactions on Vehicular Technology, vol. 72, no. 8, pp. 10906-10920, Aug. 2023, Available at https://doi.org/10.1109/TVT.2023.3262173.
  280. Hulya Dogan. Protecting UAV-Networks: A Secure Lightweight Authentication and Key Agreement Scheme. In 7th International Conference on Cryptography, Security and Privacy (CSP), Tianjin, China, 2023, pp. 13-21. Available at https://doi.org/10.1109/CSP58884.2023.00010.
  281. Behnam Zahednejad and Chong-zhi Gao. A secure and efficient AKE scheme for IoT devices using PUF and cancellable biometrics. In Internet of Things, Volume 24, December 2023, 100937. Available at https://doi.org/10.1016/j.iot.2023.100937.
  282. Kang-Moon Seo, Jane Kim, Soojin Lee, Jun-Woo Kwon, and Seung-Hyun Seo. Efficient Remote Identification for Drone Swarms. In Computers, Materials & Continua 2023, 76(3), 2937-2958. Available at https://doi.org/10.32604/cmc.2023.039459.
  283. Zhaosen Shi, Zeyu Yang, Alzubair Hassan, Fagen Li, and Xuyang Ding. A privacy preserving federated learning scheme using homomorphic encryption and secret sharing. In Telecommun Syst 82, 419–433 (2023). Available at https://doi.org/10.1007/s11235-022-00982-3.
  284. Chenyu Wang, Ding Wang, Yihe Duan, and Xiaofeng Tao. Secure and Lightweight User Authentication Scheme for Cloud-Assisted Internet of Things. In IEEE Transactions on Information Forensics and Security, vol. 18, pp. 2961-2976, 2023. Available at https://doi.org/10.1109/TIFS.2023.3272772.
  285. Yi Li. A secure and efficient three-factor authentication protocol for IoT environments. In Journal of Parallel and Distributed Computing, Volume 179, September 2023, 104714. Available at https://doi.org/10.1016/j.jpdc.2023.104714.
  286. Kaijun Liu, Zhou Zhou, Qiang Cao, Guosheng Xu, Chenyu Wang, Yuan Gao, Weikai Zeng, and Guoai Xu. A Robust and Effective Two-Factor Authentication (2FA) Protocol Based on ECC for Mobile Computing. In Appl. Sci. 2023, 13(7), 4425. Available at https://doi.org/10.3390/app13074425.
  287. Naveed Khan, Zhang Jianbiao, Huhnkuk Lim, Jehad Ali, Intikhab Ullah, Muhammad Salman Pathan, and Shehzad Ashraf Chaudhry. An ECC-based mutual data access control protocol for next-generation public cloud. In J Cloud Comp 12, 101 (2023). Available at https://doi.org/10.1186/s13677-023-00464-0.

2024

• Rank A* or A conferences
  288. Pascal Lafourcade, Dhekra Mahmoud, and Sylvain Ruhault. A Unified Symbolic Analysis of WireGuard. In Usenix Network and Distributed System Security Symposium (NDSS), Feb 2024, San Diego (CA), United States. Available at https://dx.doi.org/10.14722/ndss.2024.24364 and https://uca.hal.science/hal-04615393/.
  289. Karthikeyan Bhargavan, Charlie Jacomme, Franziskus Kiefer, and Rolfe Schmidt. Formal verification of the PQXDH Post-Quantum key agreement protocol for end-to-end secure messaging. USENIX Security Symposium, 2024. Available at https://www.usenix.org/conference/usenixsecurity24/presentation/bhargavan.
  290. Jannik Dreier, Pascal Lafourcade, and Dhekra Mahmoud. Shaken, not Stirred - Automated Discovery of Subtle Attacks on Protocols using Mix-Nets. USENIX Security Symposium, 2024. Available at https://www.usenix.org/system/files/usenixsecurity24-dreier.pdf.
  291. Véronique Cortier, Alexandre Debant, Anselme Goetschmann, and Lucca Hirschi. Election Eligibility with OpenID: Turning Authentication into Transferable Proof of Eligibility. In USENIX Security Symposium, 2024. Available at https://www.usenix.org/conference/usenixsecurity24/presentation/cortier.
  292. Jianliang Wu, Patrick Traynor, Dongyan Xu, Dave (Jing) Tian, and Antonio Bianchi. Finding Traceability Attacks in the Bluetooth Low Energy Specification and Its Implementations. In USENIX Security Symposium, 2024. Available at https://www.usenix.org/conference/usenixsecurity24/presentation/wu-jianliang.
  293. Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, and Jun Pang. Formal Verification and Solutions for Estonian E-Voting. In ASIA CCS'24: Proceedings of the 19th ACM Asia Conference on Computer and Communications Security, Pages 728-741. Available at https://doi.org/10.1145/3634737.3657009.
  294. Binghan Wang, Hui Li, and Jingjing Guan. A Formal Analysis of Data Distribution Service Security. In: ASIA CCS '24: Proceedings of the 19th ACM Asia Conference on Computer and Communications Security, pages 716-727. Available at https://doi.org/10.1145/3634737.3656288.
  295. Véronique Cortier, Alexandre Debant, and Florian Moser. Code voting: when simplicity meets security. In ESORICS 2024, 29th European Symposium on Research in Computer Security, Sep 2024, Bydgoszcz, Poland. Available at https://inria.hal.science/hal-04627733/.
  296. Zichao Zhang, Limin Jia, and Corina Păsăreanu. ProInspector: Uncovering Logical Bugs in Protocol Implementations. In 9th IEEE European Symposium on Security and Privacy (EuroS&P 2024). Available at https://doi.org/10.1109/EuroSP60621.2024.00040.
• Others
  297. Mounira Msahli, Pascal Lafourcade, and Dhekra Mahmoud. Formal Analysis of C-ITS PKI protocols. In SECRYPT : International Conference on Information Security and Cryptography, Jul 2024, Dijon, France. Available at https://uca.hal.science/hal-04620494/.
  298. Roberto Van Eeden, Matteo Paier, and Marino Miculan. A Formal Analysis of CIE Level 2 Multi-Factor Authentication via SMS OTP. In Proceedings of the 21st International Conference on Security and Cryptography (SECRYPT 2024), pages 483-491. Available at https://doi.org/10.5220/0012768300003767.
  299. Monica P. Arenas, Gabriele Lenzini, Mohammadamin Rakeei, Peter Y. A. Ryan, Marjan Skrobot, and Maria Zhekova. Verifying Artifact Authenticity with Unclonable Optical Tags. In Proceedings of the 21st International Conference on Security and Cryptography (SECRYPT 2024), pages 64-77. Available at https://doi.org/10.5220/0012746500003767.
  300. Yongqi Wang, Thalia Laing, José Moreira, and Mark D. Ryan. Remote Registration of Multiple Authenticators. In CODASPY '24: Proceedings of the Fourteenth ACM Conference on Data and Application Security and Privacy, pages 379-390. Available at https://doi.org/10.1145/3626232.3653273.
  301. Behnam Shobiri, Sajjad Pourali, Daniel Migault, Ioana Boureanu, Stere Preda, Mohammad Mannan, and Amr Youssef. LURK-T: Limited Use of Remote Keys with Added Trust in TLS 1.3. In IEEE Transactions on Network Science and Engineering. Available at https://doi.org/10.1109/TNSE.2024.3432836.
  302. Ruiqi Lu, Guoqi Xie, Renfa Li, Wei Xu, and Jianmei Lei. TrinitySec: Trinity-Enabled and Lightweight Security Framework for CAN-FD Communication. In IEEE Transactions on Dependable and Secure Computing, vol. 21, no. 4, pp. 2704-2719, July-Aug. 2024. Available at https://doi.org/10.1109/TDSC.2023.3314908.
  303. Takehiko Mieno, Hiroyuki Okazaki, Kenichi Arai, and Yuichi Futa. How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif. In IEEE Access, vol. 12, pp. 31605-31625, 2024. Available at https://doi.org/10.1109/ACCESS.2024.3368453.
  304. Shihong Zou, Qiang Cao, Ruichao Lu, Chenyu Wang, Guoai Xu, Huanhuan Ma, Yingyi Cheng, Jinwen Xi. A robust and effective 3-factor authentication protocol for smart factory in IIoT. In Computer Communications, Volume 220, 15 April 2024, Pages 81-93. Available at https://doi.org/10.1016/j.comcom.2024.04.011.
  305. Ghazaleh Sarbishaei, Amir Masoud Aminian Modarres, Farahnaz Jowshan, Fateme Zahra Khakzad, and Hasti Mokhtari. Smart Home Security: An Efficient Multi-Factor uthentication Protocol. In IEEE Access, vol. 12, pp. 106253-106272, 2024, Available at https://doi.org/10.1109/ACCESS.2024.3437294.
  306. Naiguang Zhu, Jie Xu, and Baojiang Cui. Formal Analysis of 5G EAP-TLS 1.3. In Advances in Internet, Data & Web Technologies (EIDWT 2024), pp. 140-151. Lecture Notes on Data Engineering and Communications Technologies, vol 193. Springer, Cham. Available at https://doi.org/10.1007/978-3-031-53555-0_14.
  307. Kazuhiro Fujita and Kazuki Yoneyama. Formal Verification of Wireless Charging Standard Qi. In APKC'24: Proceedings of the 11th ACM Asia Public-Key Cryptography Workshop, pages 23-31. Available at https://doi.org/10.1145/3659467.3659904.
  308. Manabhanjan Pradhan and Sujata Mohanty. A Blockchain-Assisted Multifactor Authentication Protocol for Enhancing IoMT Security. IEEE Internet of Things Journal. Available at https://doi.org/10.1109/JIOT.2024.3422242.
  309. Kamal Raj, Srinivasu Bodapati, and Anupam Chattopadhyay. PUF-based Lightweight Mutual Authentication Protocol for Internet of Things (IoT) Devices. In 2024 IEEE International Symposium on Circuits and Systems (ISCAS), Singapore, Singapore, 2024, pp. 1-5. Available at https://doi.org/10.1109/ISCAS58744.2024.10558672.
  310. Amira Henaien, Hadda Ben Elhadj, and Lamia Chaari Fourati. RFID IoT Architecture for Smart Inventory Management: Security Integration. In 2024 International Wireless Communications and Mobile Computing (IWCMC), Ayia Napa, Cyprus, 2024, pp. 1010-1015. Available at https://doi.org/10.1109/IWCMC61514.2024.10592487.
  311. Kakeru Watanabe and Kazuki Yoneyama. Formal Verification of Challenge Flow in EMV 3-D Secure. In: Zhu, T., Li, Y. (eds) Information Security and Privacy. ACISP 2024. Lecture Notes in Computer Science, vol 14896. Springer, Singapore. Available at https://doi.org/10.1007/978-981-97-5028-3_15.
  312. Shuang Hu, Pengjun Wang, Haonan He, Yuejun Zhang, and Xiangyu Li. Gas Sensor Physically Unclonable Function-Based Lightweight Bidirectional Authentication Protocol for Gas Sensor Networks. In: Electronics 2024, 13(17), 3385. Available at https://doi.org/10.3390/electronics13173385.
  313. Chit-Jie Chew, Wei-Bin Lee, Tzu-Li Sung, Ying-Chin Chen, Shiuh-Jeng Wang, and Jung-San Lee. Lawful Remote Forensics Mechanism With Admissibility of Evidence in Stochastic and Unpredictable Transnational Crime. In IEEE Transactions on Information Forensics and Security, vol. 19, pp. 5956-5970, 2024. Available at https://doi.org/10.1109/TIFS.2024.3368888.
  314. Saeed Ullah Jan, Muhammad Bilal, Anwar Ghani, Salabat Khan, Rashid Ahmad, and Do–Hveun Kim. Robust and Lightweight Authentication for Securing Communication in the Internet-of-Drones (IoD) Environment. In IEEE INFOCOM 2024 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), Vancouver, BC, Canada, 2024, pp. 01-06. Available at https://doi.org/10.1109/INFOCOMWKSHPS61880.2024.10620898.
  315. Nasser Zarbi, Ali Zaeembashi, Nasour Bagheri, and Morteza Adeli. Toward designing a lightweight RFID authentication protocol for constrained environments. In IET Communications, Volume 18, Issue 14, Pages 846-859, August 2024. Available at https://doi.org/10.1049/cmu2.12794.
  316. Raphael Schermann, Simone Bussa, Rainer Urian, Ronald Toegl, and Christian Steger. PAKA: Pseudonymous Authenticated Key Agreement without bilinear cryptography. In ARES '24: Proceedings of the 19th International Conference on Availability, Reliability and Security, Article No.: 130, Pages 1 - 10. Available at https://doi.org/10.1145/3664476.3669925.
  317. Fahad Algarni and Saeed Ullah Jan. PSLAPS-IoD: A Provable Secure and Lightweight Authentication Protocol for Securing Internet-of-Drones (IoD) Environment. In IEEE Access, vol. 12, pp. 45948-45960, 2024. Available at https://doi.org/10.1109/ACCESS.2024.3382579.
  318. Khushil Kumar Saini, Damandeep Kaur, Devender Kumar, and Bijendra Kumar. An efficient three-factor authentication protocol for wireless healthcare sensor networks. In Multimed Tools Appl 83, 63699–63721 (2024). Available at https://doi.org/10.1007/s11042-024-18114-1.
  319. Chahrazed Benrebbouh, Houssem Mansouri, Sarra Cherbal, and Al-Sakib Khan Pathan. Enhanced secure and efficient mutual authentication protocol in IoT-based energy internet using blockchain. In Peer-to-Peer Netw. Appl. 17, 68–88 (2024). Available at https://doi.org/10.1007/s12083-023-01580-z.
  320. Akshay Kumar, Usha Jain, Muzzammil Hussain, Mohammad Khalid Imam Rahmani, and Abdulbasid S. Banga. Mechanism for Device Authentication and Session Key Generation in Industrial Internet of Things Networks. In IEEE Access, vol. 12, pp. 108770-108785, 2024. Available at https://doi.org/10.1109/ACCESS.2024.3435688.
  321. Qingyang Zhang, Xiaolong Zhou, Hong Zhong, Jie Cui, Jiaxin Li, and Debiao He. Device-Side Lightweight Mutual Authentication and Key Agreement Scheme based on Chameleon Hashing for Industrial Internet of Things. In IEEE Transactions on Information Forensics and Security. Available at https://doi.org/10.1109/TIFS.2024.3451357.
  322. Haitao Xiao and An He. A group key agreement protocol for Vanet based on Chinese remainder theorem and blockchain. In Transactions on Emerging Telecommunication Technologies, Volume 35, Issue 5, e4987, May 2024. Available at https://doi.org/10.1002/ett.4987.
  323. Li Li, XingJuan Fan, BoYuan Zhi, ShaoJun Li, and Seyyed Amirreza Dabollahi. Highly secure authentication and key agreement protocol for the internet of vehicles. In Telecommun Syst 87, 73–88 (2024). Available at https://doi.org/10.1007/s11235-024-01172-z.
  324. Wenfeng Huang. ECC-based three-factor authentication and key agreement scheme for wireless sensor networks. In Scientific Reports, volume 14, Article number: 1787 (2024). Available at https://doi.org/10.1038/s41598-024-52134-z.
  325. Kang Wen, Shengbao Wang, Yixiao Wu, Jie Wang, Lidong Han, and Qi Xie. A Secure Authentication Protocol Supporting Efficient Handover for UAV. In Mathematics 2024, 12(5), 716. Available at https://doi.org/10.3390/math12050716.
  326. Devender Kumar, Satish Chand, and Bijendra Kumar. A secure three-factor authentication protocol for mobile networks. In International Journal of Information and Computer Security (IJICS), Vol. 23, No. 2, 2024. Available at https://doi.org/10.1504/IJICS.2024.137716.
  327. Jamile Khalili Shahrouz and Morteza Analoui. An anonymous authentication scheme with conditional privacy-preserving for Vehicular Ad hoc Networks based on zero-knowledge proof and Blockchain. In Ad Hoc Networks, Volume 154, 2024, 103349. Available at https://doi.org/10.1016/j.adhoc.2023.103349.
  328. Himani Sikarwar and Debasis Das. SecEdge: Secure Edge-Computing-Based Hybrid Approach for Data Collection and Searching in IoV. In IEEE Transactions on Network and Service Management, vol. 21, no. 1, pp. 1213-1225, Feb. 2024. Available at https://doi.org/10.1109/TNSM.2023.3299264.
  329. Muhammad Asad Saleem, Xiong Li, Khalid Mahmood, Salman Shamshad, Muhammad Faizan Ayub, Ali Kashif Bashir, and Marwan Omar. Provably Secure Conditional-Privacy Access Control Protocol for Intelligent Customers-Centric Communication in VANET. In IEEE Transactions on Consumer Electronics, vol. 70, no. 1, pp. 1747-1756, Feb. 2024. Available at https://doi.org/10.1109/TCE.2023.3324273.
  330. Yongfei Huang, Guangxia Xu, Xiaoling Song, and Yuqing Xu. An Efficient RLWE-based Privacy-Preserving Authentication Scheme based on Edge Computing in Industrial Internet of Things. In IEEE Transactions on Services Computing. Available at https://doi.org/10.1109/TSC.2024.3433534.
  331. Chaoyue Lv, Di Lu, Yuanyuan Zhang, Xindi Ma, Yulong Shen, Liping Wang, and Jianfeng Ma. ZMAM: A ZKP-Based Mutual Authentication Scheme for the IoMT. In: Xie, X., Styles, I., Powathil, G., Ceccarelli, M. (eds) Artificial Intelligence in Healthcare. AIiH 2024. Lecture Notes in Computer Science, vol 14976. Springer, Cham. Available at https://doi.org/10.1007/978-3-031-67285-9_19.
  332. Rui Chen, Yongcong Mou, and Wei Li. A provably secure multi-server authentication scheme based on Chebyshev chaotic map. In Journal of Information Security and Applications, Volume 83, 2024, 103788. Available at https://doi.org/10.1016/j.jisa.2024.103788.
  333. Ilsun You, Gunwoo Kim,Seonghan Shin, Hoseok Kwon, Jongkil Kim, and Joonsang Baek. 5G-AKA-FS: A 5G Authentication and Key Agreement Protocol for Forward Secrecy. In Sensors 2024, 24(1), 159. Available at https://doi.org/10.3390/s24010159.
  334. Pengbo Xu, Huici Wu, Xiaofeng Tao, Chenyu Wang, Dajiang Chen, and Guoshun Nan. Anti-Quantum Certificateless Group Authentication for Massive Accessing IoT Devices. In IEEE Internet of Things Journal, vol. 11, no. 9, pp. 16561-16577, May 1, 2024. Available at https://doi.org/10.1109/JIOT.2024.3353807.
  335. Xianji Jin, Na Lin, Zhongwei Li, Wenqi Jiang, Yuge Jia, Qingyang Li. A Lightweight Authentication Scheme for Power IoT Based on PUF and Chebyshev Chaotic Map. In IEEE Access, vol. 12, pp. 83692-83706, 2024. Available at https://doi.org/10.1109/ACCESS.2024.3413853.
  336. Azeem Irshad and Mohammed Alreshoodi. SEMS-5G: A Secure and Efficient Multi-Server Authentication Scheme for 5G Networks. In IEEE Access, vol. 12, pp. 49062-49077, 2024. Available at https://doi.org/10.1109/ACCESS.2024.3381616.
  337. Raghad Almari, Abdullah Almosallam, Saleh Almousa, and Saad Alahmadi. Protecting Instant Messaging Notifications against Physical Attacks: A Novel Instant Messaging Notification Protocol Based on Signal Protocol. In Appl. Sci. 2024, 14(14), 6348. Available at https://doi.org/10.3390/app14146348.
  338. Taewoong Kang, Naryun Woo, and Jihyeon Ryu. Enhanced Lightweight Medical Sensor Networks Authentication Scheme Based on Blockchain. In IEEE Access, vol. 12, pp. 35612-35629, 2024. Available at https://doi.org/10.1109/ACCESS.2024.3373879.
  339. Maxime Méré, Frédéric Jouault, Loïc Pallardy, and Richard Perdriau. Evaluating formal model verification tools in an industrial context: the case of a smart device life cycle management system. In Softw Syst Model (2024). Available at https://doi.org/10.1007/s10270-024-01201-0.
  340. Azeem Irshad, Muhammad Farooq, Khalid Mahmood, Ghulam Ali Mallah, and Shehzad Ashraf Chaudhry. DAC-MD: A privacy preserving drone-access control scheme for last mile delivery. In Transactions on Emerging Telecommunication Technologies, Volume 35, Issue 3, March 2024, e4958. Available at https://doi.org/10.1002/ett.4958.
  341. Zisang Xu, Hao Peng, Ke Gu, Xiong Li, and Peng Huang. An Energy Efficient Access and Handover Authentication Scheme for 6G Satellite-Terrestrial Integrated Network. In IEEE Transactions on Green Communications and Networking. Available at https://doi.org/10.1109/TGCN.2024.3450515.
  342. Jingda Yang, Sudhanshu Arya, and Ying Wang. Formal-Guided Fuzz Testing: Targeting Security Assurance From Specification to Implementation for 5G and Beyond. In IEEE Access, vol. 12, pp. 29175-29193, 2024. Available at https://doi.org/10.1109/ACCESS.2024.3369613.
  343. Jingda Yang and Ying Wang. Dependency-Graph Enabled Formal Analysis for 5G AKA Protocols: Assumption Propagation and Verification. In ICC 2024 - IEEE International Conference on Communications, Denver, CO, USA, 2024, pp. 715-721. Available at https://doi.org/10.1109/ICC51166.2024.10622353.
  344. Mehdi Hosseinzadeh, Mohammad Reza Servati, Amir Masoud Rahmani, Masoumeh Safkhani, Jan Lansky, Renata Janoscova, Omed Hassan Ahmed, Jawad Tanveer, and Sang-Woong Lee. An Enhanced Authentication Protocol Suitable for Constrained RFID Systems. In IEEE Access, vol. 12, pp. 61610-61628, 2024, Available at https://doi.org/10.1109/ACCESS.2024.3364690.
  345. Ping Guo, Wenfeng Liang, and Shuilong Xu. A privacy preserving four-factor authentication protocol for internet of medical things. In Computers & Security, Volume 137, February 2024, 103632. Available at https://doi.org/10.1016/j.cose.2023.103632.
  346. Jie Wang, Shengbao Wang, Kang Wen, Bosen Weng, Xin Zhou, and Kefei Chen. An ECC-Based Authentication Protocol for Dynamic Charging System of Electric Vehicles. In Electronics 2024, 13(6), 1109. Available at https://doi.org/10.3390/electronics13061109.
  347. Abdulrahman Ahmed Alzahrani. VSKAP-IoD: A Verifiably Secure Key Agreement Protocol for Securing IoD Environment. In IEEE Access, vol. 12, pp. 58039-58056, 2024. Available at https://doi.org/10.1109/ACCESS.2024.3388500.
  348. Mirza Kamrul Bashar Shuhan, Syed Md. Hasnayeen, Tanmoy Krishna Das, Md. Nazmus Sakib, and Md Sadek Ferdous. Decentralised identity federations using blockchain. In Int. J. Inf. Secur. 23, 2759–2782 (2024). Available at https://doi.org/10.1007/s10207-024-00864-6.
  349. Zeyad Ghaleb Al-Mekhlafi, Hussam Dheaa Kamel Al-Janabi, Ayman Khalil, Mahmood A. Al-Shareeda, Badiea Abdulkarem Mohammed, Abeer Abdullah Alsadhan, Abdulaziz M. Alayba, Ahmed M. Shamsan Saleh, Hamad A. Al-Reshidi, and Khalil Almekhlafi. Lattice-Based Cryptography and Fog Computing Based Efficient Anonymous Authentication Scheme for 5G-Assisted Vehicular Communications. In IEEE Access, vol. 12, pp. 71232-71247, 2024. Available at https://doi.org/10.1109/ACCESS.2024.3402336.
  350. Naveen Chandra Gowda, Sunilkumar S. Manvi, A. Bharathi Malakreddy, and Rajkumar Buyya. TAKM-FC: Two-way Authentication with efficient Key Management in Fog Computing Environments. In J Supercomput 80, 6855–6890 (2024). Available at https://doi.org/10.1007/s11227-023-05712-3.
  351. Fatemeh Pirmoradian, Mohammad Dakhilalian, and Masoumeh Safkhani. ECKCI: An ECC-Based Authenticated Key Agreement Scheme Resistant to Key Compromise Impersonation Attack for TMIS. In The ISC International Journal of Information Security, Volume 16, Issue 2, July 2024, Pages 115-136. Available at https://doi.org/10.22042/isecure.2024.408640.989.
  352. Yuting Yang, Weijie Tan, Zhen Li, Yuling Chen, and Chunguo Li. Mutual Authentication Protocols Based on PUF and Multi Trusted Authority for Internet of Vehicle. In IEEE Internet of Things Journal. Available at https://doi.org/10.1109/JIOT.2024.3449901.
  353. Burhan Sher, Mustafeez Ahmad, Khwaja Mansoor, Yawar Abbas Bangash, Waseem Iqbal, and Shynar Mussiraliyeva. Lightweight secure authentication protocol for automatic dependent surveillance broadcast system. In Cluster Comput (2024). Available at https://doi.org/10.1007/s10586-024-04566-5.
  354. Sebastian Josef Schmid, Daniel Schraudner, and Andreas Harth. The Rights Delegation Proxy: An Approach for Delegations in the Solid Dataspace. In Proceedings of the Second International Workshop on Semantics in Dataspaces, Hersonissos 2024. Available at https://ceur-ws.org/Vol-3705/paper02.pdf.
  355. Shunfang Hu, Shaoping Jiang, Qing Miao, Fan Yang, Weihong Zhou, and Peng Duan. Provably Secure ECC-Based Anonymous Authentication and Key Agreement for IoT. In Appl. Sci. 2024, 14(8), 3187. Available at https://doi.org/10.3390/app14083187.
  356. Rémi Garcia and Paolo Modesti. A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols. Electronics, Volume 13, No. 23, 4660, 2024. Available at https://doi.org/10.3390/electronics13234660.
  357. Takehiko Mieno, Hiroyuki Okazaki, Kenichi Arai, Yuichi Futa, and Hiroaki Yamamoto. Formal Security Verification for Searchable Symmetric Encryption Using ProVerif. In 2024 International Symposium on Information Theory and Its Applications (ISITA), Taipei, Taiwan, 2024, pp. 419-424. Available at https://doi.org/10.23919/ISITA60732.2024.10858210
  358. T. K. Silim, Y. Farida, N. Yulianti and S. Rosdiana, "Formal Analysis of MPKE Protocol in Wireless Mesh Network Using ProVerif," 2024 International Conference on Informatics, Multimedia, Cyber and Information System (ICIMCIS), Jakarta, Indonesia, 2024, pp. 315-321, Available at https://doi.org/10.1109/ICIMCIS63449.2024.10957235.
  359. M. U. Sardar, A. Niemi, H. Tschofenig and T. Fossati, "Towards Validation of TLS 1.3 Formal Model and Vulnerabilities in Intel’s RA-TLS Protocol," in IEEE Access, vol. 12, pp. 173670-173685, 2024. Available at https://doi.org/10.1109/ACCESS.2024.3497184
  360. Fahad Algarni. A lightweight and secure authentication protocol for visually impaired and handicapped people in the telehealth system. In: Alexandria Engineering Journal, Volume 106, 2024, Pages 793-808, ISSN 1110-0168. Available at https://doi.org/10.1016/j.aej.2024.08.078.
  361. Matteo Paier, Roberto Van Eeden, and Marino Miculan. Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards. In: Madeira, A., Knapp, A. (eds) Software Engineering and Formal Methods. SEFM 2024. Lecture Notes in Computer Science, vol 15280. Springer, Cham. Available at https://doi.org/10.1007/978-3-031-77382-2_24.
  362. Weiping Shao, Yong Li, Jinyi Qium, and Meiying Wang. A Secondary Authentication Algorithm of 5G Communication with PUF Terminal for Power Service. In 2024 3rd International Conference on Energy and Electrical Power Systems (ICEEPS), Guangzhou, China, 2024, pp. 1287-1290. Available at https://doi.org/10.1109/ICEEPS62542.2024.10693090.
  363. Tao Xia, Menglin Wang, Jun He, Hai Guo, Zhiqiang Qu, and Jianguo Yuan. Research on Drone Network Security Issues under Quantum Attack Threats. In: 2024 4th International Conference on Communication Technology and Information Technology (ICCTIT), Guangzhou, China, 2024, pp. 230-234. Available at https://doi.org/10.1109/ICCTIT64404.2024.10928461.
  364. Akash Poudel, Sujata Mohanty, and Manabhanjan Pradhan. Design of Lightweight Authentication Scheme for Low Power Internet of Medical Things (IoMT). In: 2024 IEEE International Conference on Smart Power Control and Renewable Energy (ICSPCRE), Rourkela, India, 2024, pp. 1-6. Available at https://doi.org/10.1109/ICSPCRE62303.2024.10675052.
  365. Arman Ahmad and S. Jagatheswari. Lattice-Based Three Party Authenticated Key Agreement Scheme in Medical IoT for Post-Quantum Environment," in IEEE Access, vol. 12, pp. 157247-157259, 2024. Available at https://doi.org/10.1109/ACCESS.2024.3483971.

2025

From 2025, due to the large number of papers, we only cite A* and A conferences, according to ICORE conference ranking 2026.

366. Karthikeyan Bhargavan, Lasse Letager Hansen, Franziskus Kiefer, Jonas Schneider-Bensch, and Bas Spitters. Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rust. In Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security (CCS '25). Association for Computing Machinery, New York, NY, USA, 2729–2743. Available at https://doi.org/10.1145/3719027.3765213.
367. Vincent Diemunsch, Lucca Hirschi, and Steve Kremer. A Comprehensive Formal Security Analysis of OPC UA. In: 34th USENIX Security Symposium (USENIX Security 25), pp. 7077--7096. Available at https://www.usenix.org/conference/usenixsecurity25/presentation/diemunsch.
368. Pascal Lafourcade, Dhekra Mahmoud, Sylvain Ruhault, and Abdul Rahman Taleb. A Tale of Two Worlds, a Formal Story of WireGuard Hybridization. In 34th USENIX Security Symposium (USENIX Security 25), pp. 4937--4956. Available at https://www.usenix.org/conference/usenixsecurity25/presentation/lafourcade.
369. Xiaofeng Liu, Chaoshun Zuo, Qinsheng Hou, Pengcheng Ren, Jianliang Wu, Qingchuan Zhao, Shanqing Guo. A Thorough Security Analysis of BLE Proximity Tracking Protocols. In: 34th USENIX Security Symposium (USENIX Security 25), pp. 5347-5364. Available at https://www.usenix.org/conference/usenixsecurity25/presentation/liu-xiaofeng.
370. Ayoub Ben Hassen, Pascal Lafourcade, Dhekra Mahmoud, and Maxime Puys. Formal Analysis of SDNsec: Attacks and Corrections for Payload, Route Integrity and Accountability. In Proceedings of the 20th ACM Asia Conference on Computer and Communications Security (ASIA CCS '25). Association for Computing Machinery, New York, NY, USA, 1476–1489. Available at https://doi.org/10.1145/3708821.3710828.
371. Ioana Boureanu, Cristina Onete, Stephan Wesemeyer, Léo Robert, Rhys Miller, Pascal Lafourcade, and Fortunat Rajaona. Post-Compromise Security with Application-Level Key-Controls – with a comprehensive study of the 5G AKMA protocol. In: Proceedings of the 20th ACM Asia Conference on Computer and Communications Security (ASIA CCS '25). Association for Computing Machinery, New York, NY, USA, 231–247. Available at https://doi.org/10.1145/3708821.3733910.
372. Faezeh Nasrabadi, Robert Künnemann, and Hamed Nemati. Symbolic Parallel Composition for Multi-language Protocol Verification. In: 2025 IEEE 38th Computer Security Foundations Symposium (CSF), Santa Cruz, CA, USA, 2025, pp. 378-393. Available at https://doi.org/10.1109/CSF64896.2025.00030.
373. Véronique Cortier, Alexandre Debant, Pierrick Gaudry, Léo Louistisserand. Vote&Check: Secure Postal Voting with Reduced Trust Assumptions. In Privacy Enhancing Technologies Symposium, 2025, issue 3, pp. 333-348. Available at https://doi.org/10.56553/popets-2025-0101.

2026

374. Tommaso Sacchetti and Daniele Antonioli. BLERP: BLE Re-Pairing Attacks and Defenses. NDSS 2026, 33rd Network and Distributed System Security Symposium, Feb 2026, San Diego, United States. Available at https://doi.org/10.14722/ndss.2026.240121.
375. Elsa Lopez Perez, Thomas Watteyne, Cristina Onete, Dhekra Mahmoud, Pascal Lafourcade, Vaishnavi Sundararajan, and Mališa Vučinić. Formal Verification of EDHOC-PSK: A Symbolic Approach with SAPIC. In: Asia CCS'26. Available at https://doi.org/10.1145/3779208.3805979

Tools

• TulaFale, analyzer for Web services, using ProVerif as a back-end (Microsoft Research).
• FS2PV, verifier for protocol implementations written in F#, using ProVerif as a back-end (Microsoft Research).
• Spi2Java (manual available here) also allows using ProVerif as protocol analyzer for their protocol specifications (using the Spi2Proverif auxiliary tool).
• Expi2Java also allows using ProVerif as protocol analyzer for their protocol specifications (project apparently stopped).
• A ProVerif editor (in Python) by Joeri de Ruiter.
• XOR-ProVerif and DH-ProVerif: tools for verifying protocols with XOR and with Diffie-Hellman exponentiation (with a rich equational theory).
• StatVerif: extension of ProVerif to verify stateful processes.
• TTool uses ProVerif for proving confidentiality and authenticity properties from an AVATAR model.
• AIF-Omega: Set-based abstraction method inspired by ProVerif and SPASS, for verifying systems with non-monotonic, stateful behaviour. Uses Spass or ProVerif as back-ends.
• Set-pi supports an extension of the applied pi calculus with sets; it generates clauses fed into ProVerif.
• AnBx: compiler from Alice and Bob notation to Java, OFMC, and ProVerif.
• Ukano: automatic privacy verifier. This tool automatically checks unlinkability and anonymity for a large class of 2-party protocols for an unbounded number of sessions.
• GSVerif: front-end for dealing with global state and counters.
• Noise explorer verifies Noise protocols, using ProVerif as back-end.
• SAPIC+ is a security protocol verification platform, enabling the use of ProVerif, Tamarin and DeepSec as possible backends.

Courses on ProVerif

ProVerif was taught at MPRI. Here is a list of some courses on ProVerif by other researchers:

• Peeter Laud, Tartu University, Estonia, course available here
• Deepak Garg, MPI-SWS/Universität des Saarlandes, Germany, course available here
• Véronique Cortier, Université de Lorraine, Nancy, France, course available here
• Pascal Lafourcade, ISIMA--Université Clermont-Auvergne, Clermont-Ferrand, France, course available here