Marwa Zeroual

According to our database, Marwa Zeroual authored at least 5 papers between 2022 and 2024.

Collaborative distances:

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

2024

Formal Security Analysis of Deep Neural Network Architecture.

Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2024

A Tool Support Methodology for Creating Security Cases Using Argument Patterns.

Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka

Proceedings of the Model and Data Engineering - 13th International Conference, 2024

2023

Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy.

Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

Formal model-based argument patterns for security cases.

Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka

Proceedings of the 28th European Conference on Pattern Languages of Programs, 2023

2022

Towards logical specification of adversarial examples in machine learning.

Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka

Proceedings of the IEEE International Conference on Trust, 2022