BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: B=eacute=guelin:Santiago_Zanella

Contributed to:

POPL 20142014
POPL 20122012
SAS 20122012
POPL 20092009
POPL 20162016

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.