Volkmar Lotz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
9
Active years
1996–2020
Best venue rank
A
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | GI | SES-14: Sichere und zuverlssliche Systeme: Datensouvernitt. | Jrn Mller-Quade, Roger Gutbrod, Volkmar Lotz, Fabian Biegel, Benny Fuhry, Jeremias Mechler |
| 2013 | SACMAT | Panel on granularity in access control. | Ian M. Molloy, Mahesh V. Tripunitara, Volkmar Lotz, Martin Kuhlmann, Casey Schaufler, Vijay Atluri |
| 2012 | CloudCom | Accountability for cloud and other future Internet services. | Siani Pearson, Vasilios Tountopoulos, Daniele Catteddu, Mario Sdholt, Refik Molva, Christoph Reich, Simone Fischer-Hbner, Christopher Millard, Volkmar Lotz, Martin Gilje Jaatun, Ronald Leenes, Chunming Rong, Javier Lpez |
| 2009 | COMPSAC | Towards Validating Security Protocol Deployment in the Wild. | Luca Compagna, Ulrich Flegel, Volkmar Lotz |
| 2007 | BTW | Efficient Access Control for Composite Applications. | Martin Wimmer, Martina-Cezara Albutiu, Alfons Kemper, Maarten Rits, Volkmar Lotz |
| 2006 | DBSEC | Consolidating the Access Control of Composite Applications and Workflows. | Martin Wimmer, Alfons Kemper, Maarten Rits, Volkmar Lotz |
| 2006 | SACMAT | A model-checking approach to analysing organisational controls in a loan origination process. | Andreas Schaad, Volkmar Lotz, Karsten Sohr |
| 2003 | ESORICS | A Formal Security Model of the Infineon SLE 88 Smart Card Memory Managment. | David von Oheimb, Georg Walter, Volkmar Lotz |
| 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 |
| 1999 | FM | A Formal Security Model for Microprocessor Hardware. | Volkmar Lotz, Volker Kessler, Georg Walter |
| 1996 | ESORICS | Threat Scenarios as a Means to Formally Develop Secure Systems. | Volkmar Lotz |