Armaiti Ardeshiricham

Author

University of California San Diego

Also Known As

Ardeshiricham, Armaiti, Armaiti Ardeshiricham

Publications

392

Citations

H-Index

Concepts

All Affiliations

University of California San Diego Northwestern Polytechnical University

About

Armaiti Ardeshiricham is an author at University of California San Diego specializing in hardware security, computer engineering, and engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	8	8	301
2	Computer Engineering	8	8	301
3	Computer Science	8	8	301
4	Computer Architecture	6	6	230
5	Electrical Engineering	1	1	17

Armaiti Ardeshiricham

Publications

301

Citations

H-Index

Page 1

	Year	Citations
Register transfer level information flow tracking for provably secure hardware design Armaiti Ardeshiricham, Wei Hu, Joshua Marxen, EngineeringHardware Verification LanguageInformation SecurityVerificationComputer Architecture	2017	124
Property specific information flow analysis for hardware security verification Wei Hu, Armaiti Ardeshiricham, Mustafa Gobulukoglu, Hardware TrojanEngineeringHardware Verification LanguageInformation SecurityVerification	2018	40
Clepsydra: Modeling timing flows in hardware designs Armaiti Ardeshiricham, Wei Hu, Ryan Kastner 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) Hardware TrojanHardware ModelingTiming FlowsEngineeringHardware Verification Language	2017	33
Towards Property Driven Hardware Security Wei Hu, Alric Althoff, Armaiti Ardeshiricham, Hardware TrojanEngineeringHardware Verification LanguageInformation SecurityVerification	2016	31
Why you should care about don't cares: Exploiting internal don't care conditions for hardware Trojans Wei Hu, Lu Zhang, Armaiti Ardeshiricham, 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) Hardware TrojanEngineeringHardware Verification LanguageInformation SecurityComputer Architecture	2017	21
VeriSketch Armaiti Ardeshiricham, Yoshiki Takashima, Sicun Gao, Hardware SecurityEngineeringHardware Verification LanguageProgram AnalysisFormal Guarantee	2019	18
Clepsydra: modeling timing flows in hardware designs Armaiti Ardeshiricham, Wei Hu, Ryan Kastner International Conference on Computer Aided Design Hardware TrojanHardware ModelingTiming FlowsEngineeringHardware Verification Language	2017	17
Examining the consequences of high-level synthesis optimizations on power side-channel Lu Zhang, Wei Hu, Armaiti Ardeshiricham, EngineeringEnergy EfficiencyPower Optimization (Eda)Electronic DesignComputer Architecture	2018	17

Page 1