EDBT 2026 Demo / reviewers in the wild / expert
Huzaifah Nadeem
dblp:365/9109
· DBLP profile ↗
3ranked-venue papers
1as first author
3since 2021 · last 2024
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 3 · 1 first-author · 3 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Tolerating Compound Threats in Critical Infrastructure Control SystemsabstractCompound threats, in which cyberattacks are targeted in the aftermath of a natural hazard, pose an important emerging threat for critical infrastructure. In this paper, we analyze the system design implications of compound threats for power grid SCADA systems for the first time. We introduce a novel compound threat model and develop a tool for analyzing resilience under this threat model. Using our tool, we compare the resilience of existing fault- and intrusion-tolerant SCADA system architectures in case studies based on two power utilities: Hawaiian Electric (HECO) and Florida Power & Light (FPL). We show that no existing system architecture adequately addresses compound threats, but that it is possible to improve resilience to such threats by explicitly considering natural hazards in the system design and by employing a new out-of-band reconfiguration mechanism for intrusion-tolerant systems. However, an important outcome of our work is that compound threats remain a challenging problem, with no complete solution. Sahiti Bommareddy, Maher Khan, Huzaifah Nadeem, Benjamin Gilby, Imes Chiu, John W. van de Lindt, Omar Nofal, Mathaios Panteli, Linton Wells, Yair Amir, Amy Babay |
SRDS | 3 |
| 2024 | PhD Forum: Evaluating and Designing Routing Protocols for Reliable Distributed Quantum SystemsabstractAs quantum computers and quantum networks become more capable, it allows for the possibility to use multiple quantum computers as part of a distributed system. Such a distributed system will have applications such as running quantum algorithms in a distributed fashion [7], leadership elections without communication [7], clock synchronisation [10], and a cryptographic protocol called quantum key distribution [1], etc. However, to create a reliable system, it is important that the underlying quantum network can reliably support the necessary communication protocols between quantum nodes. To support reliable communication in a quantum network, quantum routing algorithms - which are algorithms that plan out how to send qubits and over which subset of nodes in the network - is an active area of research. However, various design choices and algorithms exist that are developed without a realistic simulated environment that can provide rich data that can further help develop, improve, and test these algorithms. Such an environment is important because general-purpose algorithms need to take into account detailed information about how the qubit changes over the communication process - as that requirement can vary for different applications - rather than simpler probability based loss models existing algorithms were developed with. Using existing lower-level tools, we are creating a tool will help evaluate and design routing protocol by providing a variety of models - from simple to complex - to support various stages of development, as well as the ability to generate useful data to evaluate how the protocols perform in a realistic quantum network. Huzaifah Nadeem |
SRDS | 1 |
| 2023 | SoK: A Tale of Reduction, Security, and Correctness - Evaluating Program Debloating Paradigms and Their Compositions
Muaz Ali, M. Faraz Karim, Ayesha Naeem, Rukhshan Haroon, Huzaifah Nadeem, Waseem Sabir, Fahad Shaon, Fareed Zaffar, Vinod Yegneswaran, Ashish Gehani, Sazzadur Rahaman |
ESORICS (4) | 7 |