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

Verifying RISC-V Privilege Transition Integrity Through Symbolic Execution.

S. Tang, J. Zhu, Y. Gao, J. Zhou, D. Mu, and W. Hu. ATS, page 1-6. IEEE, (2023)

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

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)Content Distribution Stochastic Fluid Models for Multi-regions P2P Networks.Z. Deng, D. Mu, G. Dai, and W. Zhu. AWCC, volume 3309 of Lecture Notes in Computer Science, page 82-87. Springer, (2004)Nodes' Organization Mechanisms on Campus Grid Services Environment.Z. Deng, Z. Liu, H. Luo, G. Dai, X. Zhang, D. Mu, and H. Tang. GCC, volume 3251 of Lecture Notes in Computer Science, page 464-471. Springer, (2004)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)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.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)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)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)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)

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

Verifying RISC-V Privilege Transition Integrity Through Symbolic Execution.

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 Verifying RISC-V Privilege Transition Integrity Through Symbolic Execution.

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

Verifying RISC-V Privilege Transition Integrity Through Symbolic Execution.