Isaac Newton Institute for Mathematical Sciences

List of invited participants

for the workshop Formal and Computational Cryptographic Proofs



Name Institution visit dates Con
Abadi, MMicrosoft Research10 Apr - 13 AprYes
Aizatulin, MThe Open University10 Apr - 13 AprYes
Alama, JAUniversidade Nova de Lisboa (UNL)10 Apr - 13 AprNo
Andreeva, EKatholieke Universiteit Leuven10 Apr - 13 AprYes
Baecher, PTechnische Universität Darmstadt9 Apr - 14 AprYes
Barak, BMicrosoft Research11 Apr - 13 AprYes
Barthe, GMadrid Institute of Advanced Studies (IMDEA)10 Apr - 13 AprYes
Bayer, SUniversity College London10 Apr - 13 AprYes
Bernhard, DUniversity of Bristol9 Apr - 14 AprYes
Blanchet, BMÉcole Normale Supérieure10 Apr - 13 AprYes
Boiten, EUniversity of Kent10 Apr - 13 AprYes
Brzuska, CTechnische Universität Darmstadt9 Apr - 14 AprYes
Chiodo, MCUniversity of Melbourne10 Apr - 13 AprYes
Choudhary, AUniversity of Bristol9 Apr - 14 AprYes
Dagdelen, OTechnische Universität Darmstadt9 Apr - 14 AprYes
Dantchev, SDurham University10 Apr - 13 AprNo
Davies, GTUniversity of Bristol9 Apr - 14 AprYes
Dawar, AUniversity of Cambridge10 Apr - 13 AprYes
Degabriele, JPRoyal Holloway, University of London11 Apr - 14 AprYes
Dodis, YNew York University10 Apr - 13 AprYes
Downey, RGVictoria University of Wellington10 Apr - 13 AprYes
Etessami, KUniversity of Edinburgh10 Apr - 13 AprNo
Farshim, PTechnische Universität Darmstadt9 Apr - 15 AprYes
Feltz, METH Zürich9 Apr - 14 AprYes
Fischlin, MTechnische Universität Darmstadt9 Apr - 14 AprYes
Fournet, CMicrosoft Research10 Apr - 13 AprYes
Fuchsbauer, GUniversity of Bristol9 Apr - 14 AprYes
Gentry, CIBM Research9 Apr - 14 AprYes
Glaschick, RHeinz Nixdorf MuseumsForum12 Apr - 19 AprYes
Goldwasser, SMassachusetts Institute of Technology9 Apr - 13 AprYes
Gorbunov, SUniversity of Toronto9 Apr - 14 AprYes
Gordon, ADMicrosoft Research10 Apr - 13 AprYes
Groth, JUniversity College London10 Apr - 13 AprYes
Hamkins, JDCity University of New York10 Apr - 13 AprYes
Hogarth, MUniversity of Cambridge10 Apr - 12 AprYes
Hyland, JMEUniversity of Cambridge10 Apr - 13 AprYes
Jain, AUniversity of California, Los Angeles9 Apr - 14 AprYes
Kalai, YMicrosoft Research10 Apr - 13 AprYes
Kapron, BUniversity of Victoria9 Apr - 14 AprYes
Keller, MUniversity of Bristol9 Apr - 14 AprYes
Kiltz, ERuhr-Universität Bochum9 Apr - 14 AprYes
Kohlweiss, MMicrosoft Research10 Apr - 13 AprYes
Kolaitis, PGUniversity of California, Santa Cruz10 Apr - 13 AprYes
Krajicek, JCharles University, Prague10 Apr - 13 AprYes
Larraia, EUniversity of Bristol9 Apr - 14 AprYes
Lowe, BUniversiteit van Amsterdam10 Apr - 13 AprYes
Maurer, UETH Zürich9 Apr - 13 AprYes
Micali, SMassachusetts Institute of Technology9 Apr - 11 AprYes
Murphy, NUniversidad Politécnica de Madrid12 Apr - 18 AprYes
Naor, MWeizmann Institute of Science9 Apr - 14 AprYes
Nguyen, LUniversity of Oxford10 Apr - 14 AprYes
Onete, MCCenter for Advanced Security Research Darmstadt (CASED)9 Apr - 14 AprYes
Passmore, GOUniversity of Cambridge10 Apr - 13 AprYes
Paterson, KGUniversity of London10 Apr - 13 AprYes
Patra, AETH Zürich9 Apr - 14 AprYes
Pattinson, DImperial College London10 Apr - 13 AprYes
Persiano, GUniversità degli Studi di Salerno11 Apr - 14 AprYes
Pietrzak, KInstitute of Science and Technology (IST Austria)9 Apr - 19 AprYes
Poettering, BRoyal Holloway, University of London9 Apr - 14 AprYes
Pointcheval, DENS - Paris10 Apr - 13 AprYes
Procter, GRoyal Holloway, University of London9 Apr - 14 AprYes
Pudlak, PAcademy of Sciences of the Czech Republic10 Apr - 13 AprYes
Riis, SQueen Mary, University of London10 Apr - 13 AprYes
Roe, MUniversity of Hertfordshire10 Apr - 13 AprYes
Rogaway, PUniversity of California, Davis10 Apr - 13 AprYes
Rothblum, GMicrosoft Research9 Apr - 13 AprYes
Roy, DMUniversity of Cambridge10 Apr - 13 AprNo
Sahai, AUniversity of California, Los Angeles9 Apr - 14 AprYes
Scholl, PUniversity of Bristol9 Apr - 14 AprYes
Smart, NUniversity of Bristol10 Apr - 13 AprYes
Soare, RIUniversity of Chicago10 Apr - 13 AprYes
Srinivasan, SUniversity of Surrey9 Apr - 14 AprYes
Takashima, KMitsubishi Electric11 Apr - 14 AprYes
Tessaro, SMassachusetts Institute of Technology10 Apr - 13 AprYes
Thapen, NAcademy of Sciences of the Czech Republic10 Apr - 13 AprYes
Thomson, SRoyal Holloway, University of London9 Apr - 14 AprYes
Vaikuntanathan, VUniversity of Toronto9 Apr - 14 AprYes
van de Pol, JUniversity of Bristol9 Apr - 14 AprYes
Warinschi, BUniversity of Bristol10 Apr - 13 AprYes
Winskel, GUniversity of Cambridge10 Apr - 13 AprYes
Woods, DCALTECH (California Institute of Technology)12 Apr - 18 AprYes
Yasmin, RUniversity of Birmingham9 Apr - 14 AprYes
Zanella Beguelin, SJZBMicrosoft Research10 Apr - 13 AprYes

Back to Top

Webmaster
Copyright © 1996 Isaac Newton Institute.
Updated at 10:00 AM on 12 April 2012