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.