| 2024 | WISTP | MQfilTTr: Strengthening Smart Home Privacy Through MQTT Traffic Manipulation. | Henrich C. Phls, Sven Gebauer, Fabian Scharnbck, Korbinian Spielvogel, Joachim Posegga |
| 2023 | IMC | Poster: SmartX BGP BVT: A First Real-Time BGP Blackholing Visibility Tool. | Talaya Farasat, Muhammad Ahmad Rathore, Zeeshan Asim, Akmal Khan, Jongwon Kim, Joachim Posegga |
| 2023 | TrustCom | Machine Learning-based BGP Traffic Prediction. | Talaya Farasat, Muhammad Ahmad Rathore, Akmal Khan, Jongwon Kim, Joachim Posegga |
| 2018 | ACSAC | RAPID: Resource and API-Based Detection Against In-Browser Miners. | Juan D. Parra Rodriguez, Joachim Posegga |
| 2018 | SEC | When Your Browser Becomes the Paper Boy - An Anonymous Browser Network. | Juan D. Parra Rodriguez, Eduard Brehm, Joachim Posegga |
| 2018 | SecureComm | Local Storage on Steroids: Abusing Web Browsers for Hidden Content Storage and Distribution. | Juan D. Parra Rodriguez, Joachim Posegga |
| 2015 | SAC | LogSec: adaptive protection for the wild wild web. | Bastian Braun, Korbinian Pauli, Joachim Posegga, Martin Johns |
| 2015 | SecureComm | Why Web Servers Should Fear Their Clients - Abusing Websockets in Browsers for DoS. | Juan D. Parra Rodriguez, Joachim Posegga |
| 2014 | SEC | Ghostrail: Ad Hoc Control-Flow Integrity for Web Applications. | Bastian Braun, Caspar Gries, Benedikt Petschkuhn, Joachim Posegga |
| 2014 | SEC | A Trusted UI for the Mobile Web. | Bastian Braun, Johannes Kstler, Joachim Posegga, Martin Johns |
| 2013 | WISTP | Malleable Signatures for Resource Constrained Platforms. | Henrich Christopher Phls, Stefan Peters, Kai Samelin, Joachim Posegga, Hermann de Meer |
| 2013 | WISTP | URANOS: User-Guided Rewriting for Plugin-Enabled ANdroid ApplicatiOn Security. | Daniel Schreckling, Stephan Huber, Focke Hhne, Joachim Posegga |
| 2012 | ACNS | On Structural Signatures for Tree Data Structures. | Kai Samelin, Henrich Christopher Phls, Arne Bilzhause, Joachim Posegga, Hermann de Meer |
| 2012 | ISPEC | Redactable Signatures for Independent Removal of Structure and Content. | Kai Samelin, Henrich Christopher Phls, Arne Bilzhause, Joachim Posegga, Hermann de Meer |
| 2012 | SAC | Constroid: data-centric access control for android. | Daniel Schreckling, Joachim Posegga, Daniel Hausknecht |
| 2012 | SECRYPT | Flexible Redactable Signature Schemes for Trees - Extended Security Model and Construction. | Henrich Christopher Phls, Kai Samelin, Hermann de Meer, Joachim Posegga |
| 2012 | TrustBus | A User-Level Authentication Scheme to Mitigate Web Session-Based Vulnerabilities. | Bastian Braun, Stefan Kucher, Martin Johns, Joachim Posegga |
| 2012 | TrustBus | WebSand: Server-Driven Outbound Web-Application Sandboxing. | Martin Johns, Joachim Posegga |
| 2012 | WISTP | Kynoid: Real-Time Enforcement of Fine-Grained, User-Defined, and Data-Centric Security Policies for Android. | Daniel Schreckling, Joachim Posegga, Johannes Kstler, Matthias Schaff |
| 2011 | ACNS | Sanitizable Signatures in XML Signature - Performance, Mixing Properties, and Revisiting the Property of Transparency. | Henrich Christopher Phls, Kai Samelin, Joachim Posegga |
| 2011 | GI | Sanitizable signed privacy preferences for social networks. | Henrich Christopher Phls, Arne Bilzhause, Kai Samelin, Joachim Posegga |
| 2011 | SAC | Reliable protection against session fixation attacks. | Martin Johns, Bastian Braun, Michael Schrank, Joachim Posegga |
| 2009 | TrustBus | The OPL Access Control Policy Language. | Christopher Alm, Ruben Wolf, Joachim Posegga |
| 2008 | ACSAC | XSSDS: Server-Side Detection of Cross-Site Scripting Attacks. | Martin Johns, Bjrn Engelmann, Joachim Posegga |
| 2006 | CARDIS | Smartcard Firewalls Revisited. | Henrich Christopher Phls, Joachim Posegga |
| 2002 | CARDIS | Smart Cards in Interaction: Towards Trustworthy Digital Signatures. | Roger Kilian-Kehr, Joachim Posegga |
| 2000 | CARDIS | How to Turn a GSM SIM into a Web Server. | Scott B. Guthery, Roger Kehr, Joachim Posegga |
| 1999 | CAV | Java Bytecode Verification by Model Checking. | David A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt |
| 1998 | CADE | System Description: | Rajeev Gor, Joachim Posegga, Andrew Slater, Harald Vogt |
| 1998 | ESORICS | Byte Code Verification for Java Smart Card Based on Model Checking. | Joachim Posegga, Harald Vogt |
| 1995 | CSL | leanEA: A Lean Evolving Algebra Compiler. | Bernhard Beckert, Joachim Posegga |
| 1994 | CADE | leanT | Bernhard Beckert, Joachim Posegga |
| 1994 | ISMIS | BDDs and Automated Deduction. | Jean Goubault, Joachim Posegga |
| 1993 | ISMIS | Compiling Proof Search in Semantic Tableaux. | Joachim Posegga |
| 1992 | KI | Towards First-order Deduction Based on Shannon Graphs. | Joachim Posegga, Bertram Ludscher |
| 1992 | TABLEAUX | First-Order Shannon Graphs (Extended Abstract). | Joachim Posegga |
| 1991 | EPIA | Consistency Driven Planning. | Martin Decker, Guido Moerkotte, Holger Mller, Joachim Posegga |