Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Joachim Posegga
2010 – today
- 2013
[j13]Ioannis G. Askoxylakis, Mark Manulis, Joachim Posegga: Security and privacy for digital ecosystems. Inf. Sec. Techn. Report 17(3): 45 (2013)- [c36]Bastian Braun, Patrick Gemein, Hans P. Reiser, Joachim Posegga: Control-Flow Integrity in Web Applications. ESSoS 2013: 1-16
- [c35]Henrich Christopher Pöhls, Stefan Peters, Kai Samelin, Joachim Posegga, Hermann de Meer: Malleable Signatures for Resource Constrained Platforms. WISTP 2013: 18-33
- [c34]Daniel Schreckling, Stephan Huber, Focke Höhne, Joachim Posegga: URANOS: User-Guided Rewriting for Plugin-Enabled ANdroid ApplicatiOn Security. WISTP 2013: 50-65
- 2012
- [j12]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)
- [c33]Kai Samelin, Henrich Christopher Pöhls, Arne Bilzhause, Joachim Posegga, Hermann de Meer: On Structural Signatures for Tree Data Structures. ACNS 2012: 171-187
- [c32]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
- [c31]Daniel Schreckling, Joachim Posegga, Daniel Hausknecht: Constroid: data-centric access control for android. SAC 2012: 1478-1485
- [c30]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
- [c29]Bastian Braun, Stefan Kucher, Martin Johns, Joachim Posegga: A User-Level Authentication Scheme to Mitigate Web Session-Based Vulnerabilities. TrustBus 2012: 17-29
- [c28]Martin Johns, Joachim Posegga: WebSand: Server-Driven Outbound Web-Application Sandboxing. TrustBus 2012: 216-217
- [c27]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
- [e5]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
- 2011
- [j11]Daniel Schreckling, Joachim Posegga: Adaptive Security Architectures for Global Sensing Applications. ECEASST 37 (2011)
- [c26]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
- [c25]Martin Johns, Bastian Braun, Michael Schrank, Joachim Posegga: Reliable protection against session fixation attacks. SAC 2011: 1531-1537
- [i1]Felix C. Freiling, Dirk Heckmann, Radim Polcák, Joachim Posegga: Forensic Computing (Dagstuhl Seminar 11401). Dagstuhl Reports 1(10): 1-13 (2011)
- 2010
- [c24]Martin Johns, Christian Beyerlein, Rosemaria Giesecke, Joachim Posegga: Secure Code Generation for Web Applications. ESSoS 2010: 96-113
- [c23]Michael Schrank, Bastian Braun, Martin Johns, Joachim Posegga: Session Fixation - The Forgotten Vulnerability? Sicherheit 2010: 341-352
- [e4]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
2000 – 2009
- 2009
- [c22]Christopher Alm, Ruben Wolf, Joachim Posegga: The OPL Access Control Policy Language. TrustBus 2009: 138-148
- 2008
- [c21]Martin Johns, Björn Engelmann, Joachim Posegga: XSSDS: Server-Side Detection of Cross-Site Scripting Attacks. ACSAC 2008: 335-344
- 2007
- [j10]Josep Domingo-Ferrer, Joachim Posegga, Francesc Sebé, Vicenç Torra: Advances in smart cards. Computer Networks 51(9): 2219-2222 (2007)
- 2006
- [c20]
- [e3]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
- 2004
- [j9]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)
- 2002
- [c19]Roger Kilian-Kehr, Joachim Posegga: Smart Cards in Interaction: Towards Trustworthy Digital Signatures. CARDIS 2002: 11-18
- [c18]David A. Basin, Stefan Friedrich, Marek Gawkowski, Joachim Posegga: Bytecode Model Checking: An Experimental Analysis. SPIN 2002: 42-59
- 2001
- [j8]Joachim Posegga, Simon Vetter: Wireless Internet Security - Aktuelles Schlagwort. Informatik Spektrum 24(6): 383-386 (2001)
- 2000
- [j7]Günter Karjoth, Joachim Posegga: Mobile agents and telcos' nightmares. Annales des Télécommunications 55(7-8): 388-400 (2000)
- [c17]Scott B. Guthery, Roger Kehr, Joachim Posegga: How to Turn a GSM SIM into a Web Server. CARDIS 2000: 209-224
1990 – 1999
- 1999
- [j6]Joachim Posegga: Jini: Infrastruktur für dynamische Dienste in verteilten Systemen - Aktuelles Schlagwort. Informatik Spektrum 22(1): 43-44 (1999)
- [c16]David A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt: Java Bytecode Verification by Model Checking. CAV 1999: 491-494
- [c15]
- 1998
- [j5]
- [j4]Matthias Kaiserswerth, Joachim Posegga: Java auf Chipkarten - Das aktuelle Schlagwort. Informatik Spektrum 21(1): 27-28 (1998)
- [c14]Andrew Slater, Rajeev Goré, Joachim Posegga, Harald Vogt: cardTAP: Automated Deduction on a Smart Card. Australian Joint Conference on Artificial Intelligence 1998: 239-247
- [c13]Rajeev Goré, Joachim Posegga, Andrew Slater, Harald Vogt: System Description: card TAP: The First Theorem Prover on a Smart Card. CADE 1998: 47-50
- [c12]Joachim Posegga, Harald Vogt: Byte Code Verification for Java Smart Card Based on Model Checking. ESORICS 1998: 175-190
- [e2]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
- 1996
- [j3]Bernhard Beckert, Joachim Posegga: Logic Programming as a Basis for Lean Automated Deduction. J. Log. Program. 28(3): 231-236 (1996)
- 1995
- [j2]Bernhard Beckert, Joachim Posegga: leanTAP: Lean Tableau-based Deduction. J. Autom. Reasoning 15(3): 339-358 (1995)
- [j1]Joachim Posegga, Peter H. Schmitt: Automated Deduction with Shannon Graphs. J. Log. Comput. 5(6): 697-729 (1995)
- [c11]
- [c10]
- [e1]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
- 1994
- [c9]Bernhard Beckert, Joachim Posegga: leanTAP: Lean Tableau-Based Theorem Proving (Extended Abstract). CADE 1994: 793-797
- [c8]
- [c7]Bernhard Beckert, Joachim Posegga: Logic Programming as a Bases for Lean Deduction: Achieving Maximal Efficiency from Minimal Means. WLP 1994: 108-111
- 1993
- [b1]Joachim Posegga: Deduktion mit Shannongraphen für Prädikatenlogik erster Stufe. DISKI 51, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-51-3
- [c6]
- 1992
- [c5]Guido Moerkotte, Holger Müller, Joachim Posegga: Aspects of Consistency Driven Planning. DAISD 1992: 301-325
- [c4]Joachim Posegga, Bertram Ludäscher: Towards First-order Deduction Based on Shannon Graphs. GWAI 1992: 67-75
- [c3]
- 1991
- [c2]Martin Decker, Guido Moerkotte, Holger Müller, Joachim Posegga: Consistency Driven Planning. EPIA 1991: 195-209
- 1990
- [c1]Jürgen Dix, Joachim Posegga, Peter H. Schmitt: Modal logics for AI planning. Expert Planning Systems 1990: 157-162
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:12 CEST by the dblp team