11 citations · 11 across the 1 of their papers we have counts for
1 paper
Michael D. Brown, Matthew Pruett, Robert Bigelow +2
Despite extensive testing and correctness certification of their functional semantics, a number of compiler optimizations have been shown to violate security guarantees implemented…