Andreas Bogk

Publication Activity (10 Years)

Years Active: 2003-2014
Publications (10 Years): 0

Top Topics

Design Patterns

Natural Language Processing

Top Venues

IEEE Symposium on Security and Privacy Workshops

Publications

Andreas Bogk, Marco Schopl
The Pitfalls of Protocol Design: Attempting to Write a Formally Verified PDF Parser. IEEE Symposium on Security and Privacy Workshops (2014)
Hannes Mehnert, Andreas Bogk
A domain-specific language for manipulation of binary data in Dylan. ILC (2007)
Rüdiger Weis, Stefan Lucks, Andreas Bogk
Sicherheit von 1024 bit RSA-Schlüsseln gefährdet. Datenschutz und Datensicherheit 27 (6) (2003)