Michael Lackner

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 2

Top Topics

Buffer Overflow

Static Analysis

Top Venues

Frontiers Robotics AI

Publications

Gabriel Dämmer, Michael Lackner, Sonja Laicher, Rüdiger Neumann, Zoltan Major
Corrigendum: Design of an Inkjet-Printed Rotary Bellows Actuator and Simulation of its Time-Dependent Deformation Behavior. Frontiers Robotics AI 8 (2021)
Gabriel Dämmer, Michael Lackner, Sonja Laicher, Rüdiger Neumann, Zoltan Major
Design of an Inkjet-Printed Rotary Bellows Actuator and Simulation of its Time-Dependent Deformation Behavior. Frontiers Robotics AI 8 (2021)
Michael Lackner, Reinhard Berlach, Reinhold Weiss, Christian Steger
Countering type confusion and buffer overflow attacks on Java smart cards by data type sensitive obfuscation. CS2@HiPEAC (2014)
Michael Lackner, Reinhard Berlach, Michael Hraschan, Reinhold Weiss, Christian Steger
A Fault Attack Emulation Environment to Evaluate Java Card Virtual-Machine Security. DSD (2014)
Guillaume Bouffard, Michael Lackner, Jean-Louis Lanet, Johannes Loinig
Heap ... Hop! Heap Is Also Vulnerable. CARDIS (2014)
Reinhard Berlach, Michael Lackner, Christian Steger, Johannes Loinig, Ernst Haselsteiner
Memory-efficient on-card byte code verification for Java cards. CS2@HiPEAC (2014)
Michael Lackner, Reinhard Berlach, Michael Hraschan, Reinhold Weiss, Christian Steger
A defensive Java Card virtual machine to thwart fault attacks by microarchitectural support. CRiSIS (2013)
Michael Lackner, Reinhard Berlach, Wolfgang Raschke, Reinhold Weiss, Christian Steger
A Defensive Virtual Machine Layer to Counteract Fault Attacks on Java Cards. WISTP (2013)
Michael Lackner, Reinhard Berlach, Johannes Loinig, Reinhold Weiss, Christian Steger
Towards the Hardware Accelerated Defensive Virtual Machine - Type and Bound Protection. CARDIS (2012)