File
Data-Dependent Instruction Timing Channels
Submitted by Hovav Shacham on October 17th, 2019
File
Shielding Software From Privileged Side-Channel Attacks
Submitted by John Criswell on October 11th, 2019
File
Transys: Leveraging Common Security Properties Across Hardware Designs
Submitted by Rui Zhang on October 10th, 2019
File
Dynamic and Static Program Analysis for Side Channel Vulnerability Detection and Mitigation
Submitted by Dinghao Wu on October 10th, 2019
Subscribe to Formal Methods and Language-based Security