David von Oheimb's Research Papers

Security Architecture and Certification

Formal Security Analysis

Formal Modeling and Analysis with Interacting State Machines

Semantics of Java-like Programming Languages


Logics and Theorem Provers

BTW, my Erdös number is at most 4 (and most likely not less than this):
David von Oheimb -> Tobias Nipkow -> Gerhard Weikum -> Patrick Eugene O'Neil -> Paul Erdös

URL: http://ddvo.net/papers/index.html, Last modified: Fri Jul 31 20:02:21 CEST 2015