Andreas Fuchs

Proceedings of the Annual Computer Security Applications Conference, 2023

Secure and Lightweight Over-the-Air Software Update Distribution for Connected Vehicles.

[BibT_eX]

[DOI]

Proceedings of the Annual Computer Security Applications Conference, 2023

2022

Engineering Trustworthy Systems by Minimizing and Strengthening their TCBs using Trusted Computing.

[BibT_eX]

[DOI]

PhD thesis, 2022

Analysis and Evaluation of Hardware Trust Anchors in the Automotive Domain.

[BibT_eX]

[DOI]

Ronald Heddergott

Proceedings of the ARES 2022: The 17th International Conference on Availability, Reliability and Security, Vienna,Austria, August 23, 2022

2021

Secure Role and Rights Management for Automotive Access and Feature Activation.

[BibT_eX]

[DOI]

Lukas Jäger

Tsvetoslava Vateva-Gurova

Proceedings of the ASIA CCS '21: ACM Asia Conference on Computer and Communications Security, 2021

2020

Secure Attestation of Virtualized Environments.

[BibT_eX]

[DOI]

Proceedings of the ICT Systems Security and Privacy Protection, 2020

Securing Electric Vehicle Charging Systems Through Component Binding.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2020

TrustEV: trustworthy electric vehicle charging and billing.

[BibT_eX]

[DOI]

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

HIP-20: Integration of Vehicle-HSM-Generated Credentials into Plug-and-Charge Infrastructure.

[BibT_eX]

[DOI]

Proceedings of the CSCS '20: Computer Science in Cars Symposium, 2020

HIP: HSM-based identities for plug-and-charge.

[BibT_eX]

[DOI]

Proceedings of the ARES 2020: The 15th International Conference on Availability, 2020

2019

Security Requirements Engineering in Safety-Critical Railway Signalling Networks.

[BibT_eX]

[DOI]

Markus Heinrich

Secur. Commun. Networks, 2019

2017

Runtime Firmware Product Lines Using TPM2.0.

[BibT_eX]

[DOI]

Christoph Krauß

Jürgen Repp

Proceedings of the ICT Systems Security and Privacy Protection, 2017

Rolling DICE: Lightweight Remote Attestation for COTS IoT Hardware.

[BibT_eX]

[DOI]

Lukas Jäger

Richard Petri

Proceedings of the 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy, August 29, 2017

2016

Security patterns modeling and formalization for pattern-based development of secure software systems.

[BibT_eX]

[DOI]

Brahim Hamid

Innov. Syst. Softw. Eng., 2016

Advanced Remote Firmware Upgrades Using TPM 2.0.

[BibT_eX]

[DOI]

Christoph Krauß

Jürgen Repp

Proceedings of the ICT Systems Security and Privacy Protection, 2016

2015

On the Secure Distribution of Vendor-Specific Keys in Deployment Scenarios.

[BibT_eX]

[DOI]

Nicolai Kuntze

Proceedings of the ICT Systems Security and Privacy Protection, 2015

2014

Generating Secure Service Compositions.

[BibT_eX]

[DOI]

Proceedings of the Cloud Computing and Services Sciences, 2014

Discovering Secure Service Compositions.

[BibT_eX]

[DOI]

Proceedings of the CLOSER 2014, 2014

2013

Preserving Confidentiality in Component Compositions.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 12th International Conference, 2013

2012

Redefining Security Engineering.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on New Technologies, 2012

Supporting Security Engineering at Design Time with Adequate Tooling.

[BibT_eX]

[DOI]

Jörn Eichler

Nico Lincke

Proceedings of the 15th IEEE International Conference on Computational Science and Engineering, 2012

2011

Formal Notions of Trust and Confidentiality- Enabling Reasoning about System Security.

[BibT_eX]

[DOI]

J. Inf. Process., 2011

2010

Trust in Peer-to-Peer Content Distribution Protocols.

[BibT_eX]

[DOI]

Nicolai Kuntze

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

Authentic Refinement of Semantically Enhanced Policies in Pervasive Systems.

[BibT_eX]

[DOI]

Proceedings of the Security and Privacy - Silver Linings in the Cloud, 2010

A Formal Notion of Trust - Enabling Reasoning about Security Properties.

[BibT_eX]

[DOI]

Proceedings of the Trust Management IV - 4th IFIP WG 11.11 International Conference, 2010

2009

Security and Dependability Solutions for Networks and Devices.

[BibT_eX]

[DOI]

Proceedings of the Security and Dependability for Ambient Intelligence, 2009

Final Architecture Specification of security, privacy, and incentive mechanisms

[BibT_eX]

[DOI]

CoRR, 2009

On the Security Validation of Integrated Security Solutions.

[BibT_eX]

[DOI]

Proceedings of the Emerging Challenges for Security, 2009

Identification of Security Requirements in Systems of Systems by Functional Security Analysis.

[BibT_eX]

[DOI]

Roland Rieke

Proceedings of the Architecting Dependable Systems VII, 2009

Towards a Generic Process for Security Pattern Integration.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 2009

Reliable Identities Using Off-the-Shelf Hardware Security in MANETs.

[BibT_eX]

[DOI]

Nicolai Kuntze