Fall-through semantics for mitigating timing-based side channel leaks

DOI10.4230/LIPICS.FSTTCS.2025.44MaRDI QIDQ7391925zbMATH OpenFDO

Authors Aniket Mishra, Abhishek Bichhawat

Publication date 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.FSTTCS.2025.44

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

Cites work

• Formal verification of side-channel countermeasures using self-composition
• scientific article; zbMATH DE number 3915608 (Why is no real title available?)
• Information Security and Cryptology - ICISC 2005
• Timing attacks on implementations of Diffie-Hellman, RSA, DSS, and other systems
• Transforming out timing leaks

This page was built for publication: Fall-through semantics for mitigating timing-based side channel leaks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7391925)