Heiko Bühler

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 3

Top Topics

Formal Verification

Protection Schemes

Blind Equalization

Communication Systems

Top Venues

Publications

Matthias Skuballa, Andreas Walz, Heiko Bühler, Axel Sikora
Cryptographic Protection of Cyclic Real-Time Communication in Ethernet-Based Fieldbuses: How Much Hardware is Required? ETFA (2021)
Heiko Bühler, Andrzej Zbrzezny, Agnieszka M. Zbrzezny, Andreas Walz, Axel Sikora
Towards a Formal Verification of Seamless Cryptographic Rekeying in Real-Time Communication Systems. IDAACS (2021)
Heiko Bühler, Andreas Walz, Axel Sikora
A Mechanism for Seamless Cryptographic Rekeying in Real-Time Communication Systems. WFCS (2021)