Academic Experience

Ph.D in computer science from ETH Zurich. Title of thesis: An Interactive Proof Environment for Object-oriented Specifications.
Master in Computer Science from Albert-Ludwigs University Freiburg. Title of thesis: Verifikation von Dividieren mit Word-Level-Decision-Diagrams (Verification of Division Circuits using Word-level Decision-diagrams).

Projects

I am, or was, involved in several larger reasearch projects. Among them

On-going:
- Aniketos (Ensuring Trustworthiness and Security in Service Composition)
- Model-based Testing of Security Policies
- The Business Web (Development of a novel Internet Business Platform)
- Polytos (Printed Organic Circuits and Chips)
- SQUAM (Systematic Quality Assessment of Models)
Completed:
- SoKNOS (Service-oriented Architectures Supporting Networks of Public Security)
- Model-driven Security with SecureUML
- Formal Testing Techniques
- Modelling and Verification in HOL-Z

I am co-chairing the Sixth International Conference on Tests & Proofs (TAP 2012).

2012: Third International Workshop on Security Testing (SECTEST 2012)
The Sixth International Conference on Tests & Proofs (TAP 2012)
2011: The 23th IFIP International Conference on Testing Software and Systems (ICTSS 2011)
1st INternational Workshop on TRUstworthy Service‐Oriented Computing (INTRUSO 2011)
The Fith International Conference on Tests & Proofs (TAP 2011)
BPM Workshop on Workflow Security Audit and Certification (WfSAC 2011)
The Second International Workshop on Security Testing (SECTEST 2011)
Theory of Security and Applications (TOSCA 2011), former Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS 2011)
International Workshop on OCL and Textual Modelling (OCL 2011)
Posters and Demos Committee of the IEEE International Requirements Engineering Conference (RE 2011)
2010: Tenth OCL Workshop. OCL and Textual Modelling (OCL 2010)
2009: Second Workshop on Relationships and Associations in Object-oriented Languages (RAOOL 2009)
Ninth OCL Workshop. The Pragmatics of OCL and other textual specification languages.(OCL 2009)
2008: Eighth OCL Workshop. OCL Tools: From Implementation to Evaluation and Comparison. (OCL 2008)
First International Workshop on Security Testing (SECTEST 2008)
Fifth International Workshop on Model Driven Engineering, Verification, and Validation (MoDeVVA 2008)

I am regularly asked to review articels for internatinal journals such as

as well as international conferences and workshops such as

ACM Conference on Computer and Communications Security (CCS)
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELs)
Applied Computer Security Associates (ACSAC)
Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA)
European Symposium on Research in Computer Security (ESORICS)
Formal Methods (FM)
Foundations of Computer Security (FCS)
IEEE Symposium on Security & Privacy (SP)
International Conference on Automated Deduction (CADE)
International Conference on Formal Engineering Methods (ICFEM)
International Conference on Internet Monitoring and Protection (ICIMP)
International Conference on New Technologies, Mobility and Security (NTMS)
International Conference on Software Testing, Verification and Validation (ICST)
International Conference on Quality Software (QSIC)
International Joint Conference on Automated Reasoning (IJCAR)
International Symposium on Engineering Secure Software and Systems (ESSoS)
International Workshop on Security and Trust Management (STM)
Software Engineering and Formal Methods (SEFM)