Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts.
Zilong WangGideon MohrKlaus von GleissenthallJan ReinekeMarco GuarnieriPublished in: CCS (2023)
Keyphrases
- open source
- protocol specification
- high security
- formal verification
- java card
- countermeasures
- smart card
- source code
- model checking
- cryptographic protocols
- open source software
- information leakage
- security issues
- asynchronous circuits
- communication protocols
- formal methods
- supply chain
- formal specification
- information security
- parallel processing
- statistical databases
- integrity verification
- network security
- security policies
- access control
- case study
- security systems
- security level
- formal analysis
- parallel algorithm
- intrusion detection
- parallel computation
- cyber security
- key management
- shared memory
- colored petri nets
- high assurance
- parallel computing