Srinath Setty
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 3 in the filters
on a stage with
- Aditya Basuonce
- Ashay Raneonce
- Barry Bondonce
all 14 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Nimble: Rollback Protection for Confidential Cloud Services | OSDI 2023 | 2023-07-10 |
Nimble implements an append-only ledger using a tiny trusted state machine inside TEEs combined with crash-fault-tolerant cloud storage, and it ships a… | ||
| High-Speed zkSNARKs without Trusted Setup | 4th ZKProof Workshop (Home Edition) | 2021-04-19 |
Claims a family of zkSNARKs that needs no trusted setup and achieves sub-linear verification and tiny proofs by combining the sum‑check protocol with… | ||
| 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 | ||