The Program Counter Security Model: Automatic Detection and Removal of Control-Flow Side Channel Attacks.
David MolnarMatt PiotrowskiDavid SchultzDavid A. WagnerPublished in: IACR Cryptol. ePrint Arch. (2005)
Keyphrases
- automatic detection
- control flow
- security model
- data flow
- security requirements
- access control
- security analysis
- smart card
- public key
- process model
- software testing
- workflow management systems
- authentication and key agreement
- automatically detecting
- formal semantics
- black box
- encryption scheme
- test cases
- peer to peer
- open source