Joachim Posegga

ORCID

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 16

Top Venues

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Talaya Farasat, Joachim Posegga
Machine Learning Techniques for Python Source Code Vulnerability Detection. CoRR (2024)
Henrich C. Pöhls, Sven Gebauer, Fabian Scharnböck, Korbinian Spielvogel, Joachim Posegga
MQfilTTr: Strengthening Smart Home Privacy Through MQTT Traffic Manipulation. WISTP (2024)
Talaya Farasat, Joachim Posegga
Machine Learning Techniques for Python Source Code Vulnerability Detection. CODASPY (2024)
Talaya Farasat, Muhammad Ahmad Rathore, Akmal Khan, Jongwon Kim, Joachim Posegga
Machine Learning-based BGP Traffic Prediction. TrustCom (2023)
Talaya Farasat, Muhammad Ahmad Rathore, Zeeshan Asim, Akmal Khan, Jongwon Kim, Joachim Posegga
Poster: SmartX BGP BVT: A First Real-Time BGP Blackholing Visibility Tool. IMC (2023)
Korbinian Spielvogel, Henrich C. Pöhls, Joachim Posegga
TLS Beyond the Broker: Enforcing Fine-Grained Security and Trust in Publish/Subscribe Environments for IoT. STM (2021)
Korbinian Spielvogel, Henrich C. Pöhls, Joachim Posegga
TLS Beyond the Broker: Enforcing Fine-grained Security and Trust in Publish/Subscribe Environments for IoT. CoRR (2021)
Juan D. Parra Rodriguez, Joachim Posegga
CSP & Co. Can Save Us from a Rogue Cross-Origin Storage Browser Network! But for How Long? CODASPY (2018)
Juan D. Parra Rodriguez, Eduard Brehm, Joachim Posegga
When Your Browser Becomes the Paper Boy - An Anonymous Browser Network. SEC (2018)
Juan D. Parra Rodriguez, Joachim Posegga
RAPID: Resource and API-Based Detection Against In-Browser Miners. ACSAC (2018)
Juan D. Parra Rodriguez, Joachim Posegga
Local Storage on Steroids: Abusing Web Browsers for Hidden Content Storage and Distribution. SecureComm (2) (2018)
Juan D. Parra Rodriguez, Daniel Schreckling, Joachim Posegga
Addressing Data-Centric Security Requirements for IoT-Based Systems. SIoT (2016)
Eric Rothstein Morris, Joachim Posegga
Idea: Enforcing Security Properties by Solving Behavioural Equations. ESSoS (2016)
Juan D. Parra Rodriguez, Joachim Posegga
Why Web Servers Should Fear Their Clients - Abusing Websockets in Browsers for DoS. SecureComm (2015)
Bastian Braun, Korbinian Pauli, Joachim Posegga, Martin Johns
LogSec: adaptive protection for the wild wild web. SAC (2015)
Daniel Schreckling, Juan David Parra, Charalampos Doukas, Joachim Posegga
Data-Centric Security for the IoT. IoT 360 (2) (2015)
Bastian Braun, Martin Johns, Johannes Köstler, Joachim Posegga
PhishSafe: leveraging modern JavaScript API's for transparent and robust protection. CODASPY (2014)
Hermann de Meer, Henrich Christopher Pöhls, Joachim Posegga, Kai Samelin
On the Relation between Redactable and Sanitizable Signature Schemes. ESSoS (2014)
Bastian Braun, Johannes Köstler, Joachim Posegga, Martin Johns
A Trusted UI for the Mobile Web. SEC (2014)
Bastian Braun, Caspar Gries, Benedikt Petschkuhn, Joachim Posegga
Ghostrail: Ad Hoc Control-Flow Integrity for Web Applications. SEC (2014)
Juan D. Parra Rodriguez, Daniel Schreckling, Joachim Posegga
Identity Management in Platforms Offering IoT as a Service. IoT360 (1) (2014)
Bastian Braun, Patrick Gemein, Hans P. Reiser, Joachim Posegga
Control-Flow Integrity in Web Applications. ESSoS (2013)
Bastian Braun, Christian v. Pollak, Joachim Posegga
A Survey on Control-Flow Integrity Means in Web Application Frameworks. NordSec (2013)
Henrich Christopher Pöhls, Stefan Peters, Kai Samelin, Joachim Posegga, Hermann de Meer
Malleable Signatures for Resource Constrained Platforms. WISTP (2013)
Hermann de Meer, Henrich Christopher Pöhls, Joachim Posegga, Kai Samelin
Scope of Security Properties of Sanitizable Signatures Revisited. ARES (2013)
Ioannis G. Askoxylakis, Mark Manulis, Joachim Posegga
Security and privacy for digital ecosystems. Inf. Secur. Tech. Rep. 17 (3) (2013)
Daniel Schreckling, Stephan Huber, Focke Höhne, Joachim Posegga
URANOS: User-Guided Rewriting for Plugin-Enabled ANdroid ApplicatiOn Security. WISTP (2013)
Daniel Schreckling, Joachim Posegga, Daniel Hausknecht
Constroid: data-centric access control for android. SAC (2012)
Kai Samelin, Henrich Christopher Pöhls, Arne Bilzhause, Joachim Posegga, Hermann de Meer
On Structural Signatures for Tree Data Structures. ACNS (2012)
Paolo Dini, Chrystopher L. Nehaniv, Attila Egri-Nagy, Maria J. Schilstra, Daniel Schreckling, Joachim Posegga, Gábor Horváth, Alastair J. Munro
BIOMICS Project: Biological and Mathematical Basis of Interaction Computing. Int. J. Unconv. Comput. 8 (4) (2012)
Bastian Braun, Stefan Kucher, Martin Johns, Joachim Posegga
A User-Level Authentication Scheme to Mitigate Web Session-Based Vulnerabilities. TrustBus (2012)
Kai Samelin, Henrich Christopher Pöhls, Arne Bilzhause, Joachim Posegga, Hermann de Meer
Redactable Signatures for Independent Removal of Structure and Content. ISPEC (2012)
Henrich Christopher Pöhls, Kai Samelin, Hermann de Meer, Joachim Posegga
Flexible Redactable Signature Schemes for Trees - Extended Security Model and Construction. SECRYPT (2012)
Daniel Schreckling, Joachim Posegga, Johannes Köstler, Matthias Schaff
Kynoid: Real-Time Enforcement of Fine-Grained, User-Defined, and Data-Centric Security Policies for Android. WISTP (2012)
Martin Johns, Joachim Posegga
WebSand: Server-Driven Outbound Web-Application Sandboxing. TrustBus (2012)
Hermann de Meer, Henrich C. Pöhls, Joachim Posegga, Kai Samelin
Redactable Signature Schemes for Trees with Signer-Controlled Non-Leaf-Redactions. ICETE (Selected Papers) (2012)
Henrich Christopher Pöhls, Arne Bilzhause, Kai Samelin, Joachim Posegga
Sanitizable signed privacy preferences for social networks. GI-Jahrestagung (2011)
Felix C. Freiling, Dirk Heckmann, Radim Polcák, Joachim Posegga
Forensic Computing (Dagstuhl Seminar 11401). Dagstuhl Reports 1 (10) (2011)
Henrich Christopher Pöhls, Kai Samelin, Joachim Posegga
Sanitizable Signatures in XML Signature - Performance, Mixing Properties, and Revisiting the Property of Transparency. ACNS (2011)
Martin Johns, Bastian Braun, Michael Schrank, Joachim Posegga
Reliable protection against session fixation attacks. SAC (2011)
Daniel Schreckling, Joachim Posegga
Adaptive Security Architectures for Global Sensing Applications. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 37 (2011)
Michael Schrank, Bastian Braun, Martin Johns, Joachim Posegga
Session Fixation - The Forgotten Vulnerability? Sicherheit (2010)
Martin Johns, Christian Beyerlein, Rosemaria Giesecke, Joachim Posegga
Secure Code Generation for Web Applications. ESSoS (2010)
Christopher Alm, Ruben Wolf, Joachim Posegga
The OPL Access Control Policy Language. TrustBus (2009)
Martin Johns, Björn Engelmann, Joachim Posegga
XSSDS: Server-Side Detection of Cross-Site Scripting Attacks. ACSAC (2008)
Josep Domingo-Ferrer, Joachim Posegga, Francesc Sebé, Vicenç Torra
Advances in smart cards. Comput. Networks 51 (9) (2007)
Henrich Christopher Pöhls, Joachim Posegga
Smartcard Firewalls Revisited. CARDIS (2006)
Thomas Walter, Laurent Bussard, Yves Roudier, Jochen Haller, Roger Kilian-Kehr, Joachim Posegga, Philip Robinson
Secure mobile business applications - framework, architecture and implementation. Inf. Secur. Tech. Rep. 9 (4) (2004)
Roger Kilian-Kehr, Joachim Posegga
Smart Cards in Interaction: Towards Trustworthy Digital Signatures. CARDIS (2002)
David A. Basin, Stefan Friedrich, Marek Gawkowski, Joachim Posegga
Bytecode Model Checking: An Experimental Analysis. SPIN (2002)
Joachim Posegga, Simon Vetter
Wireless Internet Security - Aktuelles Schlagwort. Inform. Spektrum 24 (6) (2001)
Günter Karjoth, Joachim Posegga
Mobile agents and telcos' nightmares. Ann. des Télécommunications 55 (7-8) (2000)
Scott B. Guthery, Roger Kehr, Joachim Posegga
How to Turn a GSM SIM into a Web Server. CARDIS (2000)
David A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt
Java Bytecode Verification by Model Checking. CAV (1999)
Joachim Posegga
Jini: Infrastruktur für dynamische Dienste in verteilten Systemen - Aktuelles Schlagwort. Inform. Spektrum 22 (1) (1999)
Roger Kehr, Joachim Posegga, Harald Vogt
PCA: Jini-based Personal Card Assistant. CQRE (1999)
Rajeev Goré, Joachim Posegga, Andrew Slater, Harald Vogt
: The First Theorem Prover on a Smart Card. CADE (1998)
Andrew Slater, Rajeev Goré, Joachim Posegga, Harald Vogt
P: Automated Deduction on a Smart Card. Australian Joint Conference on Artificial Intelligence (1998)
Joachim Posegga, Harald Vogt
Byte Code Verification for Java Smart Card Based on Model Checking. ESORICS (1998)
Joachim Posegga
Die Sicherheitsaspekte von Java. Inform. Spektrum 21 (1) (1998)
Matthias Kaiserswerth, Joachim Posegga
Java auf Chipkarten - Das aktuelle Schlagwort. Inform. Spektrum 21 (1) (1998)
Bernhard Beckert, Joachim Posegga
Logic Programming as a Basis for Lean Automated Deduction. J. Log. Program. 28 (3) (1996)
Bernhard Beckert, Joachim Posegga
leanTAP: Lean Tableau-based Deduction. J. Autom. Reason. 15 (3) (1995)
Bernhard Beckert, Joachim Posegga
leanEA: A Lean Evolving Algebra Compiler. CSL (1995)
Joachim Posegga, Peter H. Schmitt
Automated Deduction with Shannon Graphs. J. Log. Comput. 5 (6) (1995)
Bernhard Beckert, Joachim Posegga
LeanEA: A Lean Evolving Algebra Compiler. WLP (1995)
Bernhard Beckert, Joachim Posegga
P: Lean Tableau-Based Theorem Proving (Extended Abstract). CADE (1994)
Jean Goubault, Joachim Posegga
BDDs and Automated Deduction. ISMIS (1994)
Bernhard Beckert, Joachim Posegga
Logic Programming as a Bases for Lean Deduction: Achieving Maximal Efficiency from Minimal Means. WLP (1994)
Joachim Posegga
Compiling Proof Search in Semantic Tableaux. ISMIS (1993)
Joachim Posegga
First-Order Shannon Graphs (Extended Abstract). TABLEAUX (1992)
Joachim Posegga, Bertram Ludäscher
Towards First-order Deduction Based on Shannon Graphs. GWAI (1992)
Guido Moerkotte, Holger Müller, Joachim Posegga
Aspects of Consistency Driven Planning. DAISD (1992)
Martin Decker, Guido Moerkotte, Holger Müller, Joachim Posegga
Consistency Driven Planning. EPIA (1991)
Jürgen Dix, Joachim Posegga, Peter H. Schmitt
Modal logics for AI planning. Expert Planning Systems (1990)

Joachim Posegga.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Joachim Posegga