Armaiti Ardeshiricham

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 9

Top Topics

Hardware Designs

Information Flow

Top Venues

Publications

Wei Hu, Armaiti Ardeshiricham, Ryan Kastner
Hardware Information Flow Tracking. ACM Comput. Surv. 54 (4) (2021)
Jeremy Blackstone, Wei Hu, Alric Althoff, Armaiti Ardeshiricham, Lu Zhang, Ryan Kastner
A Unified Model for Gate Level Propagation Analysis. CoRR (2020)
Armaiti Ardeshiricham, Yoshiki Takashima, Sicun Gao, Ryan Kastner
VeriSketch: Synthesizing Secure Hardware Designs with Timing-Sensitive Information Flow Properties. CCS (2019)
Wei Hu, Armaiti Ardeshiricham, Mustafa S. Gobulukoglu, Xinmu Wang, Ryan Kastner
Property specific information flow analysis for hardware security verification. ICCAD (2018)
Lu Zhang, Wei Hu, Armaiti Ardeshiricham, Yu Tai, Jeremy Blackstone, Dejun Mu, Ryan Kastner
Examining the consequences of high-level synthesis optimizations on power side-channel. DATE (2018)
Armaiti Ardeshiricham, Wei Hu, Joshua Marxen, Ryan Kastner
Register transfer level information flow tracking for provably secure hardware design. DATE (2017)
Wei Hu, Lu Zhang, Armaiti Ardeshiricham, Jeremy Blackstone, Bochuan Hou, Yu Tai, Ryan Kastner
Why you should care about don't cares: Exploiting internal don't care conditions for hardware Trojans. ICCAD (2017)
Armaiti Ardeshiricham, Wei Hu, Ryan Kastner
Clepsydra: Modeling timing flows in hardware designs. ICCAD (2017)
Wei Hu, Armaiti Ardeshiricham, Ryan Kastner
Identifying and Measuring Security Critical Path for Uncovering Circuit Vulnerabilities. MTV (2017)