Follow
marwa zeroual
marwa zeroual
Ph.D. Student, CEA List, Patis Saclay
Verified email at cea.fr
Title
Cited by
Cited by
Year
Constructing security cases based on formal verification of security requirements in alloy
M Zeroual, B Hamid, M Adedjouma, J Jaskolka
International Conference on Computer Safety, Reliability, and Security, 15-25, 2023
12023
Formal model-based argument patterns for security cases
M Zeroual, B Hamid, M Adedjouma, J Jaskolka
Proceedings of the 28th European Conference on Pattern Languages of Programs …, 2023
2023
Towards logical specification of adversarial examples in machine learning
M Zeroual, B Hamid, M Adedjoumaa, J Jaskolka
2022 IEEE International Conference on Trust, Security and Privacy in …, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–3