Talks/Presentations
Selected Talks and Presentations
Synthesis of Masking Countermeasures against Side Channel Attacks
- Computer Aided Verification (CAV), Vienna, Austria, July 19, 2014.
QMS: Evaluating the Side-Channel Resistance of Masking Countermeasures against Side Channel Attacks
- Design Automation Conference (DAC), San Francisco, USA, June 5, 2014.
SMT-Based Verification of Software Countermeasures against Side-Channel Attacks
- In meeting with PROACTIVE research group, Virginia Tech, Virginia, USA, Dec. 4, 2013.
An SMT Based Method for Optimizing Arithmetic Computations in Embedded Software Code
- Formal Methods in Computer-Aided Design (FMCAD), Portland, Oregon, USA, Oct. 20-23, 2013.
- Center for Embedded Systems for Critical Applications (CESCA), Virginia Tech, Virginia, USA, Nov. 22, 2013.
Inductive Program Synthesis
- In meeting with RSS research group, Virginia Tech, Virginia, USA, Feb. 12, 2014.