| 2018 | EuroCrypt | Formal Verification of Masked Hardware Implementations in the Presence of Glitches. | Roderick Bloem, Hannes Gro, Rinat Iusupov, Bettina Knighofer, Stefan Mangard, Johannes Winter |
| 2018 | FMCAD | Automata Learning for Symbolic Execution. | Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Tappler, Johannes Winter |
| 2015 | ICIDS | Film Education for Primary-School Students - Interactive Storytelling as an Educational Approach to Raise Awareness of Design Structures in Feature Films. | Regina Friess, Anke Blessing, Johannes Winter, Meike Zckler, Felix Eckerle, Felix Prosch, Philip Gondek |
| 2015 | INDIN | The ANDIX research OS - ARM TrustZone meets industrial control systems security. | Andreas Fitzek, Florian Achleitner, Johannes Winter, Daniel M. Hein |
| 2015 | IECON | Hardware-security technologies for industrial IoT: TrustZone and security controller. | Christian M. Lesjak, Daniel M. Hein, Johannes Winter |
| 2015 | TrustCom | Secure Block Device - Secure, Flexible, and Efficient Data Storage for ARM TrustZone Systems. | Daniel M. Hein, Johannes Winter, Andreas Fitzek |
| 2012 | CLOSER | Lightweight Distributed Attestation for the Cloud. | Martin Pirker, Johannes Winter, Ronald Toegl |
| 2012 | TrustCom | Experimenting with ARM TrustZone - Or: How I Met Friendly Piece of Trusted Hardware. | Johannes Winter |
| 2012 | TrustBus | Secure Embedded Platform with Advanced Process Isolation and Anonymity Capabilities. | Marc-Michael Bergfeld, Holger Bock, Roderick Bloem, Jan Blonk, Gregory Conti, Kurt Dietrich, Matthias Junk, Florian Schreiner, Stephan Spitz, Johannes Winter |
| 2010 | CCS | Towards customizable, application specific mobile trusted modules. | Kurt Dietrich, Johannes Winter |
| 2010 | ICICS | A Secure and Practical Approach for Providing Anonymity Protection for Trusted Platforms. | Kurt Dietrich, Johannes Winter |
| 2008 | CCS | Trusted computing building blocks for embedded linux-based ARM trustzone platforms. | Johannes Winter |