Program committees

  • CCS 2026, Co-chair of the 31st ACM Conference on Computer and Communication Security, 2026.
  • CCS 2025, Co-chair of the 30th ACM Conference on Computer and Communication Security, 2025.
  • Communications in Cryptology 2024
  • CSF 2024 Test-of-Time Awards Committee, 37th Computer Security Foundations Symposium, July 2024, Enschede, The Netherlands.
  • CSF 2023, 36th Computer Security Foundations Symposium, July 2023, Dubrovnik, Croatia.
  • E-VoteID 2023, Luxembourg, 3-6 October 2023. Track on Security, Usability, and Technical Issues.
  • S&P 2022, 43rd IEEE Symposium on Security and Privacy, San Francisco, US, 22-26 May, 2022.
  • CSF 2022, 35th Computer Security Foundations Symposium, August 2022, Haifa, Israel.
  • E-VoteID 2022, Schloss Hofen, Bregenz, Austria, 4-7 October 2022. Track on Security, Usability, and Technical Issues.
  • E-VoteID 2021, Schloss Hofen, Bregenz, Austria, 5-8 October 2021. Track on Security, Usability, and Technical Issues.
  • Eurocrypt 2021, 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, May 2-6, 2021, Zagreb, Croatia.
  • CSF 2021, 34th Computer Security Foundations Symposium, June 2021, Dubrovnik, Croatia.
  • E-VoteID 2020, Schloss Hofen, Bregenz, Austria, 6-9 October 2020. Track on Security, Usability, and Technical Issues.
  • CCS 2020, 25th ACM Conference on Computer and Communication Security, Orlando, USA, 2020.
  • S&P 2020, 41st IEEE Symposium on Security and Privacy, San Francisco, US, 18-20 May, 2020.
  • Concur 2020, 31st International Conference on Concurrency Theory, Vienna, Austria, August 31-September 5, 2020.
  • Voting 2020, Advances in Secure Electronic Voting Schemes 2020, in association with Financial Crypto 2020, Kota Kinabalu, Sabah, Malaysia, 14 February, 2020.
  • CSF 2019, 32nd Computer Security Foundations Symposium, 25-28 June 2019, Hoboken NJ, USA.
  • S&P 2019, 40th IEEE Symposium on Security and Privacy, San Francisco, US, 20-22 May, 2019.
  • E-VoteID 2019, Schloss Hofen, Bregenz, Austria, 1-4 October 2019. Co-chair of the Track on Security, Usability, and Technical Issues.
  • POST 2019, 8th Conference on Principles of Security and Trust, part of ETAPS 2019, 2019.
  • CCS 2018, 25th ACM Conference on Computer and Communication Security, 2018.
  • E-VoteID 2018, Schloss Hofen, Bregenz, Austria, 2-5 October 2018. Co-chair of the Track on Security, Usability, and Technical Issues.
  • POST 2018, 7th Conference on Principles of Security and Trust, part of ETAPS 2018. 14-21 April 2018, Thessaloniki, Greece.
  • E-VoteID 2017, Schloss Hofen, Bregenz, Austria, 24-27 October 2017.
  • CCS 2017, 24th ACM Conference on Computer and Communication Security, Dallas, USA, 2017.
  • LICS 2017, 42th Annual IEEE Symposium on Logic in Computer Science, 20-23 June 2017, Reykjavik, Iceland.
  • SAC 2017 (Computer Security Track), 32nd ACM Symposium on Applied Computing (SEC@SAC17), 27-31 March 2017, Marrakech, Morocco.
  • HotSpot 2017, 5th Workshop on Hot Issues in Security Principles and Trust. Affiliated with ETAPS 2017, April, 2017, Uppsala, Sweden.
  • CCS 2016, 23rd ACM Conference on Computer and Communication Security, Vienna, Austria, 2016.
  • E-VoteID 2016, Schloss Hofen, Bregenz, Austria, 18-21 October 2016.
  • Concur 2016, 27th Conference on Concurrency Theory. 24-27 August, Quebec city, 2016.
  • MFCS 2016, 41st International Symposium on Mathematical Foundations of Computer Science, August 22-26 2016, Krakow, Poland.
  • EuroS&P 2016, 1st IEEE European Symposium on Security and Privacy. Saarbruecken, Germany, March 21-24, 2016.
  • SAC 2016 (Computer Security Track), 31st ACM Symposium on Applied Computing (SEC@SAC16), April 4-8 2016, Pisa, Italy.
  • HotSpot 2016, 4th Workshop on Hot Issues in Security Principles and Trust. Affiliated with ETAPS 2016, April, 2016, Eindhoven, The Netherlands. (chair)
  • Advances in Secure Electronic Voting Schemes. Affiliated with FC 2016, February, 2016, Barbados.
  • Concur 2015, 26th Conference on Concurrency Theory. 1-4 September 2015, Madrid, Spain.
  • LICS 2015, 40th Annual IEEE Symposium on Logic in Computer Science, Kyoto, Japan, 6-10 July, 2015. Colocated with ICALP 2015.
  • POST 2015, 4th Conference on Principles of Security and Trust, part of ETAPS 2015. 11-19 April 2015, London, UK.
  • CCS 2014, 21st ACM Conference on Computer and Communication Security, 2014, Scottsdale, Arizona, USA.
  • FoSSaCS 2014, 17th International Conference on Foundations of Software Science and Computation Structures, part of ETAPS 2014. 5 – 13 April 2014, Grenoble, France.
  • Icalp 2014, Track B, 41st International Colloquium on Automata, Languages and Programming.
  • ESORICS 2014, 19th European Symposium on Research in Computer Security, Wroclaw, Poland.
  • ACNS 2014, 12th International Conference on Applied Cryptography and Network Security.
  • MOVEP 2014, 11th School on MOdelling and VErifying parallel Processes, July 7-11 2014, Nantes, France.
  • FCS-FCC 2014, Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography, affiliated to CSF 2014, Vienna, Austria
  • FMS 2014, 5th Workshop on Formal Methods for Security, affiliated to PetriNets 2014, June 23rd, Tunis, Tunisia. (co-chair)
  • CCS 2013, 20th ACM Conference on Computer and Communication Security, Berlin, Germany. November 4-8, 2013.
  • CSF 2013, 26th Computer Security Foundations Symposium, New Orleans, USA. Colocated with LICS and MFPS. (co-chair)
  • LICS 2013, 38th Annual IEEE Symposium on Logic in Computer Science, New Orleans, USA. Colocated with CSF and MFPS.
  • POST 2013, Second Conference on Principles of Security and Trust, part of ETAPS 2013, Rome, Italy.
  • CSF 2012, 25th Computer Security Foundations Symposium, Chicago, USA. (co-chair)
  • CCS 2012, 19th ACM Conference on Computer and Communication Security, Raleigh, NC, USA, October 16 – 18, 2012.
  • ESORICS 2012, 17th European Symposium on Research in Computer Security, Pisa, Italy.
  • POST 2012, First Conference on Principles of Security and Trust, part of ETAPS 2012, Tallinn, Estonia.
  • FCC 2012, 8th Workshop on Formal and Computational Cryptography, Boston, USA June 2012
  • SCSS 2012, International Symposium on Symbolic Computation in Software Science, Gammarth, Tunisie, December 15-17, 2012.
  • LPAR 2012, 18th International Conference on Logic for Programming Artificial Intelligence and Reasoning, Mérida, Venezuela.
  • MOVEP 2012, 10th School on MOdelling and VErifying parallel Processes, Marseilles, France, from December 3rd to 7th, 2012.
  • ESORICS 2011, 16th European Symposium on Research in Computer Security, September 12-14, 2011, Leuven, Belgium.
  • FCC 2011, 7th Workshop on Formal and Computational Cryptography, Paris, June 30, 2011
  • FCS 2011, Workshop on Foundations of Computer Security, June 2011, Toronto, Ontario, Canada.
  • MFPS 2011, 27th Conference on the Mathematical Foundations of Programming Semantics, 24-28 May 2011, Carnegie Mellon University, Pittsburgh, USA.
  • FC 2011, 15th International Conference on Financial Cryptography and Data Security, February 28–March 4, 2011 Bay Gardens Beach Resort St. Lucia.
  • RTA 2011, 22nd International Conference on Rewriting Techniques and Applications, May 30 – June 1, 2011, Novi Sad, Serbia. RTA 2011 will part of RDP 2011 (Federated Conference on Rewriting, Deduction, and Programming).
  • FSTTCS 2010, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, December 15-18, 2009, Chenai, India
  • CCS 2010, 17th ACM Conference on Computer and Communication Security, Chicago, Illinois, USA,  October 4 – 8, 2010.
  • ESORICS 2010, 15th European Symposium on Research in Computer Security, Athens, Greece, 20-22 September 2010.
  • LICS 2010, 35th Annual IEEE Symposium on Logic in Computer Science, Edinburgh, Scotland, July 9-21th, 2010.
  • MOVEP 2010, 9th School on MOdelling and VErifying parallel Processes, Aachen, Germany, from June 28 to July 2, 2010.
  • PLAS 2010, 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, Toronto, Canada, June 10, 2010. Affiliated to PLDI 2010.
  • SECCO 2010, Security in Concurrency, (co-chair)
  • FCS-PrivMod 2010, Workshop on Foundations of Security and Privacy (co-chair), Edinburgh, UK, July 14-15th, 2010, affiliated to FLOC 2010.
  • IFIP TCS 2010, track B. 6th IFIP International Conference on Theoretical Computer Science, Brisbane, September 20-23, 2010. Part of the IFIP World Computer Congress.
  • ESORICS’09, 14th European Symposium on Research in Computer Security, Saint Malo, France, September 21-25, 2009.
  • ASIAN’09, 13th Annual Asian Computing Science Conference, Urumqi, China, October 8-10, 2009.
  • FCS 2009, Workshop on Foundations of Computer Security, (co-chair) August 9-10th, 2009, Los Angeles, California, USA. The workshop is affiliated with LICS 2009.
  • CSF 2009, 22nd IEEE Computer Security Foundations Symposium, July 8-10, 2009, Port Jefferson, New York, USA.
  • SARSSI’09, Conférence sur la sécurité des architectures réseaux et des systèmes d’information, Luchon, France, June 23-26th, 2009.
  • TACAS 2009, 15th International Conference on Tools and Algorithms for the Construction
    and Analysis of Systems, York, UK, March 22-29, 2009. Affiliated with ETAPS 2009.
  • ARSPA-WITS’09, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, York, UK,
    March 2009. Affiliated with ETAPS 2009.
  • CSF 2008, 21st IEEE Computer Security Foundations Symposium, Carnegie Mellon University, Pittsburgh, USA, June 23-25, 2008.
  • SecCo’08,6th International Workshop on Security Issues in Concurrency, August 23, 2008, Toronto, Canada. Affiliated to Concur 2008.
  • FCS-ARSPA-WITS’08, Joint Workshop on Foundations of Computer Security, Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, Carnegie Mellon University, Pittsburgh, USA, June 21-22, 2008. Affilliated to LICS 2008 and CSF 2008.
  • 3rd Franco-Japanese Computer Security Workshop, Nancy, France, March 13-14, 2008.
  • FMSE 2007, 5th ACM Workshop on Formal Methods in Security Engineering. The workshop is affiliated with CCS 2007, Alexandria, VA on October/November 2007.
  • SecCo 2007, 5th International Workshop on Security Issues in Concurrency. September 3rd, 2007, Lisboa, Portugal. Affiliated to CONCUR 2007.
  • ICALP 2007, Track C, 34th International Colloquium on Automata, Languages and Programming, July 9-13, Wroclaw, Poland.
  • FCS-ARSPA’07, Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis, July 8-9, Wroclaw, Poland.
  • FCC 2007, Workshop on Formal and Computational Cryptography, right before CSF 2007, July, 4-5th 2007, Venice, Italy.
  • SecReT 2007, Security and Rewriting Techniques, June 19th, Paris, France.
  • AVoCS 2006, 6th International Workshop on Automated Verification of Critical Systems, September 18 and 19, 2006, Nancy, France.
  • FCC 2006, Workshop on Formal and Computational Cryptography (co-chair), co-located with ICALP 2006, July, 9th 2006, Venice, Italy.
  • CSFW 2006, 19th IEEE Computer Security Foundations Workshop, July 5-8, 2006, Venice, Italy .
  • SECRYPT 2006, International Conférence on Security and Cryptography, August 7-10, Setubal, Portugal.
  • EPSI 2006, Spring school of Computer Science 2006, June 17, 18 and 19, 2006, Alger, Algeria.
  • Workshop on the Link between Formal and Computational Models, June 24-24, 2005, Paris, France.
  • MFCS 2005, Mathematical Foundations of Computer Science, August 29 – September 2nd, 2005, Gdansk, Pologne.
  • FMSE 2005, 3rd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code. The workshop is affiliated with CCS 2005, Alexandria, VA on November 11th, 2005.
  • FAST 2004, Workshop affiliated to the 18th conference WCC 2004, Toulouse, France, August 26-27, 2004.
  • Foundation Computer Security (FCS 2002) Copenhagen, Denmark, July
    25-26, 2002.