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

Generating optimized gate level information flow tracking logic for enforcing multilevel security.

Y. Tai, W. Hu, H. Zhang, D. Mu, and X. Huang. Autom. Control. Comput. Sci., 50 (5): 361-368 (2016)

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

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)Multi-document summarization based on sentence cluster using non-negative matrix factorization.L. Yang, X. Cai, S. Pan, H. Dai, and D. Mu. J. Intell. Fuzzy Syst., 33 (3): 1867-1879 (2017)Energy-efficient border intrusion detection using wireless sensors network.T. Yang, D. Mu, W. Hu, and H. Zhang. EURASIP J. Wireless Comm. and Networking, (2014)Memory-Based High-Level Synthesis Optimizations Security Exploration on the Power Side-Channel.L. Zhang, D. Mu, W. Hu, Y. Tai, J. Blackstone, and R. Kastner. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 39 (10): 2124-2137 (2020)Gate-Level Information Flow Tracking for Security Lattices.W. Hu, D. Mu, J. Oberg, B. Mao, M. Tiwari, T. Sherwood, and R. Kastner. ACM Trans. Design Autom. Electr. Syst., 20 (1): 2:1-2:25 (2014)Counterexample-guided Spatial Flow Model Checking Methods for C Code.Y. Yu, J. Liu, and D. Mu. Int. J. Softw. Informatics, 12 (3): 263-284 (2022)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)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)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.基于局部高度与Mean Shift的三维模型信息隐藏算法 (Information Hiding Scheme for 3D Models Based on Local Height and Mean Shift Clustering Analysis).S. Ren, X. Zhao, T. Zhang, F. Shi, and D. Mu. 计算机科学, 44 (3): 187-191 (2017)

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

Generating optimized gate level information flow tracking logic for enforcing multilevel security.

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 Generating optimized gate level information flow tracking logic for enforcing multilevel security.

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

Generating optimized gate level information flow tracking logic for enforcing multilevel security.