60 citations · 119 across the 21 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.CR2023
Robust Constant-Time Cryptography
Matthew Kolosick, Basavesh Ammanaghatta Shivakumar, Sunjay Cauligi +4
The constant-time property is considered the security standard for cryptographic code. Code following the constant-time discipline is free from secret-dependent branches and memory…
cs.CR2023
Secure Composition of Robust and Optimising Compilers
Matthis Kruse, Michael Backes, Marco Patrignani
To ensure that secure applications do not leak their secrets, they are required to uphold several security properties such as spatial and temporal memory safety as well as cryptogr…