Följ
marwa zeroual
marwa zeroual
Ph.D. Student, CEA List, Patis Saclay
Verifierad e-postadress på cea.fr
Titel
Citeras av
Citeras av
År
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–3