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.
- "Security by Compilation: An automated approach to comprehensive side-channel resistance
Chao Wang and Patrick Schaumont. ACM SIGLOG News, Vol. 4, No. 2, April
- "Synthesis of fault-attack countermeasures for cryptographic circuits
Hassan Eldib, Meng Wu, and Chao Wang. International Conference on
Computer Aided Verification (CAV'16), Toronto, Canada.
- "Quantitative masking strength:
Quantifying the power side-channel resistance of software code,"
Hassan Eldib, Chao Wang, Mostafa Taha, and Patrick Schaumont. IEEE
Transactions on Computer-Aided Design of Integrated Circuits and Systems,
2015. (extension of our DAC14 paper)
verification of software countermeasures against side-channel attacks,"
Hassan Eldib, Chao Wang, and Patrick Schaumont. ACM Transactions on
Software Engineering and Methodology, 24(2), 2014. (extension of TACAS'14 paper)
- "Synthesis of masking countermeasures
against side channel attacks," Hassan Eldib and Chao Wang. International
Conference on Computer Aided Verification (CAV'14). Vienna, Austria.
- "QMS: Evaluating the side-channel resistance
of masked software from source code," Hassan Eldib, Chao
Wang, Mostafa Taha, and Patrick Schaumont. ACM/IEEE Design Automation
Conference (DAC'14). San Francisco, CA. 2014.
- "SMT-based verification of software
countermeasures against side-channel attacks," Hassan Eldib,
Chao Wang, and Patrick Schaumont. International Conference on Tools
and Algorithms for Construction and Analysis of Systems (TACAS'14).
Grenoble, France. 2014.