VAST: Validation of VP-based Heterogeneous Systems against Availability Security Properties using Static Information Flow Tracking | IEEE Conference Publication | IEEE Xplore