Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1703.02688
Cited By
v1
v2 (latest)
HYDRA: HYbrid Design for Remote Attestation (Using a Formally Verified Microkernel)
8 March 2017
Karim M. El Defrawy
Norrathep Rattanavipanon
Gene Tsudik
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"HYDRA: HYbrid Design for Remote Attestation (Using a Formally Verified Microkernel)"
1 / 1 papers shown
Title
Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution
Norrathep Rattanavipanon
Ivan de Oliviera Nunes
151
0
0
28 Jan 2025
1
