VAST: Validation of VP-based Heterogeneous Systems against Availability Security Properties using Static Information Flow Tracking. - Ece Nur Demirhan Coskun; Muhammad Hassan 002; Mehran Goli; Rolf Drechsler (ISQED, 2023)

Security Coverage Metrics for Information Flow at the System Level. - Ece Nur Demirhan Coskun; Sallar Ahmadi-Pour; Muhammad Hassan 002; Rolf Drechsler (ASPDAC, 2024)