Login / Signup
Armistice: Micro-Architectural Leakage Modelling for Masked Software Formal Verification.
Arnaud de Grandmaison
Karine Heydemann
Quentin L. Meunier
Published in:
IACR Cryptol. ePrint Arch. (2022)
Keyphrases
</>
formal verification
model checking
program slicing
software architecture
automated verification
model checker
bounded model checking
high level
software design
software maintenance
software systems
computer systems
software development
source code
user interface
knowledge base
functional verification