Ernst Haselsteiner

Publication Activity (10 Years)

Years Active: 1999-2014
Publications (10 Years): 0

Top Topics

Static Analysis

Memory Efficient

Top Venues

Publications

Reinhard Berlach, Michael Lackner, Christian Steger, Johannes Loinig, Ernst Haselsteiner
Memory-efficient on-card byte code verification for Java cards. CS2@HiPEAC (2014)
Johannes Loinig, Christian Steger, Reinhold Weiss, Ernst Haselsteiner
Idea: Simulation Based Security Requirement Verification for Transaction Level Models. ESSoS (2011)
Johannes Loinig, Christian Steger, Reinhold Weiss, Ernst Haselsteiner
Fast simulation based testing of anti-tearing mechanisms for small embedded systems. ETS (2010)
Johannes Loinig, Christian Steger, Reinhold Weiss, Ernst Haselsteiner
Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions. WISTP (2010)
Johannes Loinig, Christian Steger, Reinhold Weiss, Ernst Haselsteiner
Towards formal system-level verification of security requirements during hardware/software codesign. SoCC (2010)
Johannes Loinig, Christian Steger, Reinhold Weiss, Ernst Haselsteiner
Java Card Performance Optimization of Secure Transaction Atomicity Based on Increasing the Class Field Locality. SSIRI (2009)
Ernst Haselsteiner
Dynamic targets - adapting supervised learning to time series classification. IJCNN (1999)