Research of Personal Interest
I am generally interested in the use of formal methods in computer science in particular for building safe and secure systems. This includes the development of methods and tools for designing, specifying, validating and verifying hardware and software systems.
My research interests comprise the three areas System Engineering, Safety and Security, and Formal Methods. Here, my interests range from basic research to applied research and, consequently, I am particularly keen in applying basic research results in industrial environments.
Ongoing work includes, among others, research in the following areas:
-
Specification-based testing for functional and non-functional (e.g., security testing) properties
-
Formal semantics and theorem provers for object-oriented systems
-
Dynamic application security testing (DAST) as well as static application security testing (SAST) and the combination thereof.
-
Modeling, analyzing, and executing security critical or safety critical business processes.
-
Flexible access control models that can handle exceptional situations as well as allow to model complex security and compliance requirements.
Recent Activities:
-
Development of an BPMN extension, called SecureBPMN, that allows for modelling, analyzing, and executing business process securely.
-
Develpoment of static and dynamic code analysis techniques for ensuring the secuirty of modern applications based on JavaScript and HTML5 .
-
Developing Isabelle/HOL-OCL, an proof environment for UML/OCL specifications. More information can be found on the HOL-OCL site.
-
Developing HOL-TestGen, a test case generator. More information can be found on the HOL-TestGen site.
-
Developing Isabelle/OFMC, a protocol verification tool based on Isabelle/HOL and OFMC. More information can be found on the Isabelle/OFMC site.
-
As a service to the theorem proving community, I'm offering IsaMorph which is a ready-to-run Linux CD featuring the interactive theorem prover Isabelle. More information can be found on the IsaMorph site.