Login / Signup
Saidgani Musaev
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 4
Top Topics
Alpha Beta
Data Sources
Trusted Computing
Execution Traces
Top Venues
CoRR
A Journey from Process Algebra via Timed Automata to Model Learning
FAST
IEEE Access
</>
Publications
</>
Saidgani Musaev
,
Wan J. Fokkink
A Note on the Message Complexity of Cidon's Distributed Depth-First Search Algorithm.
A Journey from Process Algebra via Timed Automata to Model Learning
(2022)
Andrei Bacs
,
Saidgani Musaev
,
Kaveh Razavi
,
Cristiano Giuffrida
,
Herbert Bos
DUPEFS: Leaking Data Over the Network With Filesystem Deduplication Side Channels.
FAST
(2022)
Muhammad Usama Sardar
,
Saidgani Musaev
,
Christof Fetzer
Demystifying Attestation in Intel Trust Domain Extensions via Formal Verification.
IEEE Access
9 (2021)
Saidgani Musaev
,
Christof Fetzer
Transient Execution of Non-Canonical Accesses.
CoRR
(2021)