Automated Formal Analysis of Side-Channel Attacks on Probabilistic Systems.

Chris Novakovic David Parker

Published in: ESORICS (1) (2019)

Keyphrases

formal analysis
formal methods
distributed systems
expert systems
data driven
complex systems
information systems
case study
management system
intelligent systems
life cycle
smart card
semi automated