Zhong Shao

End-to-end verification of information-flow security for C and assembly programs

2016

Protecting the confidentiality of information manipulated by a computing system is one of the most important challenges facing today's cybersecurity community. A promising step toward conquering this challenge is to formally verify that the end-to-end …

Task-Aware Novelty Detection for Visual-based Deep Learning in Autonomous Systems

2020

Deep-learning driven safety-critical autonomous systems, such as self-driving cars, must be able to detect situations where its trained model is not able to make a trustworthy prediction. This ability to determine the novelty of a …