Amit Vasudevan
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
- Limin Jia2×
- Anupam Dattaonce
- Farzaneh Derakhshanonce
all 12 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Towards End-to-End Verified TEEs via Verified Interface Conformance and Interfa... | PriSC 2023 | 2023-01-21 |
Framework formalizes TEEs as isolated compartments (Uber objects) with exclusive memory and verified pre/post interfaces, verified in isolation and compiled… | ||
| Towards an Architecture for Trusted Edge IoT Security Gateways | 3rd USENIX Workshop on Hot Topics in Edge Computing (HotEdge '20) | 2020-06-25 |
Proposes a concrete gateway architecture that uses an extensible micro‑hypervisor to enforce virtual TPM attestation, isolate keys for per‑hop packet… | ||
| überSpark: Enforcing Verifiable Object Abstractions for Automated... | USENIX Security '16 | 2016-08-10 |
Architecture that enforces verifiable object abstractions for compositional hypervisor verification, using Frama‑C, ComCert, SMT solvers and a hardware model… | ||
| nothing matches | ||