Demystifying Attestation in Intel Trust Domain Extensions via Formal Verification. - Muhammad Usama Sardar; Saidgani Musaev; Christof Fetzer (IEEE Access, 2021)

Transient Execution of Non-Canonical Accesses. - Saidgani Musaev; Christof Fetzer (CoRR, 2021)

A Note on the Message Complexity of Cidon's Distributed Depth-First Search Algorithm. - Saidgani Musaev; Wan J. Fokkink (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

DUPEFS: Leaking Data Over the Network With Filesystem Deduplication Side Channels. - Andrei Bacs; Saidgani Musaev; Kaveh Razavi; Cristiano Giuffrida; Herbert Bos (FAST, 2022)