S. Malik

Latest

• Security Verification of Low-Trust Architectures