Ece Nur Demirhan Coskun, Muhammad Hassan 0002, Mehran Goli, Rolf Drechsler. VAST: Validation of VP-based Heterogeneous Systems against Availability Security Properties using Static Information Flow Tracking. In 24th International Symposium on Quality Electronic Design, ISQED 2023, San Francisco, CA, USA, April 5-7, 2023. pages 1-8, IEEE, 2023. [doi]
Abstract is missing.