VERICA - Verification of Combined Attacks: Automated formal verification of security against simultaneous information leakage and tampering.
Jan Richter-BrockmannJakob FeldtkellerPascal SasdrichTim GüneysuPublished in: IACR Cryptol. ePrint Arch. (2022)
Keyphrases
- information leakage
- formal verification
- model checking
- personal information
- automated verification
- secret information
- model checker
- bounded model checking
- digital images
- sensitive information
- copyright protection
- formal methods
- cryptographic protocols
- watermarking scheme
- reverse engineering
- third party
- privacy preserving
- frequency domain