Involvement in conferences and journals / Conférences et journaux
UK Security and Privacy Seminar
(Speaker)
HCVS'22
(Invited speaker)
2022 Meeting of the WG "Formal Methods for Security"
(PC member and invited speaker)
Associate Editor
International Journal of Applied Cryptography (IJACT)
(2008-2022)
VeriCrypt 2021
(Speaker)
CCS'20
(PC member)
Indocrypt'20
(PC member)
VeriCrypt'20
(Speaker)
FCS (Steering committee member, 2014-2020)
CSF 2019
(PC member)
POST (Steering committee member, 2015-2019)
RESSI 2018
(PC member)
TAP 2017
(PC member)
IEEE European Symposium on Security and Privacy 2017
(Finance chair)
HotSpot 2015
(PC member)
Joint EasyCrypt-F*-CryptoVerif School 2014
(Lecturer)
CSF'14
(PC member)
HotSpot'14
(PC member)
POST'14
(PC member)
Summer school FOSAD'13
(Lecturer)
FCS'13
(PC co-chair)
POST'13
(PC member)
CCS'12
(PC member)
FM'2012
(PC member)
FCC'12
(PC member)
ETAPS'12
(Invited speaker)
Summer school VTSA'11
(Lecturer) slides:
introduction
ProVerif
Summer School Marktoberdorf
(Lecturer)
slides
working material
CCS'11
(PC member)
CryptoForma workshop
(PC member)
FCC'11
(PC member and local organizer)
FCS'11
(PC co-chair)
ESSoS'11
(PC member)
SecReT'10
(Invited speaker)
CryptoForma workshop
(Committee member)
CCS'10
(PC member)
CSF'10
(PC member)
TACAS'10
(PC member)
ASIAN'09
(PC member)
ECRYPT-II summer school
(Invited speaker)
FCC'09
(PC member)
CSF'09
(PC member)
MITACS'09
(Invited speaker)
CoSyProofs
(Invited speaker)
POPL'09
(PC member)
FCC'08
(PC co-chair)
PLAS'08
(PC member)
CSF'08
(PC member)
CONCUR'07
(PC member)
FCC'07
(PC member)
CSF'07
(Anciennement, CSFW. PC member)
PLDI'07
(PC member)
FCC'06
(PC member)
CSFW'06
(PC member)
EAAI'06
(PC member)
FOSSACS'06
(PC member)
MoveLog'05
(PC member)
CADE'05
(Invited tutorial)
Workshop on the link between formal and computational models
(Organizing committee member)
CSFW'05
(PC member)
AIOOL'05
(PC member)
ESOP'05
(PC member)
CONCUR'04
(PC member)
SAC'04
(Security track) (PC member)
PPDP'03 (Invited talk)
IWFM'03
(PC member)
SAS'01 (Invited talk)
Bruno Blanchet