service

Programm Committees

• Formal Methods for Blockchains (FMBC 2019)

• Computer Security Foundations (CSF 2018)

• Workshop on Foundations of Computer Security (FCS 2015), affiliated with CSF 2015.

• Hotspot 2014, affiliated with ETAPS 2014.

• ESSoS Doctoral Symposium 2013

• ESSoS Doctoral Symposium 2012

• Workshop on Logics in Security (LIS 2010)

Reviewing

• Journals: ITP, JAR, FOAC, SCP, STTT, JCS, JISA, TDSC, JUCS, JAL, Studia Logica

• Conferences: S&P, CCS, CSF, AsiaCrypt, AsiaCCS, EuroS&P, FCS, ESORICS, LIS, POPL, ICALP, LP, FM, CSL, FoSSaCS, LPAR, ICFEM, SEFM, FSTTCS, FMOODS, HotSpot, FMBC, ESSoS-DS