University of Passau
Department of Informatics and Mathematics
IT-SEC 
   University of Passau  >  FIM  >  IT-SEC  >  Members >  Joachim Posegga > Publications of Joachim Posegga      SiteMapSitemap  Seitenende

Prof. Dr. rer.nat. Joachim Posegga

Books

  • J. García-Alfaro, J. Herrera-Joancomartí, E. Lupu, J. Posegga, A. Aldini, F. Martinelli and N. Suri, Ed. Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance - 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers. doi...  paper...  bibtex ...
     
  • I. Askoxylakis, H. C. Pöhls and J. Posegga, Ed. Proc. of the 6th IFIP WG 11.2 International Workshop on Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems (WISTP 2012). doi...  bibtex ...
     
  • P. Samarati, M. Tunstall, J. Posegga, K. Markantonakis and D. Sauveron, Ed. Proceedings of 4th IFIP WG 11.2 International Workshop on Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices (WISTP 2010), Passau, Germany, April 12-14, 2010. doi...  bibtex ...
     
  • D. Gabbay, M. D'Agostino, R. Hähnle and J. Posegga, Ed. Handbook of Tableau-based Methods in Automated Deduction. Kluwer Academic Publishers, 1999. bibtex ...
     
  • A. Munch-Ellingsen, P. S. Malm, J. Posegga, R. Kehr, G. Privat, R. Airiau and A. Hardwick. Smart Devices. EURESCOM GmbH, Heidelberg, Germany, December, 1999. pdf...  bibtex ...
     
  • T. Margaria, B. Steffen, R. Rückert and J. Posegga, Ed. Services and Visualization: Towards User Friendly Design. bibtex ...
     
  • P. Baumgartner, R. Hähnle and J. Posegga, Ed. Proc. 4th Workshop on Theorem Proving with Analytic Tableaux and Related Methods. bibtex ...
     
  • J. Posegga. Deduktion mit Shannongraphen für Prädikatenlogik erster Stufe. Infix Verlag, Sankt Augustin, 1993. bibtex ...
     
  • D. Basin, B. Fronhöfer, R. Hähnle, J. Posegga and C. Schwind, Ed. Proc. 2nd Workshop on Theorem Proving with Analytic Tableaux and Related Methods. bibtex ...
     

Articles in Journals

  • H. de Meer, H. C. Pöhls, J. Posegga and K. Samelin. Redactable Signature Schemes for Trees with Signer-Controlled Non-Leaf-Redactions. doi...  pdf...  bibtex ...
     
  • P. Dini, C. L. Nehaniv, A. Egri-Nagy, M. J. Schilstra, D. Schreckling, J. Posegga, G. Horvath and A. J. Munro. Biological and Mathematical Basis of Interaction Computing. In International Journal of Unconventional Computing, 8 (4): 283-287, 2012. paper...  bibtex ...
     
  • D. Schreckling and J. Posegga. Adaptive Security Architectures for Global Sensing Applications. In Electronic Communications of the EASST, 37, 2011. paper...  bibtex ...
     
  • Domingo-Ferrer, J., Posegga, J., Sebé, F. and Torra, V. Advances in smart cards. In Computer Networks, 51 (9): 2219-2222, jun, 2007. doi...  bibtex ...
     
  • T. Walter, L. Bussard, J. Haller, R. Kilian-Kehr, J. Posegga and P. Robinson. Secure Mobile Business Applications: Framework, Architecture and Implementation. In Information Security Technical Report Journal, 9 (4): 6-22, 2004. pdf...  bibtex ...
     
  • G. Karjoth and J. Posegga. Mobile Agents and Telcos' Nightmares. In Annales des Telecommunications, 55 (7/8): 29-41, 2000. pdf...  bibtex ...
     
  • J. Posegga. Jini: Infrastruktur für dynamische Dienste in verteilten Systemen. In Informatik-Spektrum, 22 (1), 1999.  (Rubrik: Aktuelles Schlagwort) pdf...  bibtex ...
     
  • J. Posegga. Die Sicherheitsaspekte von Java. In Informatik-Spektrum, 21 (1): 16-22, 1998. pdf...  bibtex ...
     
  • M. Kaiserswerth and J. Posegga. Java auf Chipkarten. In Informatik-Spektrum, 21 (1): 27-28, 1998. pdf...  bibtex ...
     
  • J. Posegga and P. H. Schmitt. Deduction with First-order Shannon Graphs. In Journal of Logic and Computation, 5 (6): 697-729, 1996. bibtex ...
     
  • B. Beckert and J. Posegga. Logic Programming as a Basis for Lean Automated Deduction. In Journal of Logic Programming, 28 (3): 231-236, Sept., 1996. pdf...  bibtex ...
     
  • J. Posegga and P. H. Schmitt. Automated Deduction with Shannon Graphs. In Journal of Logic and Computation. In, 5: 697-729, 1995. pdf...  bibtex ...
     
  • B. Beckert and J. Posegga. leanTaP: Lean Tableau-based Deduction. In Journal of Automated Reasoning, 15 (3): 339-358, 1995. pdf...  bibtex ...
     

Articles in Books

  • Parra R. J. D., Schreckling, D. and Posegga, J. Identity Management in Platforms Offering IoT as a Service. In Internet of Things. User-Centric IoT, pages 281-288, Springer International Publishing, 2015. doi...  paper...  bibtex ...
     
  • J. Posegga and P. H. Schmitt. Implementing Tableau-based Deduction. In Handbook of Tableau-based Methods in Automated Deduction, Kluwer Academic Publishers, 1999. bibtex ...
     
  • J. Posegga. Compiling Tableau-Based Deduction for General Formulae. In Workshop PTTP-basiertes Theorembeweisen, Universität Koblenz-Landau, 1993. bibtex ...
     

Articles in Conference Proceedings

  • Parra R. J. D. a. P. J. RAPID: Resource and API-Based Detection Against In-Browser Miners. In ACSAC 2018: Proceedings of the 34th Annual Computer Security Applications Conference, ACM, 2018. doi...  pdf...  bibtex ...
     
  • Parra R. J. D., Brehm, E. and Posegga, J. When Your Browser Becomes the Paper Boy. In ICT Systems Security and Privacy Protection, pages 94-107, Springer International Publishing, 2018. pdf...  bibtex ...
     
  • Parra R. J. D. and Posegga, J. Local Storage on Steroids: Abusing Web Browsers for Hidden Content Storage and Distribution. In Proc. of 14th EAI International Conference on Security and Privacy in Communication Networks (SECURECOMM), Aug., 2018. pdf...  bibtex ...
     
  • Parra R. J. D. and Posegga, J. CSP & Co. Can Save Us from a Rogue Cross-Origin Storage Browser Network! But for How Long?. In Proceedings of the Eighth ACM Conference on Data and Application Security and Privacy, pages 170-172, ACM, May, 2018. doi...  paper...  bibtex ...
     
  • Parra R. J. D., Schreckling, D. and Posegga,Joachim. Addressing Data-Centric Security Requirements for IoT-Based Systems. In 2016 International Workshop on Secure Internet of Things (SIoT), pages 1-10, September, 2016. doi...  pdf...  bibtex ...
     
  • D. Schreckling, J. D. P. Rodriguez and J. Posegga. Data centric Security for IoT. In Proc. of 2nd EAI International Conference on IoT as a Service, Springer, October, 2015.  To appear soon bibtex ...
     
  • Parra R. J. D. and Posegga, J. Why Servers Should Fear their Clients: Abusing Websockets in Browsers for DoS. In Proc. of 11th EAI International Conference on Security and Privacy in Communication Networks (SECURECOMM), 2015. pdf...  bibtex ...
     
  • B. Braun, K. Pauli, J. Posegga and M. Johns. LogSec: Adaptive Protection for the Wild Wild Web. In the 2015 ACM Symposium on Applied Computing (SAC 2015) - to appear, April, 2015. bibtex ...
     
  • H. de Meer, H. C. Pöhls, J. Posegga and K. Samelin. On the Relation between Redactable and Sanitizable Signature Schemes. In Proc. of the 6th International Symposium on Engineering Secure Software and Systems (ESSoS 2014), pages 113-130, Springer International Publishing, 2014.  This is an preliminary version of the original publication. The original publication is available at springerlink.com. doi...  pdf...  bibtex ...
     
  • B. Braun, J. Köstler, J. Posegga and M. Johns. A Trusted UI for the Mobile Web. In 29th IFIP International Information Security and Privacy Conference (IFIP SEC 2014), June, 2014. doi...  pdf...  bibtex ...
     
  • B. Braun, C. Gries, B. Petschkuhn and J. Posegga. Ghostrail: Ad Hoc Control-Flow Integrity for Web Applications. In 29th IFIP International Information Security and Privacy Conference (IFIP SEC 2014), June, 2014. doi...  pdf...  bibtex ...
     
  • B. Braun, J. Köstler, M. Johns and J. Posegga. PhishSafe: Leveraging Modern JavaScript API's for Transparent and Robust Protection. In Fourth ACM Conference on Data and Application Security and Privacy (ACM CODASPY 2014), March, 2014. doi...  pdf...  bibtex ...
     
  • H. de Meer, H. C. Pöhls, J. Posegga and K. Samelin. Scope of Security Properties of Sanitizable Signatures Revisited. In Proc. of the 8th International Conference on Availability, Reliability and Security (ARES 2013), pages 188-197, IEEE, Sept, 2013.  This is an preliminary version of the original publication. The original publication is available at ieeexplore.ieee.org. doi...  pdf...  bibtex ...
     
  • H. C. Pöhls, S. Peters, K. Samelin, J. Posegga and H. de Meer. Malleable Signatures for Resource Constrained Platforms. In Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems (WISTP 2013), pages 18-33, Springer-Verlag, 2013.  This is an preliminary version of the original publication. doi...  pdf...  bibtex ...
     
  • D. Schreckling, S. Huber, F. Höhne and J. Posegga. URANOS: User-Guided Rewriting for Plugin-Enabled ANdroid ApplicatiOn Security. In Proc. of the 7th Workshop in Information Security Theory and Practice (WISTP 2013), Springer-Verlag, 2013.  (to appear) bibtex ...
     
  • B. Braun, C. v. Pollak and J. Posegga. A Survey on Control-Flow Integrity Means in Web Application Frameworks. In 18th Nordic Conference on Secure IT Systems (NordSec 2013), October, 2013. doi...  pdf...  bibtex ...
     
  • B. Braun, P. Gemein, H. P. Reiser and J. Posegga. Control-Flow Integrity in Web Applications. In International Symposium on Engineering Secure Software and Systems (ESSoS 2013), Lecture Notes in Computer Science (LNCS), Springer, February, 2013. doi...  pdf...  bibtex ...
     
  • H. C. Pöhls, K. Samelin, J. Posegga and H. de Meer. Flexible Redactable Signature Schemes for Trees --- Extended Security Model and Construction. In Proc. of the International Conference on Security and Cryptography (SECRYPT 2012), pages 113-125, SciTePress, 2012. pdf...  bibtex ...
     
  • K. Samelin, H. C. Pöhls, A. Bilzhause, J. Posegga and H. de Meer. On Structural Signatures for Tree Structured Data. In Proc. of the 10th International Conference on Applied Cryptography and Network Security (ACNS 2012), Springer, 2012.  This is an extended and revised version of the original publication. The original publication is available at www.springerlink.com doi...  pdf...  bibtex ...
     
  • K. Samelin, H. C. Pöhls, A. Bilzhause, J. Posegga and H. de Meer. Redactable Signatures for Independent Removal of Structure and Content. In Proc. of the 8th International Conference on Information Security Practice and Experience (ISPEC 2012), Springer, April, 2012. pdf...  bibtex ...
     
  • D. Schreckling, J. Posegga, J. Köstler and M. Schaff. Kynoid: Real-Time Enforcement of Fine-Grained, User-Defined, and Data-Centric Security Policies for Android. In Proceedings of the 6th Workshop in Information Security Theory and Practice, WISTP'12, Springer Verlag, June, 2012.  To appear. bibtex ...
     
  • D. Schreckling, J. Posegga and D. Hausknecht. Constroid: Data-Centric Access Control for Android. In Proceedings of the 27th Symposium on Applied Computing (SAC): Computer Security Track, 2012.  To appear. bibtex ...
     
  • B. Braun, S. Kucher, M. Johns and J. Posegga. A User-Level Authentication Scheme to Mitigate Web Session-Based Vulnerabilities. In Trust, Privacy and Security in Digital Business (TrustBus '12), pages 17-29, Lecture Notes in Computer Science (LNCS), Springer, September, 2012. doi...  pdf...  bibtex ...
     
  • M. Johns, B. Braun, M. Schrank and J. Posegga. Reliable Protection Against Session Fixation Attacks. In Proceedings of the 2011 ACM Symposium on Applied Computing (SAC 2011), pages 1531-1537, ACM, 2011. doi...  pdf...  bibtex ...
     
  • H. C. Pöhls, A. Bilzhause, K. Samelin and J. Posegga. Sanitizable Signed Privacy Preferences for Social Networks. In Proc. of GI Workshop on Privacy and Identity Management for Communities - Communities for Privacy and Identity Management (DICCDI 2011), GI, October, 2011. pdf...  bibtex ...
     
  • H. C. Pöhls, K. Samelin and J. Posegga. Sanitizable Signatures in XML Signature - Performance, Mixing Properties, and Revisiting the Property of Transparency. In Proc. of 9th International Conference on Applied Cryptography and Network Security (ACNS 2011), Springer, June, 2011. pdf...  bibtex ...
     
  • J. Posegga and D. Schreckling. Next Generation Mobile Application Security: Android and Beyond. In IT-Sicherheit zwischen Regulierung und Innovation: Tagungsband zur zweiten EICT-Konferenz IT-Sicherheit, Vieweg+Teubner Verlag, February, 2011. bibtex ...
     
  • M. Schrank, B. Braun, M. Johns and J. Posegga. Session Fixation  n the Forgotten Vulnerability?. In Sicherheit 2010: Sicherheit, Schutz und Zuverlässigkeit, pages 341-352, Lecture Notes in Informatics (LNI), Springer, 2010. doi...  pdf...  bibtex ...
     
  • M. Johns, C. Beyerlein, R. Giesecke and J. Posegga. Secure Code Generation for Web Applications. In Proceedings of 2nd International Symposium on Engineering Secure Software and Systems (ESSoS 2010), Pisa, Italy, February 3-4, 2010., pages 96-113, Springer, 2010. doi...  bibtex ...
     
  • Johns, M., Engelmann, B. and Posegga, J. XSSDS: Server-Side Detection of Cross-Site Scripting Attacks. In ACSAC '08: Proceedings of the 2008 Annual Computer Security Applications Conference, pages 335-344, IEEE Computer Society, 2008. doi...  bibtex ...
     
  • H. C. Pöhls and J. Posegga. Smartcard Firewalls Revisited. In Proc. 7th Intern. Conf. on Smart Card Research and Applications, pages 179-191, Springer Verlag, Apri 19-21, 2006. pdf...  bibtex ...
     
  • J. Posegga and J. Seedorf. Voice Over IP: Unsafe at any Bandwidth?. In Proc. EURESCOM Summit 2005: Ubiquitous Services and Applications, VDE Verlag, April 27--29, 2005. pdf...  bibtex ...
     
  • R. Killian-Kehr and J. Posegga. Smart Cards in Interaction: Towards Trustworthy Digital Signatures. In Proc. CARDIS, Springer Verlag, 2002. doi...  pdf...  bibtex ...
     
  • D. Basin, S. Friedrich, M. Gawkowski and J. Posegga. Bytecode Model Checking: An Experimental Analysis. In ESOP 2002: SPIN Workshop, Springer Verlag, 2002. pdf...  bibtex ...
     
  • R. Kehr, J. Posegga, R. Schmitz and P. Windirsch. Mobile Security for Internet Applications. In Arbeitskonferenz Kommunikationssicherheit 2001, Springer Verlag, 2001. pdf...  bibtex ...
     
  • S. Guthery, R. Kehr and J. Posegga. How to Turn a GSM SIM into a Web Server. In Proc. IFIP Fourth Working Conference on Smart Card Research and Applications (CARDIS 2000), Kluwer Academic Publishers, 2000.  (awarded ``Best Paper'' at CARDIS) pdf...  bibtex ...
     
  • S. Guthery, R. Kehr, J. Posegga and H. Vogt. GSM SIMs as Web Servers. In Seventh Intern. Conf. on Intelligence in Services and Networks, Short Paper, Februar, 2000. pdf...  bibtex ...
     
  • J. Posegga. Secure Mobile Commerce: A Plug an Pay Approach. In Proc. Micro.tec 2000, VDE Verlag, September, 2000. bibtex ...
     
  • R. Kehr, J. Posegga and H. Vogt. PCA: Jini-based Personal Card Assistant. In CQRE-Secure, Springer Verlag, November, 1999. doi...  pdf...  bibtex ...
     
  • D. Basin, S. Friedrich, J. Posegga and H. Vogt. Java Bytecode Verification by Model Checking (System Abstract). In Proc. Conf. on Computer Aided Verification, Springer LNCS, 1999. pdf...  bibtex ...
     
  • J. Posegga and H. Vogt. Byte Code Verification for Java Smart Cards Based on Model Checking. In 5th European Symposium on Research in Computer Security (ESORICS), Springer Verlag, 1998. pdf...  bibtex ...
     
  • R. Goré, J. Posegga, A. Slater and H. Vogt. cardTAP: The First Theorem Prover on a Smart Card. In Proc. Conference on Automated Deduction (CADE), Springer Verlag, 1998. pdf...  bibtex ...
     
  • J. Posegga. Java Smart Cards as a Platform for Electronic Commerce. In Electronic Commerce: International IFIP/GI Working Conference on Trends in Distributed Systems and Electronic Commerce, pages 175-182, dpunkt Verlag, Heidelberg, 1998. pdf...  bibtex ...
     
  • R. Goré, J. Posegga, A. Slater and H. Vogt. cardTAP: Automated Deduction on a smart card. In Proc. 1998 Joint Australian Artificial Intelligence Conference, Springer Verlag, July, 1998. pdf...  bibtex ...
     
  • J. Posegga. Java Smartcards (invited talk). In Proc. Comdex Enterprise: Telecom/IT-Forum, Softbank Comdex, Inc., oct, 1998. bibtex ...
     
  • J. Posegga and H. Vogt. Java Byte Code Verification using Model Checking. In Proc. OOPSLA Workshop on Formal Underpinnings of Java, 1998. pdf...  bibtex ...
     
  • J. Posegga. Java in Telecoms -- Challenges and Oportunities (invited talk). In Proc. Object World '97, Softbank Comdex, Inc., apr, 1997. bibtex ...
     
  • B. Beckert and J. Posegga. leanEA: A Lean Evolving Algebra Compiler. In Proceedings, Annual Conference of the European Association for ComputerScience Logic (CSL'95), Paderborn, Germany, pages 64-85, Springer, 1996. bibtex ...
     
  • J. Posegga and K. Schneider. A First-Order Calculus Based on Propositional BDDs. In Leonie Dreschler-Fischer, Simone Pribbenow (Ed.): KI-95 Activities, Gesellschaft f. Informatik, Bonn, sep, 1995. pdf...  bibtex ...
     
  • B. Beckert and J. Posegga. leanEA: A Poor Man's EvolvingAlgebra Compiler. In Andreas Krall, Ulrich Geske (Ed): 11. Workshop Logische Programmierung, GMD-Studien Nr. 270, sep, 1995. pdf...  bibtex ...
     
  • B. Beckert and J. Posegga. leanTaP: Lean Tableau-Based Theorem Proving. In Proc. of 12th Conference on Automated Deduction, Springer, Jun, 1994. pdf...  bibtex ...
     
  • B. Beckert and J. Posegga. Lean Theorem Proving: Maximal Efficiency from Minimal Means. In Working Notes, AISB Workshop ``Automated Reasoning: Closing the Gap betweenTheory and Practice'', Leeds, England, pages 7-8, apr, 1994. pdf...  bibtex ...
     
  • J. Goubault and J. Posegga. BDDs and Automated Deduction. In Proc. 8th International Symposium on Methodologies for Intelligent Systems, Springer, Oct, 1994. pdf...  bibtex ...
     
  • J. Posegga. Compiling Proof Search in Semantic Tableaux. In Proc. 7th International Symposium on Methodologies for Intelligent Systems, pages 67-77, Springer, Jun, 1993. pdf...  bibtex ...
     
  • J. Posegga and K. Schneider. Deduction with First-order BDDs. In Basin et.al.: Proc. 2nd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseilles, France. Max-Planck-Institut für Informatik, Saarbrücken, Germany, 1993. bibtex ...
     
  • J. Posegga. First-order Deduction with Binary Decision Diagrams.  submitted pdf...  bibtex ...
     
  • J. Posegga and B. Ludäscher. Towards First-order Deduction Based on Shannon Graphs. In Proc. German Workshop on Artificial Intelligence, Springer, 1992. bibtex ...
     
  • H. Müller, G. Moerkotte and J. Posegga. Aspects of Consistency Driven Planning. In Proc. Third International Workshop on the Deductive Approach to Information Systems and Databases, Sept, 1992. bibtex ...
     
  • J. Posegga. First-order Shannon Graphs. In Proc. Workshop on Theorem Proving with Analytic Tableau and Related Methods, published by: Universität Karlsruhe, Institut für Logik, Komplexität und Deduktionssysteme, technical report 8/92, Mar, 1992. bibtex ...
     
  • J. Posegga. First-order Shannon Graphs. In Intern. Conf. on Fifth Generation Computer Systems / Workshop on Automated Deduction, June, 1992. bibtex ...
     
  • H. Müller, G. Moerkotte and J. Posegga. Consistency Driven Planning. In Proc. 5th Portuguese Conference on Artificial Intelligence, Springer, Oct, 1991. bibtex ...
     
  • G. Moerkotte and J. Posegga. Consistency Driven Planning. In 5th GI-Workshop ``Planen und Konfigurieren'', 1991. bibtex ...
     
  • J. Dix, J. Posegga and P.H. Schmitt. Modal Logic for AI Planning. In First International Conference on Expert Planning Systems, Jul, 1990. pdf...  bibtex ...
     
  • G. Moerkotte and J. Posegga. Towards the Integration of Deductive Databases and Planning Systems. In GI-Workshop ``Planen und Konfigurieren'', published by Forschungsinstitut für anwedungsorientierte Wissensverarbeitung (technical report), 1990. bibtex ...
     

Patents and Other Publications

  • H. de Meer, M. Liedel, H. C. Pöhls, J. Posegga and K. Samelin. Indistinguishability of One-Way Accumulators. Technical Report of Faculty of Computer Science and Mathematics (FIM), University of Passau, Number MIP-1210, 2012. pdf...  bibtex ...
     
  • K. Samelin, H. C. Pöhls, J. Posegga and H. de Meer. Redactable vs. Sanitizable Signatures. Technical Report of Faculty of Computer Science and Mathematics (FIM), University of Passau, Number MIP-1208, 2012. bibtex ...
     
  • H. C. Pöhls, K. Samelin, J. Posegga and H. de Meer. Transparent Mergeable Redactable Signatures with Signer Commitment and Applications. Technical Report of Faculty of Computer Science and Mathematics (FIM), University of Passau, Number MIP-1206, August, 2012. pdf...  bibtex ...
     
  • H. C. Pöhls, K. Samelin, J. Posegga and H. de Meer. Length-Hiding Redactable Signatures from One-Way Accumulators in O(n). Technical Report of Faculty of Computer Science and Mathematics (FIM), University of Passau, Number MIP-1201, 2012. pdf...  bibtex ...
     
  • J. Haller, L. Gomez and J. Posegga. Architektur für ein sicheres Senden von Firmennachrichten / Enterprise Secure Messaging Architecture. United States Patent Office, US 2004/0068649 A1; Europäisches Patentamt, EP 1 532 774 A2; Australian Patent Office AU 2003 271 569 A8, 2004. bibtex ...
     
  • J. Posegga, H. Vogt and R. Kehr. Kartenterminal und Verfahren zum Betreiben eines Kartenterminals / Card terminal and method for operating a card terminal. Europäisches Patentamt, EP 1 350 230 A2; United States Patent Office, US 2003/0056019 A1; Deutsches Patentamt DE 10 015 775 A1, 2003. bibtex ...
     
  • J. Posegga and H. Vogt. Ein Verfahren zur Prüfung von Java-Bytecode-Programmen auf Sicherheitseigenschaften / Method for Checking Java Byte Code Programs for Security Characeristics. Weltorganisation für geistiges Eigentum, PCT/EO99/04438, WO 00/00890; US Patent Office, PCT/EP99/04438; "Osterreichisches Patentamt, AT 022 553 6E; European Patent Office, EP 1 088 270 B1, 2002. bibtex ...
     
  • J. Posegga and R. Kehr. Verfahren und Vorrichtung zum digitalen Signieren einer Transaktion / Method and Device for Digitally Signing a Transaction. Deutsches Patentamt, DE 101 16 794 A1; European Patent Office, EP 1 384 130 A2; Weltorganisation für geistiges Eigentum, WO 2 002 086 683 A3, 2002. bibtex ...
     
  • R. Kehr and J. Posegga. Verfahren und Vorrichtung zum digitalen Signieren von Transaktionen unter Miteinbeziehung von Benutzer-Interaktion. Weltorganisation fuer geistiges Eigentum, WO 02/086683 A2, 31. Oktober, 2002. bibtex ...
     
  • J. Posegga and H. Vogt. Method for Checking Java Byte Code Programs for Security Characeristics. U.S. Department of Commerce, Patent and Trademark Office, Internal ApplicationNo. PCT/EP99/04438, 2002. bibtex ...
     
  • J. Posegga, H. Vogt and R. Kehr. Eine Vorrichtung zur Erhöhung der Sicherheit bei Digitalen Signaturen / Method to improve security of systems using digital signatures. Deutsches Patentamt, Akz 199 23 807.3; European Patent Office, EP 1 054 364 A2; Weltorganisation für geistiges Eigentum, WO 02/086683 A3, 2000. bibtex ...
     
  • R. Kehr, J. Posegga and H. Vogt. Kartenmaterial und Verfahren zum Betreiben eines Kartenterminals. Deutsches Patentamt, Akz 100 15 775.0, 4 October, 2000. bibtex ...
     
  • J. Posegga and H. Vogt. Ein Verfahren zur Sicherheitsüberprüfung von Java Bytecode. Weltorganisation für geistiges Eigentum, PCT/EO99/04438, WO 00/00890, 2000. bibtex ...
     
  • A. Gavras, F. Mattern and J. Posegga. Future Services for Networked Devices (Workshop Proceedings)., 1999. paper...  bibtex ...
     
  • J. Posegga. Netzsteuerbares GSM-Mobilfunkgerät / GSM mobile radio apparatus, which can be controlled by the network. Deutsches Patentamt, DE 197 13 965 A 1; Europäisches Patentamt, EP 0 138 413 0A2, 1998. bibtex ...
     
  • J. Posegga. Security in the Context of Java Smartcards and Jini (invited talk). DERA Workshop on Security Architectures, British Defense Research Administration (DERA), Oct., 1998.  (no publically available proceedings) bibtex ...
     
  • J. Posegga. Verfahren und Vorrichtung zur Nutzung eines in einem Telekommunikationsnetz zur Verfügung gestellten Dienstes / Method for using Service freely available in electric communication network. Deutsches Patentamt, DE 197 13 966.3; Japanese Patent Office, 10301789 A; United States Patent Office, US 2002/0057767 A1, 1997. bibtex ...
     
  • J. Posegga. Netzsteuerbares GSM-Mobilfunkgerät. Deutsches Patentamt, H04M 1/21 Akz 197 13 965.5, Europäisches Patentamt98102843.4, 1997. bibtex ...
     
  • J. Posegga and P. H. Schmitt. Implementing Tableau-based Deduction. Technical Report of Universität Karlsruhe, Fakultät für Informatik, Number 12, 1996. bibtex ...
     
  • J. Posegga. Using clam for Proving Theorems in Tableau Calculus. Technical Report of University of Edinburgh, Dept. of AI, Number 609, Oct., 1990. pdf...  bibtex ...
     
  • J. Dix, J. Posegga and P. H. Schmitt. Plangenerierung und nichtklassische Logiken. Technical Report of Universität Karlsruhe, Fakultät für Informatik, Number 6/90, Feb, 1990. bibtex ...
     

 

  Impressum Last modified: 24/02/2015 - 18:12:59 by jp  Seitenanfang