Events

PC Memberships

I served (or will serve) in the program committees of the following events:

  • 2018
    • IEEE European Symposium on Security and Privacy: EuroS&P 2018
  • 2017
    • Security and Privacy in Digital Advertising: SPA 2017
    • Interaction and Concurrency Experience: ICE 2017
    • IEEE Computer Security Foundations Symposium: CSF 2017
    • IEEE Computer Society Signature Conference on Computers, Software and Applications: COMPSAC 2017
    • International Conference on Principles of Security and Trust: POST 2017
    • Italian Conference on Cyber-Security: ITA-SEC 2017
  • 2016
    • Security and Trust Management: STM 2016
    • Interaction and Concurrency Experience: ICE 2016
    • IEEE Computer Society Signature Conference on Computers, Software and Applications: COMPSAC 2016
    • International Conference on Advances in Cyber-Technologies and Cyber-Systems: CYBER 2016
  • 2015
    • IEEE Computer Society Signature Conference on Computers, Software and Applications: COMPSAC 2015
    • OWASP AppSec European Security Conference: OWASP AppSecEU 2015
    • International Symposium on Engineering Secure Software and Systems: ESSoS 2015

Awards

Our paper Logical foundations of secure resource management in protocol implementations was awarded the EA-TCS Best paper award at ETAPS 2013.