`Travelled to:`

1 × France

3 × USA

`Collaborated with:`

G.Barthe B.Grégoire C.Fournet P.Strub N.Swamy B.Köpf F.Olmedo C.Hritcu C.Keller A.Rastogi Antoine Delignat-Lavaud Simon Forest K.Bhargavan Markulf Kohlweiss Jean Karim Zinzindohoue

`Talks about:`

cryptograph (3) probabilist (2) relat (2) proof (2) differenti (1) implement (1) privaci (1) reason (1) formal (1) effect (1)

## Person: Santiago Zanella Béguelin

### DBLP: B=eacute=guelin:Santiago_Zanella

### Contributed to:

### Wrote 5 papers:

- POPL-2014-BartheFGSSB #encryption #implementation #probability #relational #verification
- Probabilistic relational verification for cryptographic implementations (GB, CF, BG, PYS, NS, SZB), pp. 193–206.
- POPL-2012-BartheKOB #difference #privacy #probability #reasoning #relational
- Probabilistic relational reasoning for differential privacy (GB, BK, FO, SZB), pp. 97–110.
- SAS-2012-BartheGB #encryption #proving
- Computer-Aided Cryptographic Proofs (GB, BG, SZB), pp. 1–2.
- POPL-2009-BartheGB #certification #encryption #proving
- Formal certification of code-based cryptographic proofs (GB, BG, SZB), pp. 90–101.
- POPL-2016-SwamyHKRDFBFSKZ #dependent type #multi
- Dependent types and multi-monadic effects in F (NS, CH, CK, AR, ADL, SF, KB, CF, PYS, MK, JKZ, SZB), pp. 256–270.