Committees


Editorships
  1. Journal of Computer Security (JCS), co-editor-in-chief since 2022.
  2. ACM Transactions on Privacy and Security (TOPS), editorial board since 2020.
  3. Information Processing Letters (IPL), editorial board (2019-2021).
  4. ACM Transactions on Computational Logic (TOCL), editorial board since 2018.

Steering committees
  1. IFIP Wg-1.7 Foundations of Security Analysis, member (2016-2023).
  2. Computer Security Foundations Symposium (CSF), member (2017-2023).
  3. Programming Languages and Analysis for Security (PLAS), member (2018-2022).
  4. Principles of Security and Trust (POST), member (2018-2020).

PC committees
  1. CCS 2024, 31st ACM Conference on Computer and Communications Security, Salt Lake City, USA, October 14-18, 2024.
  2. CSF 2024, 37th IEEE Computer Security Foundations Symposium, Enschede, The Netherlands, July 8-12, 2024.
  3. MFCS 2023, 48th International Symposium on Mathematical Foundations of Computer Science, Bordeaux, France, August 28 - September 1, 2023.
  4. CCS 2022 (Track chair), 29th ACM Conference on Computer and Communications Security, Los Angeles, USA, November 7-11, 2022.
  5. CSF 2022, 35th IEEE Computer Security Foundations Symposium, Haifa, Israel, August 7-10, 2022.
  6. CCS 2021, 28th ACM Conference on Computer and Communications Security, Seoul, South Korea, November 14-19, 2021.
  7. LICS 2021, 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Rome, Italy, 29 June -2 July 2021.
  8. ACNS 2021, 19th International Conference on Applied Cryptography and Network Security, Kamakura, Japan, 21-24 June 2021.
  9. ESORICS 2020, 25th European Symposium on Research in Computer Security, Surrey, UK,14-18 September 2019.
  10. DATE 2020, 23rd Conference on Design, Automation and Test in Europe, Grenoble, 9-13 March 2020.
  11. ESORICS 2019, 24th European Symposium on Research in Computer Security, Luxembourg, 23-27 September 2019.
  12. CSF 2019 (PC co-chair), 32nd IEEE Computer Security Foundations Symposium, Hoboken, USA, 25-28 June 2019.
  13. SEC@SAC 2019, 18th edition of the Computer Security track at the 34th ACM Symposium on Applied Computing, 8-12 April 2019, Limassol, Cyprus.
  14. PLAS 2018 (PC co-chair), 13th Workshop on Programming Languages and Analysis for Security, Toronto, Canada, 19 October 2018.
  15. E-VoteID 2018, 3rd International Joint Conference on Electronic Voting, Schloss Hofen, Bregenz, Austria, 2-5 October 2018.
  16. MFCS 2018, 43rd International Symposium on Mathematical Foundations of Computer Science, Liverpool, UK, 27-31 August 2018.
  17. CSF 2018 (PC co-chair), 31st IEEE Computer Security Foundations Symposium, Oxford, UK, 9-12 July 2018.
  18. POST 2018, 7th Conference on Principles of Security and Trust, Thessaloniki, Greece, 14-21 April 2018.
  19. FST&TCS 2017, 37th Conference on Foundations of Software Technology and Theoretical Computer Science, Kanpur, India, December 15-20, 2017.
  20. CSF 2017, 30th IEEE Computer Security Foundations Symposium, Santa Barbara, CA, USA, 22-25 August 2017.
  21. CADE 2017, 26th International Conference on Automated Deduction, Gothenburg, Sweden, 6-11 August 2017.
  22. CSR 2017, 12th International Computer Science Symposium in Russia, Kazan, Russia, 8-12 June 2017.
  23. POST 2017, 6th Conference on Principles of Security and Trust, Uppsala, Sweden, 23-29 April 2017.
  24. IJCAR 2016, 8th International Joint Conference on Automated Reasoning, Portugal, June 27-30, 2016.
  25. FST&TCS 2015, 35th Conference on Foundations of Software Technology and Theoretical Computer Science, Bangalore, India, December 16-18, 2015.
  26. RTA 2015, 25th International Conference on Rewriting Techniques and Applications, Warsaw, Poland, 29 June - 1st July 2015.
  27. FORTE 2015, Grenoble, France, June 2-5 2015.
  28. CADE 2015, 25th jubilee edition of the International Conference on Automated Deduction, Berlin, Germany, 1-7 August 2015.
  29. SOFSEM 2015, 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Snezkou, Czech Republic, 24-29 January 2015.
  30. POST 2014, 3rd Conference on Principles of Security and Trust, Grenoble, France, 5-13 April 2014.
  31. IJCAR 2014, 7th International Joint Conference on Automated Reasoning, Vienna, Austria, 9-24 July 2014.
  32. TGC 2014, 9th International Symposium on Trustworthy Global Computing, Roma, Italy, 5-6 September 2014.
  33. FMS 2014, 5th Workshop on Formal Methods for Security, Tunis, Tunisia, 23 June 2014.
  34. CONCUR 2014, 25th International Conference on Concurrency Theory, Roma, Italy, 2-5 September 2014.
  35. CADE 2013, 24th International Conference on Automated Deduction, Lake Placid, New York, USA, 9-14 June 2013.
  36. CSF 2013, 26th IEEE Computer Security Foundations Symposium, Tulane University, New Orleans LA, USA, 26-28 June 2013.
  37. RTA 2013, 24th International Conference on Rewriting Techniques and Applications, Eindhoven, The Netherlands, 23-28 June 2013.
  38. WoLLIC 2013, 20th Workshop on Logic, Language, Information and Computation, Darmstadt, Germany, 20-23 August 2013.
  39. ISPEC 2012, 8th International Conference on Information Security Practice and Experience, Hangzhou, China, April 9-12, 2012.
  40. WooPS 2012, 1st Workshop on Petri Net Security, Hamburg, Germany, June 26, 2012.
  41. SecCo 2011, 9th International Workshop on Security Issues in Concurrency, Aachen, Germany, September 5th, 2011.
  42. FST&TCS 2011, 31st Conference on Foundations of Software Technology and Theoretical Computer Science, Bombay, India, December 12-14, 2011.
  43. CCS 2011,18th ACM Conference on Computer and Communications Security, Chicago, USA, October 17-21, 2011.
  44. CSF 2011, 24th IEEE Computer Security Foundations Symposium, Domaine de l'Abbaye des Vaux de Cernay, France, June 27-29, 2011.
  45. CADE 2011, 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31st - August 5th, 2011.
  46. FCS-PrivMod 2010, Workshop on Foundations of Security and Privacy, Edinburgh, United Kingdom, July 14-15, 2010.
  47. SecCo 2009, 7th International Workshop on Security Issues in Concurrency, Bologna, Italy, September 5th, 2009.
  48. FCS 2009, Workshop on Foundations of Computer Security, Los Angeles, USA, August 10th, 2009.
  49. SecReT 2009, Workshop on Security and Rewriting Techniques, New York, USA, July 10-11, 2009.
  50. FMSE 2008, 6th ACM Workshop on Formal Methods in Security Engineering, Virginia, USA, October 27th, 2008.
  51. WOTE 2008, IAVoSS Workshop On Trustworthy Elections, Leuven, Belgium, July 22-23, 2008.
  52. WOTE 2007, IAVoSS Workshop On Trustworthy Elections, Ottawa, Canada, June 20-21, 2007.