Doğuhan Gümüşoğlu

Latest

• Secchisel: Language and tool for practical and scalable security verification of security-aware hardware architectures