Security and Privacy Group
> Zum Inhalt

Services for the Scientific Community

Steering Committee Chair of POST (2017 - 2019)
ETAPS Steering Committee Member (2016 - 2019)
Steering Committee Member of 
CSF (2017 -)
Publicity Chair of CSF (2008 - )
Associate Editor of the Frontiers in Blockchain journal (2018-)
Member of the IFIP WG 1.7. Working Group on Theoretical Foundations of Security Analysis and Design (2016 -)
Regular Columnist for the ACM SigLog Newsletter, Security and Privacy Column (2015 -)
M
ember of the executive board of the Vienna Center for Logics and Algorithms (VCLA)
Member of the executive board of the Doctoral School on Logical Methods in Computer Science (LogiCS)
M
ember of the Wolfgang Pauli Institute (WPI)
Local coordinator of the Double Degree on IT Security between TU Wien and TU Darmstadt.

Invited Talks

  • FOSAD 2019: 19th International Summer School on Foundations of Security Analysis and Design (Invited Speaker)
  • TPB 2019: Theory and Practice of Blockchain Workshop (Invited Speaker)
  • Lecture Series in Distributed Ledgers and Smart Contracts at TU Darmstadt (Invited Speaker)  
  • HVMW 2019: Helmut Veith Memorial Workshop (Invited Speaker)  
  • HVCS 2019: 6th Workshop on Horn Clauses for Verification and Synthesis (Keynote Speaker)     
  • Verification Seminar at IRIF, UniversitĂ© Paris Diderot (Invited Speaker)
  • SBWS 2019: Swiss Blockchain Winter School (Invited Speaker). Security and Privacy for Payment Channel Network   
  • Dagstuhl 2018: Seminar on Web Security (Invited Speaker). WPSE: Fortifying Web Protocols via Browser-side Security Monitoring   
  • CAV 2018: 30th International Conference on Computer Aided Verification (Tutorial Presenter). Foundations and tools for the static analysis of Ethereum smart contracts  
  • SCIoT 2018: 2nd Summer School on Security & Correctness in the Internet of Things 2018 (Invited Speaker). Foundations and tools for the static analysis of Ethereum smart contracts  
  • IFIP 2018: IFIP Summer School on Privacy and Identity Management  (Invited Speaker). Security and Privacy Foundations of Blockchain Technologies  
  • Sysmics 2018: 2nd Workshop on Substructural Logics (Invited Speaker). Security and Privacy by Typing in Cryptographic Systems   
  • LogiCS/RiSE 2017: Summer School 2017 (Invited Speaker). Formal Methods for Security and Privacy   
  • SCIoT 2017: 1st Spring school on Security & Correctness in the Internet of Things 2017 (Invited Speaker). Formal Security Analysis of Android Apps  
  • POPL 2016: 42st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Tutorial Presenter). Security and Privacy by Typing in Cryptographic Systems    
  • EWSCS 2016: 21st Estonian Winter School in Computer Science. Differential Privacy  
  • GAFOE 2015: German-American Frontiers of Engineering Symposium (invited speaker)
  • The Joint EasyCrypt-F*-CryptoVerif School 2014 (Invited speaker)
  • ASA 5: 5th International Workshop on Analysis of Security APIs and FCC 2011 7th Workshop on Formal and Computational Cryptography (invited speaker) 

Program Committee Chair

POST 2017 6th International Conference on Principles of Security and Trust (co-chair)
UEOP 2016 1st Workshop on Understanding and Enhancing Online Privacy, affiliated with NDSS 2016 (co-chair)
TGC 2014 8th International Symposium on Trustworthy Global Computing (TGC 2014) (PC co-chair)
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)

Program Committee Member

IEEE S&P 2020 40th IEEE Symposium on Security and Privacy (PC member)
Usenix Security '20: 29th Usenix Security Symposium (PC member)
IEEE Euro S&P 2019
39th IEEE Symposium on Security and Privacy (PC member)
IEEE CSF 2019 32nd IEEE Computer Security Foundations Symposium (PC member)
ACM CCS 2019
 26th ACM Conference on Computer and Communications Security (PC member)
ACM CCS 2018 25rd ACM Conference on Computer and Communications Security (PC member)
FMS 2018: Workshop on Formal Methods and Security (PC member)
ACM CCS 2017 24rd ACM Conference on Computer and Communications Security (PC member)
IEEE Euro S&P 2018 3rd IEEE European Symposium on Security and Privacy (PC member)
IEEE S&P 2018 39th IEEE Symposium on Security and Privacy (PC member)
WWW 2018 27th World Wide Web Conference, Security and Privacy Track (PC member)
ACM CCS 2017 24rd ACM Conference on Computer and Communications Security (PC member)
IEEE S&P 2017 38th IEEE Symposium on Security and Privacy (PC member)
CANS 2017 16th International Conference on Cryptology and Network Security (PC member)
ACM CCS 2016 23rd ACM Conference on Computer and Communications Security (PC member)
IEEE CSF 2016 29th IEEE Computer Security Foundations Symposium (PC member)
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 ( 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)
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) 
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)
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)