CV

Research Scientist

Veridise

• Working on OrCa, a fuzz testing tool for Solidity smart contracts.
• Extended and rewrote OrCa’s [V] specification language and SMT-guided fuzzing hint language.
• Added support for on-chain fuzzing.

Graduate Student Researcher

UC Santa Barbara

• Developed novel methods to dynamically detect, quantify, and mitigate side-channel information leakage vulnerabilities on encrypted network traffic.
• Represented the work at DARPA STAC Challenges.
• Developed the TSA tool and published papers on this research.

Research Intern

NASA Ames / KBR Inc.

• Developed neural network analysis and explainability techniques.
• Worked on robustness checking for Boeing’s neural network for runway image analysis.
• Published a case study paper on findings (VSTTE 2021).

Research Intern

Carnegie Mellon University, CyLab

• Developed input generation techniques for side-channel analysis.
• Represented CMU at DARPA STAC challenges.
• Worked on neural network analysis and adversarial input generation using formal methods.

Teaching Assistant

UC Santa Barbara

• CS 130A: Data Structures and Algorithms I
• CS 130B: Data Structures and Algorithms II
• CS 162: Formal Languages and Automata

Systems and Research Engineer

Airties Wireless Networks

• Implemented mesh networking code in C that performs handover of users between Wi-Fi access points.

PhD

University of California, Santa Barbara

Computer Science

• Dissertation: Detection, Quantification and Mitigation of Network Side Channels
• Advisor: Tevfik Bultan

B.S.

Boğaziçi University

Computer Engineering