Secure and Efficient Tunneling of MACsec for Modern Industrial Use Cases. - Tim Lackorzynski; Sebastian Rehms; Tao Li; Stefan Köpsell; Hermann Härtig (CoRR, 2022)

A Model-oriented Reasoning Framework for Privacy Analysis of Complex Systems. - Sebastian Rehms; Stefan Köpsell; Verena Klös; Florian Tschorsch (CoRR, 2024)

PermRust: A Token-based Permission System for Rust. - Lukas Gehring; Sebastian Rehms; Florian Tschorsch (CoRR, 2025)