Isadora: automated information-flow property generation for hardware security verification.
Calvin DeutschbeinAndres MezaFrancesco RestucciaRyan KastnerCynthia SturtonPublished in: J. Cryptogr. Eng. (2023)
Keyphrases
- information flow
- information security
- flow analysis
- social networks
- information flows
- hardware designs
- low cost
- communication networks
- functional modules
- high security
- model checking
- smart card
- human operators
- java card
- multi context systems
- random number generator
- supply chain
- blind signature scheme
- information propagation
- reactive systems
- emergency management
- operating system
- access control