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