5 citations · 7 across the 3 of their papers we have counts for
4 papers
A Case for Practical Configuration Management Using Hardware-based Security Tokens
Tim Lackorzynski, Max Ostermann, Stefan Köpsell +1
Future industrial networks will consist of a complex mixture of new and legacy components, while new use cases and applications envisioned by Industry 4.0 will demand increased fle…
Secure and Efficient Tunneling of MACsec for Modern Industrial Use Cases
Tim Lackorzynski, Sebastian Rehms, Tao Li +2
Trends like Industry 4.0 will pose new challenges for future industrial networks. Greater interconnectedness, higher data volumes as well as new requirements for speeds as well as…
MigrOS: Transparent Operating Systems Live Migration Support for Containerised RDMA-applications
Maksym Planeta, Jan Bierbaum, Leo Sahaya Daphne Antony +2
Major data centre providers are introducing RDMA-based networks for their tenants, as well as for operating the underlying infrastructure. In comparison to traditional socket-based…
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
Christel Baier, Marcus Daum, Benjamin Engel +6
Reliability in terms of functional properties from the safety-liveness spectrum is an indispensable requirement of low-level operating-system (OS) code. However, with evermore comp…