Past Activities

ACM CCS 2016 23rd ACM Conference on Computer and Communications Security (PC member)
EWSCS 2016 21. Estonian Winter School in Computer Science (Invited Speaker)
CSF 2016 29th IEEE Computer Security Foundations Symposium (PC member)
UEOP 2016 1st Workshop on Understanding and Enhancing Online Privacy, affiliated with NDSS 2016 (PC co-chair)
IEEE S&P 2016 37th IEEE Symposium on Security and Privacy (PC member)
POPL 2016 42st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Tutorial presenter, PC member)
POST 2016 5th Conference on Principles of Security and Trust (PC member)
SAC 2016 31st ACM Symposium On Applied Computing, Computer Security Track (PC member)
ACM CCS 2015 22nd ACM Conference on Computer and Communications Security (PC member)
PLAS 2015 ACM 10th Workshop on Programming Languages and Analysis for Security (PC member)
GAFOE 2015 German-American Frontiers of Engineering Symposium (invited speaker)
TGC 2015 9th International Symposium on Trustworthy Global Computing (PC member)
TPDP 2015 Theory and Practice of Differential Privacy (PC member)
HotSpot 2015 3rd Workshop on Hot Issues in Security Principles and Trust (PC member)
POST 2015 4th Conference on Principles of Security and Trust (PC member)
POPL 2015 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Extended Reviewing Committee member)
SAC 2015 30th ACM Symposium On Applied Computing, Computer Security Track (PC member)
The Joint EasyCrypt-F*-CryptoVerif School 2014 (Invited speaker)
FCS-FCC 2014 Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography, affiliated with CSF and LICS at FLoC (PC co-chair)
TGC 2014 8th International Symposium on Trustworthy Global Computing (TGC 2014) (PC co-chair)
IEEE BigData 2014 2014 International Conference on Big Data (PC member)
BigData 2014 3rd International Congress on Big Data (PC member)
HotSpot 2014 2nd Workshop on Hot Issues in Security Principles and Trust (PC member)
SAC 2014 29th ACM Symposium On Applied Computing, Computer Security Track (PC member)
ACNS 2014 12th International Conference on Applied Cryptography and Network Security
IEEE BigData 2013 2013 IEEE International Conference on Big Data (PC member)
ESEC/FSE 2013 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, New Ideas Track (PC member)
TGC 2013 7th International Symposium on Trustworthy Global Computing (TGC 2013) (PC member)
FORTE/FMOODS 2013 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE / 15th FMOODS) (PC member)
Hot-Spot 2013 1st Workshop on Hot issues in Security Principles and Trust (PC member)
Oakland 2013 34th IEEE Symposium on Security and Privacy (PC member)
CSF 2013 26th IEEE Computer Security Foundations Symposium (PC member)
CSF 2012 25th IEEE Computer Security Foundations Symposium (PC member)
GRSRD 2012 Grande Region Security and Reliability Day (PC member)
TACAS 2012 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (PC member)
ASA 5 5th International Workshop on Analysis of Security APIs and FCC 2011 7th Workshop on Formal and Computational Cryptography (invited speaker)
FCS 2011 Workshop on Foundations of Computer Security, affiliated to LICS 2011 (PC member)
TGC 2011 6th International Symposium on Trustworthy Global Computing (PC member)
GRSRD 2011 Grande Region Security and Reliability Day (PC member)
CSF 2010 23rd IEEE Computer Security Foundations Symposium (PC member)
ESOP 2010 19th European Symposium on Programming (PC member)
ESORICS 2009 13th European Symposium on Research in Computer Security (PC member)
SecCo 2008 6th International Workshop on Security Issues in Concurrency, affiliated to CONCUR 2008 (PC member)