Ernst Haselsteiner

According to our database, Ernst Haselsteiner authored at least 7 papers between 1999 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

Memory-efficient on-card byte code verification for Java cards.

Reinhard Berlach, Michael Lackner, Christian Steger, Johannes Loinig, Ernst Haselsteiner

Proceedings of the First Workshop on Cryptography and Security in Computing Systems, 2014

2011

Idea: Simulation Based Security Requirement Verification for Transaction Level Models.

Johannes Loinig, Christian Steger, Reinhold Weiss, Ernst Haselsteiner

Proceedings of the Engineering Secure Software and Systems - Third International Symposium, 2011

2010

Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions.

Johannes Loinig, Christian Steger, Reinhold Weiss, Ernst Haselsteiner

Proceedings of the Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices, 2010

Towards formal system-level verification of security requirements during hardware/software codesign.

Johannes Loinig, Christian Steger, Reinhold Weiss, Ernst Haselsteiner

Proceedings of the Annual IEEE International SoC Conference, SoCC 2010, 2010

Fast simulation based testing of anti-tearing mechanisms for small embedded systems.

Johannes Loinig, Christian Steger, Reinhold Weiss, Ernst Haselsteiner

Proceedings of the 15th European Test Symposium, 2010

2009

Java Card Performance Optimization of Secure Transaction Atomicity Based on Increasing the Class Field Locality.

Johannes Loinig, Christian Steger, Reinhold Weiss, Ernst Haselsteiner

Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

1999

Dynamic targets - adapting supervised learning to time series classification.

Ernst Haselsteiner

Proceedings of the International Joint Conference Neural Networks, 1999