David von Oheimb
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
9
Active years
1997–2012
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | TACAS | The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. | Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cullar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mdersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michal Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Vigan |
| 2008 | SAFECOMP | Formal Security Analysis of Electronic Software Distribution Systems. | Monika Maidl, David von Oheimb, Peter Hartmann, Richard Robinson |
| 2007 | SAFECOMP | Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety. | Richard Robinson, Mingyan Li, Scott Lintelman, Krishna Sampigethaya, Radha Poovendran, David von Oheimb, Jens-Uwe Buer, Jorge Cullar |
| 2006 | FM | Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche. | David von Oheimb |
| 2006 | ISoLA | Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS). | David von Oheimb |
| 2005 | CAV | The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. | Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cullar, Paul Hankes Drielsma, Pierre-Cyrille Ham, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mdersheim, David von Oheimb, Michal Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Vigan, Laurent Vigneron |
| 2004 | ESORICS | Information Flow Control Revisited: Noninfluence = Noninterference + Nonleakage. | David von Oheimb |
| 2003 | ESORICS | A Formal Security Model of the Infineon SLE 88 Smart Card Memory Managment. | David von Oheimb, Georg Walter, Volkmar Lotz |
| 2003 | FM | Interacting State Machines for Mobility. | Thomas A. Kuhn, David von Oheimb |
| 2003 | ICFEM | Generic Interacting State Machines and Their Instantiation with Dynamic Features. | David von Oheimb, Volkmar Lotz |
| 2002 | ESORICS | Formal Security Analysis with Interacting State Machines. | David von Oheimb, Volkmar Lotz |
| 2002 | FM | Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited. | David von Oheimb, Tobias Nipkow |
| 1998 | POPL | Java | Tobias Nipkow, David von Oheimb |
| 1997 | CADE | RALL: Machine-Supported Proofs for Relation Algebra. | David von Oheimb, Thomas F. Gritzner |