2 papers
cs.CR2026
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…
cs.CR2025
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…