39 citations
- Ruhr University BochumDE19 papers
- Helmholtz Center for Information SecurityDE7 papers
- TU Dortmund UniversityDE4 papers
- University of PaduaIT4 papers
- Arizona State UniversityUS3 papers
- Leibniz University HannoverDE3 papers
- New York UniversityUS3 papers
- University of EdinburghGB3 papers
- University of MichiganUS3 papers
- University of WashingtonUS3 papers
- Alliance Data (United States)US2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2025★ 1 cited
Decompiling for Constant-Time Analysis
Santiago Arranz-Olmos, Gilles Barthe, Lionel Blatter +3
The CT programming discipline is commonly used to protect cryptographic libraries against side-channel attacks. However, it is hard to write CT code; moreover, compilers can introd…
cs.PL2024★ 4 cited
Automating Equational Proofs in Dirac Notation
Yingte Xu, Gilles Barthe, Li Zhou
Dirac notation is widely used in quantum physics and quantum programming languages to define, compute and reason about quantum states. This paper considers Dirac notation from the…