Michael Emmi
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 8 in the filters
who talks about the same things
- Constantin Enea14 talks
- Umang Mathur20 talks
- Jeehoon Kang14 talks
- Aseem Rastogi7 talks
- Michael Sammler16 talks
- Viktor Vafeiadis23 talks
| title | conference | date |
|---|---|---|
| Behavioral simulation for smart contracts | SPLASH 2022 | 2022-12-05 |
Automated method claims to verify unannotated smart contracts by synthesizing behavioral refinement as simulation relations between a few manually annotated… | ||
| Recursion Synthesis with Unrealizability Witnesses | PLDI 2022 | 2022-06-13 |
Procedure synthesizes recursive functions by combining syntax-guided synthesis with a new functional unrealizability checker that emits counterexample… | ||
| Verifying Constant-Time Implementations | USENIX Security '16 | 2016-08-10 |
Claims an automated verifier, ct-verif, that proves constant-time for optimized LLVM code by reducing the two-execution security property to safety of a… | ||
| nothing matches | ||