Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2001.09837
Cited By
Verifying Software Vulnerabilities in IoT Cryptographic Protocols
27 January 2020
Fatimah Aljaafari
Lucas C. Cordeiro
Mustafa A. Mustafa
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Verifying Software Vulnerabilities in IoT Cryptographic Protocols"
1 / 1 papers shown
Title
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution
Mihhail Aizatulin
Andrew D. Gordon
Jan Jurjens
68
66
0
06 Jul 2011
1
