Towards Automated Security Hardening Using Timed Path Conditions in Shared Bus Systems.

Jonas Becker-Kupczok, Paula Herber

Browse the full ISoLA paper archive.