11 citations · 21 across the 4 of their papers we have counts for
5 papers
Hardening X.509 Certificate Issuance using Distributed Ledger Technology
Holger Kinkelin, Richard von Seck, Christoph Rudolf +1
The security of cryptographic communication protocols that use X.509 certificates depends on the correctness of those certificates. This paper proposes a system that helps to ensur…
Multi-party authorization and conflict mediation for decentralized configuration management processes
Holger Kinkelin, Heiko Niedermayer, Marc Müller +1
Configuration management in networks with highest security demands must not depend on just one administrator and her device. Otherwise, problems can be caused by mistakes or malici…
Trustworthy Configuration Management for Networked Devices using Distributed Ledgers
Holger Kinkelin, Valentin Hauner, Heiko Niedermayer +1
Numerous IoT applications, like building automation or process control of industrial sites, exist today. These applications inherently have a strong connection to the physical worl…
A Management Framework for Secure Multiparty Computation in Dynamic Environments
Marcel von Maltitz, Stefan Smarzly, Holger Kinkelin +1
Secure multiparty computation (SMC) is a promising technology for privacy-preserving collaborative computation. In the last years several feasibility studies have shown its practic…
Verifying Security Policies using Host Attributes
Cornelius Diekmann, Stephan-A. Posselt, Heiko Niedermayer +3
For the formal verification of a network security policy, it is crucial to express the verification goals. These formal goals, called security invariants, should be easy to express…