Modal logics for AI planning. - Jürgen Dix; Joachim Posegga; Peter H. Schmitt (Expert Planning Systems, 1990)

Consistency Driven Planning. - Martin Decker; Guido Moerkotte; Holger Müller; Joachim Posegga (EPIA, 1991)

Aspects of Consistency Driven Planning. - Guido Moerkotte; Holger Müller; Joachim Posegga (DAISD, 1992)

Towards First-order Deduction Based on Shannon Graphs. - Joachim Posegga; Bertram Ludäscher (GWAI, 1992)

First-Order Shannon Graphs (Extended Abstract). - Joachim Posegga (TABLEAUX, 1992)

Deduktion mit Shannongraphen für Prädikatenlogik erster Stufe. - Joachim Posegga (Infix Verlag, St. Augustin, Germany, 1993)

Compiling Proof Search in Semantic Tableaux. - Joachim Posegga (ISMIS, 1993)

leanTAP: Lean Tableau-Based Theorem Proving (Extended Abstract). - Bernhard Beckert; Joachim Posegga (CADE, 1994)

BDDs and Automated Deduction. - Jean Goubault; Joachim Posegga (ISMIS, 1994)

Logic Programming as a Bases for Lean Deduction: Achieving Maximal Efficiency from Minimal Means. - Bernhard Beckert; Joachim Posegga (WLP, 1994)

LeanEA: A Lean Evolving Algebra Compiler. - Bernhard Beckert; Joachim Posegga (WLP, 1995)

leanTAP: Lean Tableau-based Deduction. - Bernhard Beckert; Joachim Posegga (J. Autom. Reason., 1995)

Automated Deduction with Shannon Graphs. - Joachim Posegga; Peter H. Schmitt (J. Log. Comput., 1995)

Logic Programming as a Basis for Lean Automated Deduction. - Bernhard Beckert; Joachim Posegga (J. Log. Program., 1996)

cardTAP: Automated Deduction on a Smart Card. - Andrew Slater; Rajeev Goré; Joachim Posegga; Harald Vogt (Australian Joint Conference on Artificial Intelligence, 1998)

System Description: card TAP: The First Theorem Prover on a Smart Card. - Rajeev Goré; Joachim Posegga; Andrew Slater; Harald Vogt (CADE, 1998)

Byte Code Verification for Java Smart Card Based on Model Checking. - Joachim Posegga; Harald Vogt (ESORICS, 1998)

Java auf Chipkarten - Das aktuelle Schlagwort. - Matthias Kaiserswerth; Joachim Posegga (Inform. Spektrum, 1998)

Die Sicherheitsaspekte von Java. - Joachim Posegga (Inform. Spektrum, 1998)

Java Bytecode Verification by Model Checking. - David A. Basin; Stefan Friedrich 001; Joachim Posegga; Harald Vogt (CAV, 1999)

PCA: Jini-based Personal Card Assistant. - Roger Kehr; Joachim Posegga; Harald Vogt (CQRE, 1999)

Jini: Infrastruktur für dynamische Dienste in verteilten Systemen - Aktuelles Schlagwort. - Joachim Posegga (Inform. Spektrum, 1999)

How to Turn a GSM SIM into a Web Server. - Scott B. Guthery; Roger Kehr; Joachim Posegga (CARDIS, 2000)

Mobile agents and telcos' nightmares. - Günter Karjoth; Joachim Posegga (Ann. des Télécommunications, 2000)

Wireless Internet Security - Aktuelles Schlagwort. - Joachim Posegga; Simon Vetter (Inform. Spektrum, 2001)

Smart Cards in Interaction: Towards Trustworthy Digital Signatures. - Roger Kilian-Kehr; Joachim Posegga (CARDIS, 2002)

Bytecode Model Checking: An Experimental Analysis. - David A. Basin; Stefan Friedrich 001; Marek Gawkowski; Joachim Posegga (SPIN, 2002)

Secure mobile business applications - framework, architecture and implementation. - Thomas Walter 001; Laurent Bussard; Yves Roudier; Jochen Haller; Roger Kilian-Kehr; Joachim Posegga; Philip Robinson (Inf. Secur. Tech. Rep., 2004)

Smartcard Firewalls Revisited. - Henrich Christopher Pöhls; Joachim Posegga (CARDIS, 2006)

Advances in smart cards. - Josep Domingo-Ferrer; Joachim Posegga; Francesc Sebé; Vicenç Torra (Comput. Networks, 2007)

XSSDS: Server-Side Detection of Cross-Site Scripting Attacks. - Martin Johns; Björn Engelmann 001; Joachim Posegga (ACSAC, 2008)

The OPL Access Control Policy Language. - Christopher Alm; Ruben Wolf; Joachim Posegga (TrustBus, 2009)

Secure Code Generation for Web Applications. - Martin Johns; Christian Beyerlein; Rosemaria Giesecke; Joachim Posegga (ESSoS, 2010)

Session Fixation - The Forgotten Vulnerability? - Michael Schrank; Bastian Braun; Martin Johns; Joachim Posegga (Sicherheit, 2010)

Sanitizable Signatures in XML Signature - Performance, Mixing Properties, and Revisiting the Property of Transparency. - Henrich Christopher Pöhls; Kai Samelin; Joachim Posegga (ACNS, 2011)

Sanitizable signed privacy preferences for social networks. - Henrich Christopher Pöhls; Arne Bilzhause; Kai Samelin; Joachim Posegga (GI-Jahrestagung, 2011)

Reliable protection against session fixation attacks. - Martin Johns; Bastian Braun; Michael Schrank; Joachim Posegga (SAC, 2011)

Forensic Computing (Dagstuhl Seminar 11401). - Felix C. Freiling; Dirk Heckmann; Radim Polcák; Joachim Posegga (Dagstuhl Reports, 2011)

Adaptive Security Architectures for Global Sensing Applications. - Daniel Schreckling; Joachim Posegga (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

On Structural Signatures for Tree Data Structures. - Kai Samelin; Henrich Christopher Pöhls; Arne Bilzhause; Joachim Posegga; Hermann de Meer (ACNS, 2012)

Redactable Signature Schemes for Trees with Signer-Controlled Non-Leaf-Redactions. - Hermann de Meer; Henrich C. Pöhls; Joachim Posegga; Kai Samelin (ICETE (Selected Papers), 2012)

Redactable Signatures for Independent Removal of Structure and Content. - Kai Samelin; Henrich Christopher Pöhls; Arne Bilzhause; Joachim Posegga; Hermann de Meer (ISPEC, 2012)

Constroid: data-centric access control for android. - Daniel Schreckling; Joachim Posegga; Daniel Hausknecht (SAC, 2012)

Flexible Redactable Signature Schemes for Trees - Extended Security Model and Construction. - Henrich Christopher Pöhls; Kai Samelin; Hermann de Meer; Joachim Posegga (SECRYPT, 2012)

A User-Level Authentication Scheme to Mitigate Web Session-Based Vulnerabilities. - Bastian Braun; Stefan Kucher; Martin Johns; Joachim Posegga (TrustBus, 2012)

WebSand: Server-Driven Outbound Web-Application Sandboxing. - Martin Johns; Joachim Posegga (TrustBus, 2012)

Kynoid: Real-Time Enforcement of Fine-Grained, User-Defined, and Data-Centric Security Policies for Android. - Daniel Schreckling; Joachim Posegga; Johannes Köstler; Matthias Schaff (WISTP, 2012)

BIOMICS Project: Biological and Mathematical Basis of Interaction Computing. - Paolo Dini; Chrystopher L. Nehaniv; Attila Egri-Nagy; Maria J. Schilstra; Daniel Schreckling; Joachim Posegga; Gábor Horváth; Alastair J. Munro (Int. J. Unconv. Comput., 2012)

Scope of Security Properties of Sanitizable Signatures Revisited. - Hermann de Meer; Henrich Christopher Pöhls; Joachim Posegga; Kai Samelin (ARES, 2013)

Control-Flow Integrity in Web Applications. - Bastian Braun; Patrick Gemein; Hans P. Reiser; Joachim Posegga (ESSoS, 2013)

A Survey on Control-Flow Integrity Means in Web Application Frameworks. - Bastian Braun; Christian v. Pollak; Joachim Posegga (NordSec, 2013)

Malleable Signatures for Resource Constrained Platforms. - Henrich Christopher Pöhls; Stefan Peters; Kai Samelin; Joachim Posegga; Hermann de Meer (WISTP, 2013)

URANOS: User-Guided Rewriting for Plugin-Enabled ANdroid ApplicatiOn Security. - Daniel Schreckling; Stephan Huber; Focke Höhne; Joachim Posegga (WISTP, 2013)

Security and privacy for digital ecosystems. - Ioannis G. Askoxylakis; Mark Manulis; Joachim Posegga (Inf. Secur. Tech. Rep., 2013)

PhishSafe: leveraging modern JavaScript API's for transparent and robust protection. - Bastian Braun; Martin Johns; Johannes Köstler; Joachim Posegga (CODASPY, 2014)

On the Relation between Redactable and Sanitizable Signature Schemes. - Hermann de Meer; Henrich Christopher Pöhls; Joachim Posegga; Kai Samelin (ESSoS, 2014)

Identity Management in Platforms Offering IoT as a Service. - Juan D. Parra Rodriguez; Daniel Schreckling; Joachim Posegga (IoT360 (1), 2014)

Ghostrail: Ad Hoc Control-Flow Integrity for Web Applications. - Bastian Braun; Caspar Gries; Benedikt Petschkuhn; Joachim Posegga (SEC, 2014)

A Trusted UI for the Mobile Web. - Bastian Braun; Johannes Köstler; Joachim Posegga; Martin Johns (SEC, 2014)

Data-Centric Security for the IoT. - Daniel Schreckling; Juan David Parra; Charalampos Doukas; Joachim Posegga (IoT 360 (2), 2015)

LogSec: adaptive protection for the wild wild web. - Bastian Braun; Korbinian Pauli; Joachim Posegga; Martin Johns (SAC, 2015)

Why Web Servers Should Fear Their Clients - Abusing Websockets in Browsers for DoS. - Juan D. Parra Rodriguez; Joachim Posegga (SecureComm, 2015)

Idea: Enforcing Security Properties by Solving Behavioural Equations. - Eric Rothstein Morris; Joachim Posegga (ESSoS, 2016)

Addressing Data-Centric Security Requirements for IoT-Based Systems. - Juan D. Parra Rodriguez; Daniel Schreckling; Joachim Posegga (SIoT, 2016)

RAPID: Resource and API-Based Detection Against In-Browser Miners. - Juan D. Parra Rodriguez; Joachim Posegga (ACSAC, 2018)

CSP & Co. Can Save Us from a Rogue Cross-Origin Storage Browser Network! But for How Long? - Juan D. Parra Rodriguez; Joachim Posegga (CODASPY, 2018)

When Your Browser Becomes the Paper Boy - An Anonymous Browser Network. - Juan D. Parra Rodriguez; Eduard Brehm; Joachim Posegga (SEC, 2018)

Local Storage on Steroids: Abusing Web Browsers for Hidden Content Storage and Distribution. - Juan D. Parra Rodriguez; Joachim Posegga (SecureComm (2), 2018)

TLS Beyond the Broker: Enforcing Fine-Grained Security and Trust in Publish/Subscribe Environments for IoT. - Korbinian Spielvogel; Henrich C. Pöhls; Joachim Posegga (STM, 2021)

Poster: SmartX BGP BVT: A First Real-Time BGP Blackholing Visibility Tool. - Talaya Farasat; Muhammad Ahmad Rathore; Zeeshan Asim; Akmal Khan; Jongwon Kim 001; Joachim Posegga (IMC, 2023)

Machine Learning-based BGP Traffic Prediction. - Talaya Farasat; Muhammad Ahmad Rathore; Akmal Khan; Jongwon Kim 001; Joachim Posegga (TrustCom, 2023)

Machine Learning Techniques for Python Source Code Vulnerability Detection. - Talaya Farasat; Joachim Posegga (CODASPY, 2024)

MQfilTTr: Strengthening Smart Home Privacy Through MQTT Traffic Manipulation. - Henrich C. Pöhls; Sven Gebauer; Fabian Scharnböck; Korbinian Spielvogel; Joachim Posegga (WISTP, 2024)

Unveiling the Shadows: An Approach towards Detection, Precise Localization, and Effective Isolation of Concealed IoT Devices in Unfamiliar Environments. - Emiliia Gelóczi; Henrich C. Pöhls; Felix Klement; Joachim Posegga; Stefan Katzenbeisser 001 (WPES@CCS, 2024)

Advancing Network Security: A Comprehensive Testbed and Dataset for Machine Learning-Based Intrusion Detection. - Talaya Farasat; Jongwon Kim 001; Joachim Posegga (CoRR, 2024)

SmartX Intelligent Sec: A Security Framework Based on Machine Learning and eBPF/XDP. - Talaya Farasat; Jongwon Kim 001; Joachim Posegga (CoRR, 2024)

SafePyScript: A Web-Based Solution for Machine Learning-Driven Vulnerability Detection in Python. - Talaya Farasat; Atiqullah Ahmadzai; Aleena Elsa George; Sayed Alisina Qaderi; Dusan Dordevic; Joachim Posegga (CoRR, 2024)