| 2012 | GI | Elektronische Signaturen in der Telematikinfrastruktur. | Andreas Hallof, Manuel Koch, Sven Marx, Arno Elmer |
| 2006 | FASE | Engineering Self-protection for Autonomous Systems. | Manuel Koch, Karl Pauls |
| 2004 | SACMAT | Administrative scope in the graph-based framework. | Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce |
| 2003 | CCS | Formal access control analysis in the software development process. | Manuel Koch, Francesco Parisi-Presicce |
| 2003 | FASE | Visual Specifications of Policies and Their Verification. | Manuel Koch, Francesco Parisi-Presicce |
| 2003 | ICWS | Specification and Enforcement of Access Control in Heterogeneous Distributed Applications. | Torsten Fink, Manuel Koch, Cristian Oancea |
| 2002 | ESORICS | Decidability of Safety in Graph-Based Models for Access Control. | Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce |
| 2002 | FOSSACS | Conflict Detection and Resolution in Access Control Policy Specifications. | Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce |
| 2001 | FOSSACS | Foundations for a Graph-Based Approach to the Specification of Access Control Policies. | Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce |
| 2001 | SACMAT | On the specification and evolution of access control policies. | Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce |
| 2000 | ESORICS | A Formal Model for Role-Based Access Control Using Graph Transformation. | Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce |