Chlipala, Adam
- Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats
2018/03/13 by Benjamin Delaware, Sorawit Suriyakarn, Delaware, Benjamin +7 · 1 voice · 2 citations
Computer Science · #Advanced Data Storage Technologies #Advanced Malware Detection Techniques #Security and Verification in Computing #cs.PL
- Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq
2022/02/28 by Jason N. Gross, Théo Zimmermann, Gross, Jason +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Software System Performance and Reliability #Software Testing and Debugging Techniques