Armaiti Ardeshiricham
PhD student, Department of Computer Science and Engineering
University of California San Diego
Email: aardeshi@eng.ucsd.edu
CV | google scholar
I am a PhD student working with Professor Ryan Kastner and Professor Sicun Gao in the Computer Science and Engineering department at the University of California San Diego.
I got my Bachelor's degree in Electrical Engineering from Sharif University of Technology in Tehran, Iran, majoring in Digital Systems.
My research interests include hardware security and formal methods. I'm interested in building tools which enable designing secure hardware units and verifying security properties in an automated manner.
I combine automated reasoning and program synthesis techniques to bring security analysis to the hardware design and verification process.
Research
- Hardware Security (Information Flow Tracking, Constant Time Execution, Security Verification, Side Channel Attacks)
- Formal Verification
- Program Synthesis and Repair
Publications
- VeriSketch: Synthesizing Secure Hardware Designs with Timing-Sensitive Information Flow Properties,
Armaiti Ardeshiricham,
Yoshiki Takashima,
Sicun Gao,
Ryan Kastner.
CCS'19.
[pdf]
- Property Specific Information Flow Analysis for Hardware Security Verification,
Wei Hu,
Armaiti Ardeshiricham,
Mustafa S Gobulukoglu,
Xinmu Wang,
Ryan Kastner.
ICCAD'18.
[pdf]
- Examining the Consequences of High-Level Synthesis Optimizations on Power Side-Channel,
Lu Zhang,
Wei Hu,
Armaiti Ardeshiricham,
Yu Tai,
Jeremy Blackstone,
Dejun Mu,
Ryan Kastner.
DATE'18.
[pdf]
- Clepsydra: Modeling Timing Flows in Hardware Designs,
Armaiti Ardeshiricham,
Wei Hu,
Ryan Kastner.
ICCAD'17.
[pdf]
- Register Transfer Level Information Flow Tracking for Provably Secure Hardware Design,
Armaiti Ardeshiricham,
Wei Hu,
Joshua Marxen,
Ryan Kastner.
DATE'17.
[pdf]
- Why You Should Care About Don't Cares: Exploiting Internal Don't Care Conditions for Hardware Trojans,
Wei Hu,
Lu Zhang,
Armaiti Ardeshiricham,
Jeremy Blackstone,
Bochuan Hou,
Yu Tai,
Ryan Kastner.
ICCAD'17.
[pdf]
- Imprecise Security: Quality and Complexity Tradeoffs for Hardware Information Flow Tracking,
Wei Hu,
Andrew Becker,
Armaiti Ardeshiricham,
Yu Tai,
Paolo Ienne,
Dejun Mu,
Ryan Kastner.
ICCAD'16.
[pdf]
- Identifying and measuring security critical path for uncovering circuit vulnerabilities,
Wei Hu,
Armaiti Ardeshiricham,
Ryan Kastner.
MTV'17.
[pdf]
- Towards Property Driven Hardware Security,
Wei Hu,
Alric Althoff,
Armaiti Ardeshiricham,
Ryan Kastner.
MTV'16.
[pdf]