research
∙
02/25/2023
A Bottom-Up Approach to a Unified Semantic Interface for Verified Compositional Compilation
Verified compositional compilation (VCC) is a notion of modular verifica...
share
research
∙
11/18/2019
TaskShuffler++: Real-Time Schedule Randomization for Reducing Worst-Case Vulnerability to Timing Inference Attacks
This paper presents a schedule randomization algorithm that reduces the ...
research
∙
06/09/2019
Novelty Detection via Network Saliency in Visual-based Deep Learning
Machine-learning driven safety-critical autonomous systems, such as self...
research
∙
05/03/2019