Automatized high-level evaluation of security properties for RTL hardware designs. - Andrea Höller; Christopher Preschern; Christian Steger; Christian Kreiner; Armin Krieg; Holger Bock; Josef Haid (WESS, 2013)

Verifying generic IEC 61508 CPU self-tests with fault injection. - Christopher Preschern; Nermin Kajtazovic; Andrea Höller; Christian Steger; Christian Kreiner (IDT, 2013)

Hardware/Software Co-Design of Elliptic-Curve Cryptography for Resource-Constrained Applications. - Andrea Höller; Norbert Druml; Christian Kreiner; Christian Steger; Tomaz Felicijan (DAC, 2014)

Towards pattern-based reuse in safety-critical systems. - Nermin Kajtazovic; Christopher Preschern; Andrea Höller; Christian Kreiner (EuroPLoP, 2014)

Pattern-based safety development methods: overview and comparison. - Christopher Preschern; Nermin Kajtazovic; Andrea Höller; Christian Kreiner (EuroPLoP, 2014)

Reducing Certification Costs through Assured Dynamic Software Configuration. - Nermin Kajtazovic; Andrea Höller; Tobias Rauter; Christian Kreiner (ISSRE Workshops, 2014)

A Lightweight Framework for Testing Safety-critical Component-based Systems on Embedded Targets. - Nermin Kajtazovic; Andrea Höller; Tobias Rauter; Christian Kreiner (ModComp@MoDELS, 2014)

FIES: A Fault Injection Framework for the Evaluation of Self-Tests for COTS-Based Safety-Critical Systems. - Andrea Höller; Gerhard Schonfelder; Nermin Kajtazovic; Tobias Rauter; Christian Kreiner (MTV, 2014)

Towards Assured Dynamic Configuration of Safety-Critical Embedded Systems. - Nermin Kajtazovic; Christopher Preschern; Andrea Höller; Christian Kreiner (SAFECOMP Workshops, 2014)

Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages. - Andrea Höller; Nermin Kajtazovic; Christopher Preschern; Christian Kreiner (SERENE, 2014)

On Design-time Modelling and Verification of Safety-critical Component-based Systems. - Nermin Kajtazovic; Christopher Preschern; Andrea Höller; Christian Kreiner (Int. J. Networked Distributed Comput., 2014)

Diverse Compiling for Microprocessor Fault Detection in Temporal Redundant Systems. - Andrea Höller; Tobias Rauter; Johannes Iber; Christian Kreiner (CIT/IUCC/DASC/PICom, 2015)

Privilege-Based Remote Attestation: Towards Integrity Assurance for Lightweight Clients. - Tobias Rauter; Andrea Höller; Nermin Kajtazovic; Christian Kreiner (IoTPTS@AsiaCCS, 2015)

Evaluation of diverse compiling for software-fault detection. - Andrea Höller; Nermin Kajtazovic; Tobias Rauter; Kay Römer; Christian Kreiner (DATE, 2015)

QEMU-Based Fault Injection for a System-Level Analysis of Software Countermeasures Against Fault Attacks. - Andrea Höller; Armin Krieg; Tobias Rauter; Johannes Iber; Christian Kreiner (DSD, 2015)

A Virtual Fault Injection Framework for Reliability-Aware Software Development. - Andrea Höller; Georg Macher; Tobias Rauter; Johannes Iber; Christian Kreiner (DSN Workshops, 2015)

Service Deterioration Analysis (SDA): An Early Development Phase Dependability Analysis Method. - Georg Macher; Andrea Höller; Harald Sporer; Eric Armengaud; Christian Kreiner (DSN Workshops, 2015)

Patterns for automated software diversity to support security and reliability. - Andrea Höller; Tobias Rauter; Johannes Iber; Christian Kreiner (EuroPLoP, 2015)

Pattern catalog for multicore migration of embedded automotive systems. - Georg Macher; Andrea Höller; Eric Armengaud; Christian Kreiner (EuroPLoP, 2015)

Patterns for software integrity protection. - Tobias Rauter; Andrea Höller; Johannes Iber; Christian Kreiner (EuroPLoP, 2015)

Automotive embedded software: Migration challenges to multi-core computing platforms. - Georg Macher; Andrea Höller; Eric Armengaud; Christian Kreiner (INDIN, 2015)

Towards an automated generation of application confinement policies with binary analysis. - Tobias Rauter; Andrea Höller; Nermin Kajtazovic; Christian Kreiner (ISNCC, 2015)

Towards a Generic Modeling Language for Contract-Based Design. - Johannes Iber; Andrea Höller; Tobias Rauter; Christian Kreiner (ModComp@MoDELS, 2015)

Ubtl - UML Testing Profile based Testing Language. - Johannes Iber; Nermin Kajtazovic; Andrea Höller; Tobias Rauter; Christian Kreiner (MODELSWARD, 2015)

A Textual Domain-Specific Language Based on the UML Testing Profile. - Johannes Iber; Nermin Kajtazovic; Georg Macher; Andrea Höller; Tobias Rauter; Christian Kreiner (MODELSWARD (Revised Selected Papers), 2015)

A Combined Safety-Hazards and Security-Threat Analysis Method for Automotive Systems. - Georg Macher; Andrea Höller; Harald Sporer; Eric Armengaud; Christian Kreiner (SAFECOMP Workshops, 2015)

A Comprehensive Safety, Security, and Serviceability Assessment Method. - Georg Macher; Andrea Höller; Harald Sporer; Eric Armengaud; Christian Kreiner (SAFECOMP, 2015)

Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems. - Andrea Höller; Tobias Rauter; Johannes Iber; Christian Kreiner (SERENE, 2015)

Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain. - Harald Sporer; Georg Macher; Andrea Höller; Christian Kreiner (SERENE, 2015)

Software-Based Fault Recovery via Adaptive Diversity for COTS Multi-Core Processors. - Andrea Höller; Tobias Rauter; Johannes Iber; Georg Macher; Christian Kreiner (CoRR, 2015)

Constraint-Based Verification of Compositions in Safety-Critical Component-Based Systems. - Nermin Kajtazovic; Christopher Preschern; Andrea Höller; Christian Kreiner (Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, 2015)

Using Model-Based Testing for Manufacturing and Integration-Testing of Embedded Control Systems. - Tobias Rauter; Andrea Höller; Johannes Iber; Christian Kreiner (DSD, 2016)

Diverse Compiling for Software-Based Recovery of Permanent Faults in COTS Processors. - Andrea Höller; Bernhard Spitzer; Tobias Rauter; Johannes Iber; Christian Kreiner (DSN Workshops, 2016)

Patterns for designing configurability into domain-specific language elements. - Johannes Iber; Andrea Höller; Tobias Rauter; Christian Kreiner (EuroPLoP, 2016)

Static and dynamic integrity properties patterns. - Tobias Rauter; Andrea Höller; Johannes Iber; Christian Kreiner (EuroPLoP, 2016)

Development and Production Processes for Secure Embedded Control Devices. - Tobias Rauter; Andrea Höller; Johannes Iber; Christian Kreiner (EuroSPI, 2016)

Poster: Towards a Secure, Resilient, and Distributed Infrastructure for Hydropower Plant Unit Control. - Andrea Höller; Johannes Iber; Tobias Rauter; Christian Kreiner (EWSN, 2016)

Thingtegrity: A Scalable Trusted Computing Architecture for the Internet of Things. - Tobias Rauter; Andrea Höller; Johannes Iber; Christian Kreiner (EWSN, 2016)

Asset-Centric Security Risk Assessment of Software Components. - Tobias Rauter; Andrea Höller; Nermin Kajtazovic; Christian Kreiner (MILS@HiPEAC, 2016)

Security for building automation with hardware-based node authentication. - Thomas Fischer; Christian H. Lesjak; Andrea Höller; Christian Steger (ETFA, 2017)

Integration of Integrity Enforcing Technologies into Embedded Control Devices: Experiences and Evaluation. - Tobias Rauter; Andrea Höller; Johannes Iber; Michael Krisper; Christian Kreiner (PRDC, 2017)

Trusted Platform Modules in Cyber-Physical Systems: On the Interference Between Security and Dependability. - Andrea Höller; Ronald Toegl (EuroS&P Workshops, 2018)

Inter-device Sensor-Fusion for Action Authorization on Industrial Mobile Robots. - Sarah Haas; Andrea Höller; Thomas Ulz; Christian Steger (SAFECOMP, 2018)

Automated Authentication Credential Derivation for the Secured Configuration of IoT Devices. - Thomas Ulz; Thomas Pieber 002; Christian Steger; Andrea Höller; Sarah Haas; Rainer Matischek (SIES, 2018)

Learning with Errors on RSA Co-Processors. - Martin R. Albrecht; Christian Hanser; Andrea Höller; Thomas Pöppelmann; Fernando Virdia; Andreas Wallner (IACR Cryptol. ePrint Arch., 2018)

Implementing RLWE-based Schemes Using an RSA Co-Processor. - Martin R. Albrecht; Christian Hanser; Andrea Höller; Thomas Pöppelmann; Fernando Virdia; Andreas Wallner (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2019)

Optimizing Picnic for Limited Memory Resources. - Johannes Winkler; Andrea Höller; Christian Steger (DSD, 2020)