Marwa Zeroual

According to our database, Marwa Zeroual authored at least 3 papers between 2022 and 2023.

Collaborative distances:

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

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