Publications

Dr. Claus Wonnemann

Patents

• Datenverarbeitungseinrichtung
  Issued 30 July 2020. Patent No DE102020003101
• Verfahren und Vorrichtung zur unterbrechungsfreien Internet Protocol (IP) Kommunikation in einem Fahrzeug
  Issued 13 June 2019. Patent No DE102019000465A1
• Verfahren zum Schutz gegen eine Manipulation einer Software eines Fahrzeugs
  Issued 14 February 2019. Patent No DE102018006368A1

Professional Journals

• Cyber-Security entlang der IoT-Lieferkette
  Datenschutz und Datensicherheit – DuD vol. 46, pages 455–458, 2022.
• Security-Architekturen für Infotainment-Steuergeräte
  ATZelektronik 14(11), pages 34-37, 2019.
• Security Architectures for Onboard Infotainment Systems
  ATZelectronics worldwide 14(11), pages 34-37, 2019.

Peer-reviewed scientific journals and conference proceedings

• Strong non-leak guarantees for workflow models
  Symposium on Applied Computing, pages 308-314, ACM, 2011. With Rafael Accorsi.
• InDico: Information flow analysis of business processes for confidentiality requirements
  Security and Trust Management, pages 194-209, Springer, 2011. With Rafael Accorsi.
• Forensic leak detection analysis for business processes models
  Advances in Digital Forensics VII, pages 101-113, Springer, 2011. With Rafael Accorsi.
• Informationsfluss-Mechanismen zur Zertifizierung von Cloud-basierten Geschäfsprozessen
  Sicher in die digitale Welt von morgen – 12. Deutscher IT-Sicherheitskongress des BSI 2011, SecuMedia 2011. With Rafael Accorsi.
• Towards forensic data flow analysis of business process logs
  IT Security Incident Management & IT Forensics, pages 3-20, IEEE, 2011. With Rafael Accorsi and Thomas Stocker.
• SWAT: A security analysis toolkit for reliably process-aware information systems
  Security Aspects of Process-aware Information Systems, pages 692-697, IEEE 2011. With Rafael Accorsi and Sebastian Dochow.
• Auditing Workflow Executions against Dataflow Policies
  International Conference on Business Information Systems, pages 207-217, Springer, 2010. With Rafael Accorsi.
• Towards Information Flow Auditing in Workflows
  Software Engineering, pages 549-554, GI, 2010.
• Static Information Flow Analysis of Workflow Models
  Business Process and Service Science, pages 194-205, GI, 2010. With Rafael Accorsi.
• On Information Flow Forensics in Business Application Scenarios
  International Computer Software and Applications Conference, pages 324-328, IEEE, 2009. With Rafael Accorsi and Günter Müller.
• Detective Information Flow Analysis for Business Processes
  Business Processes, Services Computing and Intelligent Service Management, pages 223-224, GI, 2009. With Rafael Accorsi.
• RFID – ist Sicherheit in offenen Anwendungen erreichbar?
  Wirtschafsinformatik 50(5), pages 392-399, 2008.
• Password Management for EPC Class 1 Generation 2 Transponders
  Conference on E-Commerce Technology, pages 29-35, IEEE, 2008. With Jens Strüker.
• RFID Usage in Retail beyond the Point of Sale – Temporary Deactivation as a Solution for Challenges in Privacy and Security
  European Workshop on RFID Systems and Technologies, pages 1-7, IEEE, 2007. With Jens Strüker.
• A case study of specification and verification using JML in an avionics application
  International workshop on Java technologies for real-time and embedded systems, pages 107-116, ACM, 2006. With Peter Schmitt, Isabel Tonin, Eric Jenn, Stéphane Leriche and James J. Hunt.

Theses

• Mechanismen für die Sicherheitszertifizierung formalisierter Geschäftsprozesse
  Dissertation, Albert-Ludwigs-Universität Freiburg, 2011.
• Formal Specification and Verification of Avionics Software
  Diploma Thesis, Universität Karlsruhe, 2006.