Towards the Hardware Accelerated Defensive Virtual Machine - Type and Bound Protection. - Michael Lackner; Reinhard Berlach; Johannes Loinig; Reinhold Weiss; Christian Steger (CARDIS, 2012)

A defensive Java Card virtual machine to thwart fault attacks by microarchitectural support. - Michael Lackner; Reinhard Berlach; Michael Hraschan; Reinhold Weiss; Christian Steger (CRiSIS, 2013)

A Defensive Virtual Machine Layer to Counteract Fault Attacks on Java Cards. - Michael Lackner; Reinhard Berlach; Wolfgang Raschke; Reinhold Weiss; Christian Steger (WISTP, 2013)

Heap ... Hop! Heap Is Also Vulnerable. - Guillaume Bouffard; Michael Lackner; Jean-Louis Lanet; Johannes Loinig (CARDIS, 2014)

A Fault Attack Emulation Environment to Evaluate Java Card Virtual-Machine Security. - Michael Lackner; Reinhard Berlach; Michael Hraschan; Reinhold Weiss; Christian Steger (DSD, 2014)

Memory-efficient on-card byte code verification for Java cards. - Reinhard Berlach; Michael Lackner; Christian Steger; Johannes Loinig; Ernst Haselsteiner (CS2@HiPEAC, 2014)

Countering type confusion and buffer overflow attacks on Java smart cards by data type sensitive obfuscation. - Michael Lackner; Reinhard Berlach; Reinhold Weiss; Christian Steger (CS2@HiPEAC, 2014)

Design of an Inkjet-Printed Rotary Bellows Actuator and Simulation of its Time-Dependent Deformation Behavior. - Gabriel Dämmer; Michael Lackner; Sonja Laicher; Rüdiger Neumann; Zoltan Major (Frontiers Robotics AI, 2021)

Corrigendum: Design of an Inkjet-Printed Rotary Bellows Actuator and Simulation of its Time-Dependent Deformation Behavior. - Gabriel Dämmer; Michael Lackner; Sonja Laicher; Rüdiger Neumann; Zoltan Major (Frontiers Robotics AI, 2021)

A Semi-automatic Cranial Implant Design Tool Based on Rigid ICP Template Alignment and Voxel Space Reconstruction. - Michael Lackner; Behrus Puladi; Jens Kleesiek; Jan Egger; Jianning Li 002 (CoRR, 2024)