EAPLS Best PhD Dissertation Awards 11


The 2011 EAPLS (European Association for Programming Languages and Systems) Best Dissertation Award was won by Dr. Santiago Zanella Béguelin (Applied mathematics Centre, MINES ParisTech - CMA) for his thesis:

Formal Certification of Game-Based Cryptographic Proofs

The purpose of the award is to draw attention to this excellent work, to help the career of the student in question, and to promote the research field as a whole.