Modular code-based cryptographic verification.
Cédric FournetMarkulf KohlweissPierre-Yves StrubPublished in: CCS (2011)
Keyphrases
- cryptographic protocols
- smart card
- source code
- model checking
- concurrent systems
- byte code
- symbolic execution
- verification method
- java card
- signature verification
- high assurance
- fingerprint verification
- error correcting
- code generation
- formal verification
- neural network
- security protocols
- formal methods
- static analysis
- data flow
- temporal logic
- similarity search
- face recognition
- information systems