Andreas Bogk

According to our database, Andreas Bogk authored at least 3 papers between 2003 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

The Pitfalls of Protocol Design: Attempting to Write a Formally Verified PDF Parser.

Andreas Bogk, Marco Schopl

Proceedings of the 35. IEEE Security and Privacy Workshops, 2014

2007

A domain-specific language for manipulation of binary data in Dylan.

Hannes Mehnert, Andreas Bogk

Proceedings of the International Lisp Conference, 2007

2003

Sicherheit von 1024 bit RSA-Schlüsseln gefährdet.

Rüdiger Weis, Stefan Lucks, Andreas Bogk

Datenschutz und Datensicherheit, 2003