1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.CR2024★ 1 cited
Testing side-channel security of cryptographic implementations against future microarchitectures
Gilles Barthe, Marcel Böhme, Sunjay Cauligi +7
How will future microarchitectures impact the security of existing cryptographic implementations? As we cannot keep reducing the size of transistors, chip vendors have started deve…
cs.CR2023
CryptOpt: Automatic Optimization of Straightline Code
Joel Kuepper, Andres Erbsen, Jason Gross +9
Manual engineering of high-performance implementations typically consumes many resources and requires in-depth knowledge of the hardware. Compilers try to address these problems; h…
cs.CR2022
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version)
Joel Kuepper, Andres Erbsen, Jason Gross +9
Most software domains rely on compilers to translate high-level code to multiple different machine languages, with performance not too much worse than what developers would have th…