Adria Gascon

Identifiers

No identifiers captured yet.

Papers (2)

1. The Privacy Blanket of the Shuffle Model cs.LG · 2019 · author #3
2. How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation cs.CR · 2018 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Borja Balle 1 shared papers
• David Aspinall 1 shared papers
• David Butler 1 shared papers
• James Bell 1 shared papers
• Kobbi Nissim 1 shared papers