Bridging Dolev-Yao Adversaries and Control Systems with Time-Sensitive Channels.

Bogdan Groza, Marius Minea

Browse the full CRITIS paper archive.