I was reading the work “Breaking Bad: How Compilers Can Break Constant-Time Implementations“. The paper complained compiler updates can destroy the constant-time guarantee even for formally verified constant time code.
Why don’t compiler developers add support for constant-time compilation?
submitted by /u/fosres
[link] [comments]
