| 2012 | SACMAT | Optimal workflow-aware authorizations. | David A. Basin, Samuel J. Burri, Gnter Karjoth |
| 2011 | BPM | Flexible Scoping of Authorization Constraints on Business Processes with Loops and Parallelism. | Samuel J. Burri, Gnter Karjoth |
| 2011 | CCS | Separation of duties as a service. | David A. Basin, Samuel J. Burri, Gnter Karjoth |
| 2009 | ESORICS | Dynamic Enforcement of Abstract Separation of Duty Constraints. | David A. Basin, Samuel J. Burri, Gnter Karjoth |
| 2008 | ACSAC | Implementing ACL-Based Policies in XACML. | Gnter Karjoth, Andreas Schade, Els Van Herreweghen |
| 2004 | SAC | Efficient comparison of enterprise privacy policies. | Michael Backes, Gnter Karjoth, Walid Bagga, Matthias Schunter |
| 2001 | ACSAC | The Authorization Service of Tivoli Policy Director. | Gnter Karjoth |
| 2001 | SP | Cryptographic Security for Mobile Code. | Joy Algesheimer, Christian Cachin, Jan Camenisch, Gnter Karjoth |
| 2000 | CARDIS | Efficient Downloading and Updating Applications on Portable Devices Using Authentication Trees. | Luke O'Connor, Gnter Karjoth |
| 1998 | ESORICS | Authorization in CORBA Security. | Gnter Karjoth |
| 1992 | CONCUR | Implementing LOTOS Specifications by Communicating State Machines. | Gnter Karjoth |
| 1992 | FORTE | Generating transition graphs from LOTOS specifications. | Gnter Karjoth |
| 1990 | FORTE | A Compilation of Algebraic Processes Based on Extended-Action Derivation. | Gnter Karjoth |
| 1988 | FORTE | A LISP-Based LOTOS Environment. | Gnter Karjoth |
| 1986 | ICCC | On the Formal Specification of Protocols in Distributed Databases. | Gnter Karjoth |