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

Theorem proof based gate level information flow tracking for hardware security verification.

M. Qin, W. Hu, X. Wang, D. Mu, and B. Mao. Comput. Secur., (2019)

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.

Christof Dejung

Mario Dejung

Karl-Heinz Dejung

Meiru Mu

Qipeng Mu

Other publications of authors with the same name

Imprecise security: quality and complexity tradeoffs for hardware information flow tracking.W. Hu, A. Becker, A. Ardeshiricham, Y. Tai, P. Ienne, D. Mu, and R. Kastner. ICCAD, page 95. ACM, (2016)CoDetect: Financial Fraud Detection With Anomaly Feature Detection.D. Huang, D. Mu, L. Yang, and X. Cai. IEEE Access, (2018)Next-App Prediction by Fusing Semantic Information With Sequential Behavior.C. Fang, Y. Wang, D. Mu, and Z. Wu. IEEE Access, (2018)A novel approach for analysing collective dynamics of large-scale multi-robot system in task allocation.J. Zhou, D. Mu, F. Yang, and G. Dai. ICIA, page 1137-1142. IEEE, (2014)Cloud Service Recommendation: State of the Art and Research Challenges.L. Guo, X. Zheng, C. Ding, D. Mu, and Z. Li. CCGRID, page 761-764. IEEE Computer Society, (2015)Towards a Moderate-Granularity Incremental Clustering Algorithm for GPU.C. Chen, D. Mu, H. Zhang, and W. Hu. CyberC, page 194-201. IEEE Computer Society, (2013)An Efficient Hybrid Hierarchical Document Clustering Method.Y. Zhu, B. Fung, D. Mu, and Y. Li. FSKD (2), page 395-399. IEEE Computer Society, (2008)978-0-7695-3305-6.Theorem proof based gate level information flow tracking for hardware security verification.M. Qin, W. Hu, X. Wang, D. Mu, and B. Mao. Comput. Secur., (2019)A Cluster Based Stable Multicast Routing Protocol in Ad Hoc Network.H. Xu, and D. Mu. EUC (2), page 723-728. IEEE Computer Society, (2008)978-0-7695-3492-3.Simultaneous information flow security and circuit redundancy in Boolean gates.W. Hu, J. Oberg, D. Mu, and R. Kastner. ICCAD, page 585-590. ACM, (2012)

BibSonomy

Disambiguation of "Mu, Dejun"

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

Theorem proof based gate level information flow tracking for hardware security verification.

Please choose a person to relate this publication to

Christof Dejung

Mario Dejung

Karl-Heinz Dejung

Meiru Mu

Qipeng Mu

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Mu, Dejun"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Theorem proof based gate level information flow tracking for hardware security verification.

Please choose a person to relate this publication to

Christof Dejung

Mario Dejung

Karl-Heinz Dejung

Meiru Mu

Qipeng Mu

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

Theorem proof based gate level information flow tracking for hardware security verification.