Login / Signup
Reinhard Berlach
Publication Activity (10 Years)
Years Active: 2012-2015
Publications (10 Years): 1
Top Topics
Buffer Overflow
Java Card
Multi Tasking
Static Analysis
Top Venues
CS2@HiPEAC
CRiSIS
WISTP
CARDIS
</>
Publications
</>
Georg Macher
,
Harald Sporer
,
Reinhard Berlach
,
Eric Armengaud
,
Christian Kreiner
SAHARA: a security-aware hazard and risk analysis method.
DATE
(2015)
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)
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)