- The WebSIM: Smartcard goes Internet Joachim Posegga
- Voice Over IP: Unsafe at any Bandwidth? Joachim Posegga, Jan Seedorf
- Emerging mobile technologies such as PDAs, laptops and smart phones together
- BDDs and Automated Deduction? Jean Goubault1 and Joachim Posegga2
- Java auf Chipkarten1 Matthias Kaiserswerth IBM Zrich Research Laboratory, Sumerstr.4
- Logic Programming as a Basis for Lean Deduction: Achieving Maximal Efficiency from Minimal Means
- How to Turn a GSM SIM into a Web Server Projecting Mobile Trust onto the World Wide Web
- JAVASEC_Langversion.DOC, 18.06.98, 18:45 h p. 1/15 Die Sicherheitsaspekte von Java
- Java Smart Cards as a Platform for Electronic Commerce 1 Java Smart Cards
- Java Bytecode Veri cation Using Model Checking?
- PCA: Jini-based Personal Card Assistant Roger Kehr, Joachim Posegga, Harald Vogt
- Redactable Signatures for Independent Removal of Structure and Content
- Sanitizable Signed Privacy Preferences for Social Networks Henrich C. Pohls, Arne Bilzhause, Kai Samelin, Joachim Posegga
- Sanitizable Signatures in XML Signature --Performance, Mixing Properties, and
- Byte Code Veri cation for Java Smart Cards
- A Poor Man's Evolving Algebra Compiler
- Lean Theorem Proving: Maximal Efficiency from Minimal Means
- Smartcard Firewalls Revisited Henrich C. Pohls Joachim Posegga
- Automated Deduction with Shannon Joachim Posegga & Peter H. Schmitt
- Mobile Security for Internet Applications
- Mobile Agents and Telcos' Nightmares Joachim Posegga Gunter Karjoth
- A First-Order Calculus Based on Propositional BDDs Joachim Posegga Klaus Schneider
- leanTAP: Lean Tableau-based Deduction Bernhard Beckert & Joachim Posegga
- First-order Deduction with Binary Decision Diagrams
- cardTAP: Automated Deduction on a Smart Card Andrew Slater1 , Rajeev Gor e1;2, Joachim Posegga3, Harald Vogt3
- Modal Logics for AI Planning J. Dix, J. Posegga, P.H. Schmitt
