1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Marc Schoolderman, Jonathan Moerman, Sjaak Smetsers +1
Code that is highly optimized poses a problem for program-level verification: programmers can employ various clever tricks that are non-trivial to reason about. For cryptography on…