Chao Wang    

 Project: SC Sniffer




Description: Embedded computing devices often leak information about the software code that they execute, e.g. through power and heat dissipation or electromagnetic radiation. Such side channel information can be exploited by an adversary to deduce secret information such as passwords and cryptographic keys. The current practice of manually designing countermeasures to mitigate such attacks is labor intensive and error prone. In this project, we aim to develop new program analysis and program synthesis techniques to transform today's manually secured and verified systems into automatically secured and verified systems.