Duclos, Martin

1. Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions
   2024/01/30 by Martin Duclos, Ivan Fernandez, Duclos, Martin +7 · 1 citation
   Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Network Packet Processing and Optimization #Network Security and Intrusion Detection #Networking and Internet Architecture (cs.NI) #Software Engineering (cs.SE) #Software System Performance and Reliability