17 citations · 43 across the 4 of their papers we have counts for
1 paper · 2 filters
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…