Towards logical specification of adversarial examples in machine learning. - Marwa Zeroual; Brahim Hamid; Morayo Adedjouma; Jason Jaskolka (TrustCom, 2022)

Formal model-based argument patterns for security cases. - Marwa Zeroual; Brahim Hamid; Morayo Adedjouma; Jason Jaskolka (EuroPLoP, 2023)

Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy. - Marwa Zeroual; Brahim Hamid; Morayo Adedjouma; Jason Jaskolka (SAFECOMP Workshops, 2023)

A Tool Support Methodology for Creating Security Cases Using Argument Patterns. - Marwa Zeroual; Brahim Hamid; Morayo Adedjouma; Jason Jaskolka (MEDI, 2024)

Formal Security Analysis of Deep Neural Network Architecture. - Marwa Zeroual; Brahim Hamid; Morayo Adedjouma; Jason Jaskolka (VECoS, 2024)