Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A formal model for proving hardware timing properties and identifying timing channels.

M. Qin, X. Wang, B. Mao, D. Mu, and W. Hu. Integr., (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Wang Wang

Linfang Wang

Investigation of the functions of 53BP1 in DNA demethylationL. Wang. Uni Marburg, (2009)

Lei Wang

Qingwei Wang

Hao Wang

Other publications of authors with the same name

NEMTronics: Symbiotic integration of nanoelectronic and nanomechanical devices for energy-efficient adaptive computing.X. Wang, S. Narasimhan, S. Paul, and S. Bhunia. NANOARCH, page 210-217. IEEE Computer Society, (2011)SACCI: Scan-Based Characterization Through Clock Phase Sweep for Counterfeit Chip Detection.Y. Zheng, X. Wang, and S. Bhunia. IEEE Trans. Very Large Scale Integr. Syst., 23 (5): 831-841 (2015)Sequential hardware Trojan: Side-channel aware design and placement.X. Wang, S. Narasimhan, A. Krishna, T. Mal-Sarkar, and S. Bhunia. ICCD, page 297-300. IEEE Computer Society, (2011)Role of power grid in side channel attack and power-grid-aware secure design.X. Wang, W. Yueh, D. Roy, S. Narasimhan, Y. Zheng, S. Mukhopadhyay, D. Mukhopadhyay, and S. Bhunia. DAC, page 78:1-78:9. ACM, (2013)Hardware Trojan attacks in embedded memory.T. Hoque, X. Wang, A. Basak, R. Karam, and S. Bhunia. VTS, page 1-6. IEEE Computer Society, (2018)Content Delivery for High-Speed Railway via Integrated Terrestrial-Satellite Networks.X. Wang, H. Li, W. Yao, T. Lan, and Q. Wu. WCNC, page 1-6. IEEE, (2020)Property specific information flow analysis for hardware security verification.W. Hu, A. Ardeshiricham, M. Gobulukoglu, X. Wang, and R. Kastner. ICCAD, page 89. ACM, (2018)Security Path Verification Through Joint Information Flow Analysis.W. Hu, X. Wang, and D. Mu. APCCAS, page 415-418. IEEE, (2018)Leveraging Unspecified Functionality in Obfuscated Hardware for Trojan and Fault Attacks.W. Hu, Y. Ma, X. Wang, and X. Wang. AsianHOST, page 1-6. IEEE, (2019)Golden-Free Hardware Trojan Detection with High Sensitivity Under Process Noise.T. Hoque, S. Narasimhan, X. Wang, S. Mal-Sarkar, and S. Bhunia. J. Electron. Test., 33 (1): 107-124 (2017)

BibSonomy

Disambiguation of "Wang, Xinmu"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A formal model for proving hardware timing properties and identifying timing channels.

Please choose a person to relate this publication to

Wang Wang

Linfang Wang

Lei Wang

Qingwei Wang

Hao Wang

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Wang, Xinmu"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML A formal model for proving hardware timing properties and identifying timing channels.

Please choose a person to relate this publication to

Wang Wang

Linfang Wang

Lei Wang

Qingwei Wang

Hao Wang

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A formal model for proving hardware timing properties and identifying timing channels.