Ashay Rane
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Barry Bondonce
- Bryan Parnoonce
- Calvin Linonce
all 10 in the filters
who talks about the same things
nobody close enough yet
| 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… | ||
| Secure, Precise, and Fast Floating-Point Operations on x86 Processors | USENIX Security '16 | 2016-08-10 |
Claims a practical defense that closes floating point side channels on x86 while preserves precision of non‑secure executions by combining exploitation of… | ||
| nothing matches | ||