ARMISTICE: Microarchitectural Leakage Modeling for Masked Software Formal Verification.
Arnaud de GrandmaisonKarine HeydemannQuentin L. MeunierPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2022)
Keyphrases
- formal verification
- model checking
- bounded model checking
- program slicing
- automated verification
- model checker
- software development
- symbolic model checking
- modeling language
- temporal logic
- case study
- software components
- software tools
- functional verification
- software design
- software architecture
- software systems
- computer systems
- software engineering
- expert systems
- reinforcement learning