Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly.
Rodothea-Myrsini TsoupidiMusard BalliuBenoit BaudryPublished in: CoRR (2021)
Keyphrases
- cryptographic protocols
- random number generators
- relational data
- smart card
- relational databases
- model checking
- data model
- high assurance
- formal verification
- relational learning
- face verification
- database language
- efficient implementation
- statistical relational learning
- entity relationship
- high security
- security properties
- functional verification
- digital signature
- security protocols
- key management
- databases
- formal methods
- relational model
- case study
- genetic algorithm