Joachim Posegga

Ioannis G. Askoxylakis, Mark Manulis, Joachim Posegga: Security and privacy for digital ecosystems. Inf. Sec. Techn. Report 17(3): 45 (2013)

Bastian Braun, Patrick Gemein, Hans P. Reiser, Joachim Posegga: Control-Flow Integrity in Web Applications. ESSoS 2013: 1-16

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. IJUC 8(4): 283-287 (2012)

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

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

Daniel Schreckling, Joachim Posegga, Daniel Hausknecht: Constroid: data-centric access control for android. SAC 2012: 1478-1485

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

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

Martin Johns, Joachim Posegga: WebSand: Server-Driven Outbound Web-Application Sandboxing. TrustBus 2012: 216-217

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: 208-223

Ioannis G. Askoxylakis, Henrich Christopher Pöhls, Joachim Posegga (Eds.): Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems - 6th IFIP WG 11.2 International Workshop, WISTP 2012, Egham, UK, June 20-22, 2012. Proceedings. Lecture Notes in Computer Science 7322, Springer 2012, isbn 978-3-642-30954-0

Daniel Schreckling, Joachim Posegga: Adaptive Security Architectures for Global Sensing Applications. ECEASST 37 (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: 166-182

Martin Johns, Bastian Braun, Michael Schrank, Joachim Posegga: Reliable protection against session fixation attacks. SAC 2011: 1531-1537

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

Martin Johns, Christian Beyerlein, Rosemaria Giesecke, Joachim Posegga: Secure Code Generation for Web Applications. ESSoS 2010: 96-113

Michael Schrank, Bastian Braun, Martin Johns, Joachim Posegga: Session Fixation - The Forgotten Vulnerability? Sicherheit 2010: 341-352

Pierangela Samarati, Michael Tunstall, Joachim Posegga, Konstantinos Markantonakis, Damien Sauveron (Eds.): Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices, 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010. Proceedings. Lecture Notes in Computer Science 6033, Springer 2010, isbn 978-3-642-12367-2

Christopher Alm, Ruben Wolf, Joachim Posegga: The OPL Access Control Policy Language. TrustBus 2009: 138-148

Martin Johns, Björn Engelmann, Joachim Posegga: XSSDS: Server-Side Detection of Cross-Site Scripting Attacks. ACSAC 2008: 335-344

Josep Domingo-Ferrer, Joachim Posegga, Francesc Sebé, Vicenç Torra: Advances in smart cards. Computer Networks 51(9): 2219-2222 (2007)

Henrich Christopher Pöhls, Joachim Posegga: Smartcard Firewalls Revisited. CARDIS 2006: 179-191

Josep Domingo-Ferrer, Joachim Posegga, Daniel Schreckling (Eds.): Smart Card Research and Advanced Applications, 7th IFIP WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona, Spain, April 19-21, 2006, Proceedings. Lecture Notes in Computer Science 3928, Springer 2006, isbn 3-540-33311-8

Thomas Walter, Laurent Bussard, Yves Roudier, Jochen Haller, Roger Kilian-Kehr, Joachim Posegga, Philip Robinson: Secure mobile business applications - framework, architecture and implementation. Inf. Sec. Techn. Report 9(4): 6-21 (2004)

Roger Kilian-Kehr, Joachim Posegga: Smart Cards in Interaction: Towards Trustworthy Digital Signatures. CARDIS 2002: 11-18

David A. Basin, Stefan Friedrich, Marek Gawkowski, Joachim Posegga: Bytecode Model Checking: An Experimental Analysis. SPIN 2002: 42-59

Joachim Posegga, Simon Vetter: Wireless Internet Security - Aktuelles Schlagwort. Informatik Spektrum 24(6): 383-386 (2001)

Günter Karjoth, Joachim Posegga: Mobile agents and telcos' nightmares. Annales des Télécommunications 55(7-8): 388-400 (2000)

Scott B. Guthery, Roger Kehr, Joachim Posegga: How to Turn a GSM SIM into a Web Server. CARDIS 2000: 209-224

Joachim Posegga: Jini: Infrastruktur für dynamische Dienste in verteilten Systemen - Aktuelles Schlagwort. Informatik Spektrum 22(1): 43-44 (1999)

David A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt: Java Bytecode Verification by Model Checking. CAV 1999: 491-494

Roger Kehr, Joachim Posegga, Harald Vogt: PCA: Jini-based Personal Card Assistant. CQRE 1999: 64-75

Joachim Posegga: Die Sicherheitsaspekte von Java. Informatik Spektrum 21(1): 16-22 (1998)

Matthias Kaiserswerth, Joachim Posegga: Java auf Chipkarten - Das aktuelle Schlagwort. Informatik Spektrum 21(1): 27-28 (1998)

Andrew Slater, Rajeev Goré, Joachim Posegga, Harald Vogt: cardT^AP: Automated Deduction on a Smart Card. Australian Joint Conference on Artificial Intelligence 1998: 239-247

Rajeev Goré, Joachim Posegga, Andrew Slater, Harald Vogt: System Description: card T^AP: The First Theorem Prover on a Smart Card. CADE 1998: 47-50

Joachim Posegga, Harald Vogt: Byte Code Verification for Java Smart Card Based on Model Checking. ESORICS 1998: 175-190

Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga (Eds.): Services and Visualization: Towards User-Friendly Design, ACoS'98, VISUAL'98, AIN'97, Selected Papers. Lecture Notes in Computer Science 1385, Springer 1998, isbn 3-540-64367-2

Bernhard Beckert, Joachim Posegga: Logic Programming as a Basis for Lean Automated Deduction. J. Log. Program. 28(3): 231-236 (1996)

Bernhard Beckert, Joachim Posegga: leanTAP: Lean Tableau-based Deduction. J. Autom. Reasoning 15(3): 339-358 (1995)

Joachim Posegga, Peter H. Schmitt: Automated Deduction with Shannon Graphs. J. Log. Comput. 5(6): 697-729 (1995)

Bernhard Beckert, Joachim Posegga: leanEA: A Lean Evolving Algebra Compiler. CSL 1995: 64-85

Bernhard Beckert, Joachim Posegga: LeanEA: A Lean Evolving Algebra Compiler. WLP 1995: 73-82

Peter Baumgartner, Reiner Hähnle, Joachim Posegga (Eds.): Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings. Lecture Notes in Computer Science 918, Springer 1995, isbn 3-540-59338-1

Bernhard Beckert, Joachim Posegga: leanT^AP: Lean Tableau-Based Theorem Proving (Extended Abstract). CADE 1994: 793-797

Jean Goubault, Joachim Posegga: BDDs and Automated Deduction. ISMIS 1994: 541-550

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

Joachim Posegga: Deduktion mit Shannongraphen für Prädikatenlogik erster Stufe. DISKI 51, Infix Verlag, St. Augustin, Germany 1993, isbn 3-929037-51-3

Joachim Posegga: Compiling Proof Search in Semantic Tableaux. ISMIS 1993: 39-48

Guido Moerkotte, Holger Müller, Joachim Posegga: Aspects of Consistency Driven Planning. DAISD 1992: 301-325

Joachim Posegga, Bertram Ludäscher: Towards First-order Deduction Based on Shannon Graphs. GWAI 1992: 67-75

Joachim Posegga: First-Order Shannon Graphs (Extended Abstract). TABLEAUX 1992: 67-69

Martin Decker, Guido Moerkotte, Holger Müller, Joachim Posegga: Consistency Driven Planning. EPIA 1991: 195-209

Jürgen Dix, Joachim Posegga, Peter H. Schmitt: Modal logics for AI planning. Expert Planning Systems 1990: 157-162