Johannes Winter

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 6

Top Topics

Interactive Storytelling

Manufacturing Enterprises

Coloured Petri Nets

Formal Verification

Top Venues

Datenbank-Spektrum

Publications

Martin Ebel, Christian Koldewey, Johannes Winter, Roman Dumitrescu
Introduction to the Minitrack on Data-driven Services and Servitization in Manufacturing: Innovation, Engineering, Transformation, and Management. HICSS (2024)
Christian Koldewey, Martin Rabe, Roman Dumitrescu, Johannes Winter
Introduction to the Minitrack on Data-driven Services in Manufacturing: Innovation, Engineering, Transformation, and Management. HICSS (2023)
Daniyal Kazempour, Johannes Winter, Peer Kröger, Thomas Seidl
On Methods and Measures for the Inspection of Arbitrarily Oriented Subspace Clusters. Datenbank-Spektrum 21 (3) (2021)
Roderick Bloem, Hannes Groß, Rinat Iusupov, Bettina Könighofer, Stefan Mangard, Johannes Winter
Formal Verification of Masked Hardware Implementations in the Presence of Glitches. EUROCRYPT (2) (2018)
Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Tappler, Johannes Winter
Automata Learning for Symbolic Execution. FMCAD (2018)
Roderick Bloem, Hannes Groß, Rinat Iusupov, Bettina Könighofer, Stefan Mangard, Johannes Winter
Formal Verification of Masked Hardware Implementations in the Presence of Glitches. IACR Cryptol. ePrint Arch. 2017 (2017)
Andreas Fitzek, Florian Achleitner, Johannes Winter, Daniel M. Hein
The ANDIX research OS - ARM TrustZone meets industrial control systems security. INDIN (2015)
Daniel M. Hein, Johannes Winter, Andreas Fitzek
Secure Block Device - Secure, Flexible, and Efficient Data Storage for ARM TrustZone Systems. TrustCom/BigDataSE/ISPA (1) (2015)
Hannes Zach, Philip Peinsold, Johannes Winter, Peter Danner, Jakob Hatzl
Using proxy re-encryption for secure data management in an ambient assisted living application. Open Identity Summit (2015)
Christian M. Lesjak, Daniel M. Hein, Johannes Winter
Hardware-security technologies for industrial IoT: TrustZone and security controller. IECON (2015)
Regina Friess, Anke Blessing, Johannes Winter, Meike Zöckler, Felix Eckerle, Felix Prosch, Philip Gondek
Film Education for Primary-School Students - Interactive Storytelling as an Educational Approach to Raise Awareness of Design Structures in Feature Films. ICIDS (2015)
Samuel Weiser, Ronald Toegl, Johannes Winter
Measured Firmware Deployment for Embedded Microcontroller Platforms. PECCS (2014)
Johannes Winter, Klaus P. Jantke
Formal concepts and methods fostering creative thinking in digital game design. GCCE (2014)
Martin Pirker, Johannes Winter
Semi-automated Prototyping of a TPM v2 Software and Hardware Simulation Platform. TRUST (2013)
Klaus Potzmader, Johannes Winter, Daniel M. Hein, Christian Hanser, Peter Teufl, Liqun Chen
Group Signatures on Mobile Devices: Practical Experiences. TRUST (2013)
Klaus Potzmader, Johannes Winter, Daniel M. Hein
STUNT: A Simple, Transparent, User-Centered Network of Trust. EuroPKI (2013)
Ronald Toegl, Johannes Winter, Martin Pirker
Position Paper: A Path Towards Ubiquitous Protection of Media. WASH (2013)
Johannes Winter, Kurt Dietrich
A hijacker's guide to communication interfaces of the trusted platform module. Comput. Math. Appl. 65 (5) (2013)
Johannes Winter
Experimenting with ARM TrustZone - Or: How I Met Friendly Piece of Trusted Hardware. TrustCom (2012)
Martin Pirker, Daniel Slamanig, Johannes Winter
Practical Privacy Preserving Cloud Resource-Payment for Constrained Clients. Privacy Enhancing Technologies (2012)
Marc-Michael Bergfeld, Holger Bock, Roderick Bloem, Jan Blonk, Gregory Conti, Kurt Dietrich, Matthias Junk, Florian Schreiner, Stephan Spitz, Johannes Winter
Secure Embedded Platform with Advanced Process Isolation and Anonymity Capabilities. TrustBus (2012)
Martin Pirker, Johannes Winter, Ronald Toegl
Lightweight Distributed Attestation for the Cloud. CLOSER (2012)
Martin Pirker, Johannes Winter, Ronald Toegl
Lightweight Distributed Heterogeneous Attested Android Clouds. TRUST (2012)
Kurt Dietrich, Johannes Winter
Towards a Trustworthy, Lightweight Cloud Computing Framework for Embedded Systems. TRUST (2011)
Johannes Winter, Paul Wiegele, Martin Pirker, Ronald Tögl
A Flexible Software Development and Emulation Framework for ARM TrustZone. INTRUST (2011)
Johannes Winter, Kurt Dietrich
A Hijacker's Guide to the LPC Bus. EuroPKI (2011)
Kurt Dietrich, Johannes Winter, Granit Luzhnica, Siegfried Podesser
Implementation Aspects of Anonymous Credential Systems for Mobile Trusted Platforms. Communications and Multimedia Security (2011)
Liqun Chen, Kurt Dietrich, Hans Löhr, Ahmad-Reza Sadeghi, Christian Wachsmann, Johannes Winter
Lightweight Anonymous Authentication with TLS and DAA for Embedded Mobile Devices. IACR Cryptol. ePrint Arch. 2011 (2011)
David Derler, Klaus Potzmader, Johannes Winter, Kurt Dietrich
Anonymous Ticketing for NFC-Enabled Mobile Phones. INTRUST (2011)
Kurt Dietrich, Johannes Winter
Towards customizable, application specific mobile trusted modules. STC@CCS (2010)
Kurt Dietrich, Johannes Winter
A Secure and Practical Approach for Providing Anonymity Protection for Trusted Platforms. ICICS (2010)
Andreas Reiter, Georg Neubauer, Michael Kapfenberger, Johannes Winter, Kurt Dietrich
Seamless Integration of Trusted Computing into Standard Cryptographic Frameworks. INTRUST (2010)
Christian Wachsmann, Liqun Chen, Kurt Dietrich, Hans Löhr, Ahmad-Reza Sadeghi, Johannes Winter
Lightweight Anonymous Authentication with TLS and DAA for Embedded Mobile Devices. ISC (2010)
Kurt Dietrich, Johannes Winter
Implementation Aspects of Mobile and Embedded Trusted Computing. TRUST (2009)
Kurt Dietrich, Johannes Winter
Secure Boot Revisited. ICYCS (2008)
Johannes Winter
Trusted computing building blocks for embedded linux-based ARM trustzone platforms. STC (2008)