3 citations · 5 across the 6 of their papers we have counts for
7 papers
Planarian: Managing Agent State with Statepoints
Jinnan Guo, Hao Mark Chen, Kapil Vaswani +2
LLM agents solve complex tasks by iteratively changing files, invoking local tools, and interacting with remote services, which modifies state across their local environment and re…
Securing Filesystems for Confidential Computing
Dimitra Giantsidi, Antoine Delignat-Lavaud, Cédric Fournet +5
Confidential computing protects applications inside Trusted Execution Environments (TEEs), but it leaves storage vulnerable. Even with disk encryption, a malicious cloud provider c…
Transparent Attested DNS for Confidential Computing Services
Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani +3
Confidential services running in hardware-protected Trusted Execution Environments (TEEs) can provide higher security assurance, but this requires custom clients and protocols to d…
VerifiableFL: Verifiable Claims for Federated Learning using Exclaves
Jinnan Guo, Kapil Vaswani, Andrew Paverd +1
In federated learning (FL), data providers jointly train a machine learning model without sharing their training data. This makes it challenging to provide verifiable claims about…
Confidential Machine Learning within Graphcore IPUs
Kapil Vaswani, Stavros Volos, Cédric Fournet +9
We present IPU Trusted Extensions (ITX), a set of experimental hardware extensions that enable trusted execution environments in Graphcore's AI accelerators. ITX enables the execut…
Information Flows in Encrypted Databases
Kapil Vaswani, Ravi Ramamurthy, Ramarathnam Venkatesan
In encrypted databases, sensitive data is protected from an untrusted server by encrypting columns using partially homomorphic encryption schemes, and storing encryption keys in a…
Logical Concurrency Control from Sequential Proofs
Jyotirmoy Deshmukh, G. Ramalingam, Venkatesh-Prasad Ranganath +1
We are interested in identifying and enforcing the isolation requirements of a concurrent program, i.e., concurrency control that ensures that the program meets its specification.…