Alvi Jawad

According to our database, Alvi Jawad authored at least 8 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

A Survey of the Security Challenges and Requirements for IoT Operating Systems.

Alvi Jawad

CoRR, 2023

Modeling Reactive Game Agents Using The Cell-Devs Modeling Formalism.

Alvi Jawad, Cristina Ruiz Martin, Gabriel A. Wainer

Proceedings of the Winter Simulation Conference, 2023

Single and Combined Cyberattack Impact on Industrial Wastewater Systems.

Alvi Jawad, Jason Jaskolka

Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023

2022

A Formal Analysis of the Efficacy of Rebooting as a Countermeasure Against IoT Botnets.

Alvi Jawad, Luke Newton, Ashraf Matrawy, Jason Jaskolka

Proceedings of the IEEE International Conference on Communications, 2022

Defense Models for Data Recovery in Industrial Control Systems.

Alvi Jawad, Jason Jaskolka

Proceedings of the Foundations and Practice of Security - 15th International Symposium, 2022

2021

Analyzing the Impact of Cyberattacks on Industrial Control Systems using Timed Automata.

Alvi Jawad, Jason Jaskolka

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

A Security Property Decomposition Argument Pattern for Structured Assurance Case Models.

Jason Jaskolka, Alvi Jawad, Joe Samuel, Brahim Hamid

Proceedings of the EuroPLoP'21: European Conference on Pattern Languages of Programs 2021, Graz, Austria, July 7, 2021

Modeling and Simulation Approaches for Cybersecurity Impact Analysis: State-of-the-Art.

Alvi Jawad, Jason Jaskolka

Proceedings of the Annual Modeling and Simulation Conference, 2021