On Formal Verification of Arithmetic-Based Cryptographic Primitives.
David NowakPublished in: ICISC (2008)
Keyphrases
- formal verification
- model checking
- galois field
- cryptographic protocols
- smart card
- model checker
- cellular automata
- automated verification
- symbolic model checking
- bounded model checking
- low level
- arithmetic operations
- high level
- hash functions
- key management
- program slicing
- building blocks
- temporal logic
- security protocols
- encryption key
- encryption scheme
- security properties
- s box
- artificial intelligence
- domain specific
- knowledge representation
- expert systems
- multi agent systems
- bayesian networks
- web services