A Formal Definition and a New Security Mechanism of Physical Unclonable Functions.
Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012
Automating Interactive Protocol Verification.
Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008
Anonyme Online-Wahlen - Lösungsansätze für die Realisierung von Online-Wahlen.
Datenschutz und Datensicherheit, 2001
Formal Methods Diffusion: Past Lessons and Future Prospects.
Proceedings of the Computer Safety, 2000
The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process.
Proceedings of the Applied Formal Methods, 1998
Application of Formal Methods in the Scope of IT-Security.
Proceedings of the 15th International Conference on Computer Safety, 1996
Object-Oriented Dialogue Modeling for Environmental Software Systems.
Proceedings of the Visualisierung von Umweltdaten, 1991