Timing leakage analysis of non-constant-time NTT implementations with Harvey butterfliesNir DruckerTomer Pelleg2022CSCML 2022
Towards Tight Adaptive Security of Non-Interactive Key ExchangeJulia HesseDennis Hofheinzet al.2021TCC 2021
Universal Composition with Global Subroutines: Capturing Global Setup within plain UCChristian BadertscherRan Canettiet al.2020TCC 2020
Memory Categorization: Separating Attacker-Controlled DataMatthias NeugschwandtnerAlessandro Sorniottiet al.2019DIMVA 2019
AsyncShock: Exploiting synchronisation bugs in Intel SGX enclavesNico WeichbrodtAnil Kurmuset al.2016ESORICS 2016
Relational Observability for Cloud-Native Security and Data ScienceFred AraujoTeryl Taylor2023OSSNA 2023