Andrea Höller

发表

Pattern-based safety development methods: overview and comparison

Christopher Preschern, Nermin Kajtazovic, Andrea Höller, 2014, EuroPLoP '14.

QEMU-Based Fault Injection for a System-Level Analysis of Software Countermeasures Against Fault Attacks

Andrea Höller, Christian Kreiner, Armin Krieg, 2015, 2015 Euromicro Conference on Digital System Design.

Towards a Generic Modeling Language for Contract-Based Design

Andrea Höller, Christian Kreiner, Tobias Rauter, 2015, ModComp@MoDELS.

Development and Production Processes for Secure Embedded Control Devices

Andrea Höller, Christian Kreiner, Tobias Rauter, 2016, EuroSPI.

Evaluation of Diverse Compiling for Software-Fault Tolerance

Nermin Kajtazovic, Andrea Höller, Christian Kreiner, 2015, DATE 2015.

FIES: A Fault Injection Framework for the Evaluation of Self-Tests for COTS-Based Safety-Critical Systems

Nermin Kajtazovic, Andrea Höller, Christian Kreiner, 2014, 2014 15th International Microprocessor Test and Verification Workshop.

Automotive embedded software: Migration challenges to multi-core computing platforms

Eric Armengaud, Andrea Höller, Christian Kreiner, 2015, 2015 IEEE 13th International Conference on Industrial Informatics (INDIN).

Security for building automation with hardware-based node authentication

Christian Steger, Andrea Höller, Thomas Fischer, 2017, 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA).

A Comprehensive Safety, Security, and Serviceability Assessment Method

Eric Armengaud, Andrea Höller, Christian Kreiner, 2015, SAFECOMP.

How to Choose Proper Integrity Properties

Andrea Höller, Christian Kreiner, Tobias Rauter, 2016, EuroPLoP 2016.

Automated Authentication Credential Derivation for the Secured Configuration of IoT Devices

Rainer Matischek, Christian Steger, Andrea Höller, 2018, 2018 IEEE 13th International Symposium on Industrial Embedded Systems (SIES).

Patterns for designing configurability into domain-specific language elements

Andrea Höller, Christian Kreiner, Tobias Rauter, 2016, EuroPLoP.

Software-Based Fault Recovery via Adaptive Diversity for COTS Multi-Core Processors pdf

Andrea Höller, Christian Kreiner, Georg Macher, 2015, ArXiv.

Asset-Centric Security Risk Assessment of Software Components

Nermin Kajtazovic, Andrea Höller, Christian Kreiner, 2016, MILS@HiPEAC.

Patterns for Automated Software Diversity

Andrea Höller, Christian Kreiner, Tobias Rauter, 2015, EuroPLoP 2015.

Quantitative Security Estimation based on Safety Architecture Design Patterns

Christopher Preschern, Nermin Kajtazovic, Andrea Höller, 2014 .

Towards pattern-based reuse in safety-critical systems

Christopher Preschern, Nermin Kajtazovic, Andrea Höller, 2014, EuroPLoP.

Software-Based Fault Tolerance: Towards New Advances for COTS-Based Embedded Systems

Andrea Höller, 2015, DSN 2015.

Pattern catalog for multicore migration of embedded automotive systems

Eric Armengaud, Andrea Höller, Christian Kreiner, 2015, EuroPLoP.

A Combined Safety-Hazards and Security-Threat Analysis Method for Automotive Systems

Eric Armengaud, Andrea Höller, Christian Kreiner, 2014, SAFECOMP Workshops.

Patterns for software integrity protection

Andrea Höller, Christian Kreiner, Tobias Rauter, 2015, EuroPLoP.

Thingtegrity: A Scalable Trusted Computing Architecture for the Internet of Things

Andrea Höller, Christian Kreiner, Tobias Rauter, 2016, EWSN.

Diverse Compiling for Software-Based Recovery of Permanent Faults in COTS Processors

Andrea Höller, Christian Kreiner, Tobias Rauter, 2016, 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W).

Learning with Errors on RSA Co-Processors

Christian Hanser, Andrea Höller, Fernando Virdia, 2018, IACR Cryptol. ePrint Arch..

Evaluation of diverse compiling for software-fault detection

Kay Römer, Nermin Kajtazovic, Andrea Höller, 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Towards Secure Mobile Computing: Employing Power-Consumption Information to Detect Malware on Mobile Devices

Andrea Höller, Thomas Zefferer, David Derler, 2014 .

Combined variability management of business processes and software architectures

Christian Steger, Andrea Höller, Christian Kreiner, 2017, BMSD 2017.

Safety-Critical Embedded System Multi-Core Migration Pattern

Eric Armengaud, Andrea Höller, Christian Kreiner, 2015, EuroPLoP 2015.

A Lightweight Framework for Testing Safety-critical Component-based Systems on Embedded Targets

Nermin Kajtazovic, Andrea Höller, Christian Kreiner, 2014, ModComp@MoDELS.

Verifying generic IEC 61508 CPU self-tests with fault injection

Christian Steger, Christopher Preschern, Nermin Kajtazovic, 2013, 2013 8th IEEE Design and Test Symposium.

Towards an automated generation of application confinement policies with binary analysis

Nermin Kajtazovic, Andrea Höller, Christian Kreiner, 2015, 2015 International Symposium on Networks, Computers and Communications (ISNCC).

Patterns for automated software diversity to support security and reliability

Andrea Höller, Christian Kreiner, Tobias Rauter, 2015, EuroPLoP.

Automatized high-level evaluation of security properties for RTL hardware designs

Christian Steger, Christopher Preschern, Andrea Höller, 2013, WESS '13.

Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain

Andrea Höller, Christian Kreiner, Harald Sporer, 2015, SERENE.

A Textual Domain-Specific Language Based on the UML Testing Profile

Nermin Kajtazovic, Andrea Höller, Christian Kreiner, 2015, MODELSWARD.

Using Model-Based Testing for Manufacturing and Integration-Testing of Embedded Control Systems

Andrea Höller, Christian Kreiner, Tobias Rauter, 2016, 2016 Euromicro Conference on Digital System Design (DSD).

Inter-device Sensor-Fusion for Action Authorization on Industrial Mobile Robots

Christian Steger, Andrea Höller, Thomas Ulz, 2018, SAFECOMP.

Privilege-Based Remote Attestation: Towards Integrity Assurance for Lightweight Clients

Nermin Kajtazovic, Andrea Höller, Christian Kreiner, 2015, IoTPTS@AsiaCCS.

Towards Assured Dynamic Configuration of Safety-Critical Embedded Systems

Christopher Preschern, Nermin Kajtazovic, Andrea Höller, 2014, SAFECOMP Workshops.

Static and dynamic integrity properties patterns

Andrea Höller, Christian Kreiner, Tobias Rauter, 2016, EuroPLoP.

Hardware/Software Codesign of Elliptic-Curve Cryptography on a Lightweight Microprocessor for RFID

Andrea Höller, 2013 .

Service Deterioration Analysis (SDA): An Early Development Phase Dependability Analysis Method

Eric Armengaud, Andrea Höller, Christian Kreiner, 2015, 2015 IEEE International Conference on Dependable Systems and Networks Workshops.

Poster: Towards a Secure, Resilient, and Distributed Infrastructure for Hydropower Plant Unit Control

Andrea Höller, Christian Kreiner, Tobias Rauter, 2016, EWSN.

Trusted Platform Modules in Cyber-Physical Systems: On the Interference Between Security and Dependability

Andrea Höller, Ronald Toegl, Ronald Toegl, 2018, 2018 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).

Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems

Andrea Höller, Christian Kreiner, Tobias Rauter, 2015, SERENE.

A Virtual Fault Injection Framework for Reliability-Aware Software Development

Andrea Höller, Christian Kreiner, Georg Macher, 2015, 2015 IEEE International Conference on Dependable Systems and Networks Workshops.

Hardware/software co-design of elliptic-curve cryptography for resource-constrained applications

Christian Steger, Andrea Höller, Christian Kreiner, 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).

Reducing Certification Costs through Assured Dynamic Software Configuration

Nermin Kajtazovic, Andrea Höller, Christian Kreiner, 2014, 2014 IEEE International Symposium on Software Reliability Engineering Workshops.

Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages

Christopher Preschern, Nermin Kajtazovic, Andrea Höller, 2014, SERENE.

Ubtl UML testing profile based testing language

Nermin Kajtazovic, Andrea Höller, Christian Kreiner, 2015, 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

Integration of Integrity Enforcing Technologies into Embedded Control Devices: Experiences and Evaluation

Andrea Höller, Christian Kreiner, Tobias Rauter, 2017, 2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC).

On Design-time Modelling and Verification of Safety-critical Component-based Systems

Christopher Preschern, Nermin Kajtazovic, Andrea Höller, 2014, Int. J. Networked Distributed Comput..

Implementing RLWE-based Schemes Using an RSA Co-Processor

Christian Hanser, Andrea Höller, Fernando Virdia, 2018, IACR Trans. Cryptogr. Hardw. Embed. Syst..

Adaptive Dynamic Software Diversity: Towards Feedback-Based Resilience

Andrea Höller, Christian Kreiner, Tobias Rauter, 2015, DSN 2015.

Diverse Compiling for Microprocessor Fault Detection in Temporal Redundant Systems

Andrea Höller, Christian Kreiner, Tobias Rauter, 2015, 2015 IEEE International Conference on Computer and Information Technology; Ubiquitous Computing and Communications; Dependable, Autonomic and Secure Computing; Pervasive Intelligence and Computing.

Constraint-Based Verification of Compositions in Safety-Critical Component-Based Systems

Christopher Preschern, Nermin Kajtazovic, Andrea Höller, 2015, Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing.