Keyword:System Security

Publications
Advancing System Security: Biometrics, Cryptography and Authorization Protocols Arun Shah EasyChair Preprint 11637
Auto Vulnerability Assessment and Penetration Testing Tools Vishal Kumar and Abhay Singh EasyChair Preprint 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