Login / Signup
Ece Nur Demirhan Coskun
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Heterogeneous Systems
Multi Threaded
Security Properties
Information Flows
Top Venues
ISQED
ASPDAC
</>
Publications
</>
Ece Nur Demirhan Coskun
,
Sallar Ahmadi-Pour
,
Muhammad Hassan
,
Rolf Drechsler
Security Coverage Metrics for Information Flow at the System Level.
ASPDAC
(2024)
Ece Nur Demirhan Coskun
,
Muhammad Hassan
,
Mehran Goli
,
Rolf Drechsler
VAST: Validation of VP-based Heterogeneous Systems against Availability Security Properties using Static Information Flow Tracking.
ISQED
(2023)