A Framework for Threat-Driven Cyber Security Verification of IoT Systems.

Tomas Kulik, Peter W. V. Tran-Jrgensen, Jalil Boudjadar, Carl Schultz

Browse the full ICST paper archive.