Cryptographic Protection of Cyclic Real-Time Communication in Ethernet-Based Fieldbuses: How Much Hardware is Required? - Matthias Skuballa; Andreas Walz; Heiko Bühler; Axel Sikora (ETFA, 2021)

Towards a Formal Verification of Seamless Cryptographic Rekeying in Real-Time Communication Systems. - Heiko Bühler; Andrzej Zbrzezny; Agnieszka M. Zbrzezny; Andreas Walz; Axel Sikora (IDAACS, 2021)

A Mechanism for Seamless Cryptographic Rekeying in Real-Time Communication Systems. - Heiko Bühler; Andreas Walz; Axel Sikora (WFCS, 2021)