VAST: Validation of VP-based Heterogeneous Systems against Availability Security Properties using Static Information Flow Tracking

@inproceedings{pub13057,
    author = {

Demirhan Coskun, Ece Nur
 and 

Hassan, Muhammad
 and 

Goli, Mehran
 and 

Drechsler, Rolf
},
    title = {VAST: Validation of VP-based Heterogeneous Systems against Availability Security Properties using Static Information Flow Tracking},
    booktitle = {International Symposium on Quality Electronic Design (ISQED'23). International Symposium on Quality Electronic Design (ISQED-2023), April 5-7, San Francisco, CA, United States},
    year = {2023}
}