Frank Koob

Publication Activity (10 Years)

Years Active: 1991-2012
Publications (10 Years): 0

Top Topics

Security Systems

Unsupervised Learning

Intrusion Detection

Top Venues

Publications

Rainer Plaga, Frank Koob
A Formal Definition and a New Security Mechanism of Physical Unclonable Functions. MMB/DFT (2012)
Rainer Plaga, Frank Koob
A formal definition and a new security mechanism of physical unclonable functions CoRR (2012)
Lassaad Cheikhrouhou, Andreas Nonnengart, Werner Stephan, Frank Koob, Georg Rock
Automating Interactive Protocol Verification. KI (2008)
Markus Ullmann, Frank Koob, Harald Kelter
Anonyme Online-Wahlen - Lösungsansätze für die Realisierung von Online-Wahlen. Datenschutz und Datensicherheit 25 (11) (2001)
Robin E. Bloomfield, Dan Craigen, Frank Koob, Markus Ullmann, Stefan Wittmann
Formal Methods Diffusion: Past Lessons and Future Prospects. SAFECOMP (2000)
Frank Koob, Markus Ullmann, Stefan Wittmann
The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process. FM-Trends (1998)
Frank Koob, Markus Ullmann, Stefan Wittmann
Application of Formal Methods in the Scope of IT-Security. SAFECOMP (1996)
Ralf Denzer, Frank Koob, Gomal Kira
Object-Oriented Dialogue Modeling for Environmental Software Systems. Visualisierung von Umweltdaten (1991)