Login / Signup
Marwa Zeroual
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Covert Channel
Legal Argument
E Learning
Formal Verification
Top Venues
SAFECOMP Workshops
EuroPLoP
TrustCom
</>
Publications
</>
Marwa Zeroual
,
Brahim Hamid
,
Morayo Adedjouma
,
Jason Jaskolka
ormal model-based argument patterns for security cases.
EuroPLoP
(2023)
Marwa Zeroual
,
Brahim Hamid
,
Morayo Adedjouma
,
Jason Jaskolka
Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy.
SAFECOMP Workshops
(2023)
Marwa Zeroual
,
Brahim Hamid
,
Morayo Adedjouma
,
Jason Jaskolka
Towards logical specification of adversarial examples in machine learning.
TrustCom
(2022)