Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly.
Rodothea-Myrsini TsoupidiMusard BalliuBenoit BaudryPublished in: SecDev (2021)
Keyphrases
- random number generators
- cryptographic protocols
- smart card
- relational databases
- relational data
- model checking
- data model
- face verification
- efficient implementation
- relational learning
- databases
- verification method
- high assurance
- database
- security properties
- random numbers
- real time
- genetic algorithm
- multi relational
- formal methods
- entity relationship
- signature verification
- random number generator
- databases and data warehouses