Keyword:System Security

Papers
Auto Vulnerability Assessment and Penetration Testing Tools Vishal Kumar and Abhay Singh EasyChair Preprint no. 5425
Compositional Verification of Security Properties for Embedded Execution Platforms Christoph Baumann, Oliver Schwarz and Mads Dam In:PROOFS 2017. 6th International Workshop on Security Proofs for Embedded Systems