Laure Thompson
where else to find them
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Ashay Raneonce
- Barry Bondonce
- Bryan Parnoonce
all 8 in the filters
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Vale: Verifying High-Performance Cryptographic Assembly Code | 26th USENIX Security Symposium (USENIX Security '17) | 2017-08-16 |
Vale converts annotated, hand-tuned assembly into an abstract syntax tree and emits machine-checked proofs verified by an SMT-based verifier, letting the AST… | ||
| nothing matches | ||