Alvi Jawad

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 8

Top Topics

Impact Analysis

Industrial Applications

Discretionary Access Control

Top Venues

Publications

Alvi Jawad, Cristina Ruiz Martin, Gabriel A. Wainer
Modeling Reactive Game Agents Using The Cell-Devs Modeling Formalism. WSC (2023)
Alvi Jawad
A Survey of the Security Challenges and Requirements for IoT Operating Systems. CoRR (2023)
Alvi Jawad, Jason Jaskolka
Single and Combined Cyberattack Impact on Industrial Wastewater Systems. DSA (2023)
Alvi Jawad, Luke Newton, Ashraf Matrawy, Jason Jaskolka
A Formal Analysis of the Efficacy of Rebooting as a Countermeasure Against IoT Botnets. ICC (2022)
Alvi Jawad, Jason Jaskolka
Defense Models for Data Recovery in Industrial Control Systems. FPS (2022)
Alvi Jawad, Jason Jaskolka
Analyzing the Impact of Cyberattacks on Industrial Control Systems using Timed Automata. QRS (2021)
Jason Jaskolka, Alvi Jawad, Joe Samuel, Brahim Hamid
A Security Property Decomposition Argument Pattern for Structured Assurance Case Models. EuroPLoP (2021)
Alvi Jawad, Jason Jaskolka
Modeling and Simulation Approaches for Cybersecurity Impact Analysis: State-of-the-Art. ANNSIM (2021)