Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by D. Davis
An Extensible Platform for Evaluating Security Protocols
Laboratory Scale Vitrification of Low-Level Radioactive Nitrate Salts and Soils From the Idaho National Engineering Laboratory
‹
1
2
Related publications
ASAP: An Extensible Platform for State Space Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Egg: An Extensible and Economics-Inspired Open Grid Computing Platform
Evaluating VANET Routing Protocols for Auckland Area
HeidelPlace: An Extensible Framework for Geoparsing
Modular Security Proofs for Key Agreement Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Analyzing Internet Security Protocols
Formal Methods for Assuring Security of Protocols
Computer Journal
Computer Science
Verification of Security Protocols