Marwa Zeroual
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2022–2024
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | MEDI | A Tool Support Methodology for Creating Security Cases Using Argument Patterns. | Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka |
| 2024 | VECoS | Formal Security Analysis of Deep Neural Network Architecture. | Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka |
| 2023 | EuroPLop | Formal model-based argument patterns for security cases. | Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka |
| 2023 | SAFECOMP | Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy. | Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka |
| 2022 | TrustCom | Towards logical specification of adversarial examples in machine learning. | Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka |