Onur Demir

Latest

• Survey of Approaches and Techniques for Security Verification of Computer Systems
• Secchisel: Language and tool for practical and scalable security verification of security-aware hardware architectures