Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Symbolic execution based test-patterns generation algorithm for hardware Trojan detection.

L. Shen, D. Mu, G. Cao, M. Qin, J. Blackstone, und R. Kastner. Computers & Security, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Tanja Munz-Körner University of Stuttgart

Max Mustermann Universität Stuttgart

Alexander Müller

Timo Müller University of Stuttgart

Janis Musso University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

A QoS Control Approach in Differentiated Web Caching Service.A. Gao, D. Mu, und Y. Hu. JNW, 6 (1): 62-70 (2011)An efficient and fair explicit congestion control protocol for high bandwidth-delay product networks.H. Wu, F. Ren, D. Mu, und X. Gong. Computer Communications, 32 (7-10): 1138-1147 (2009)Theoretical Fundamentals of Gate Level Information Flow Tracking.W. Hu, J. Oberg, A. Irturk, M. Tiwari, T. Sherwood, D. Mu, und R. Kastner. IEEE Trans. on CAD of Integrated Circuits and Systems, 30 (8): 1128-1140 (2011)QoS Guarantee in Tomcat Web Server: A Feedback Control Approach.J. Lu, G. Dai, D. Mu, J. Yu, und H. Li. CyberC, Seite 183-189. IEEE Computer Society, (2011)A GPU-accelerated Approximate Algorithm for Incremental Learning of Gaussian Mixture Model.C. Chen, D. Mu, H. Zhang, und B. Hong. IPDPS Workshops, Seite 1937-1943. IEEE Computer Society, (2012)Quantitative Analysis of Timing Channel Security in Cryptographic Hardware Design.B. Mao, W. Hu, A. Althoff, J. Matai, Y. Tai, D. Mu, T. Sherwood, und R. Kastner. IEEE Trans. on CAD of Integrated Circuits and Systems, 37 (9): 1719-1732 (2018)Property Based Formal Security Verification for Hardware Trojan Detection.M. Qin, W. Hu, D. Mu, und Y. Tai. IVSW, Seite 62-67. IEEE, (2018)Feedback Control-Based QoS Guarantees in Web Application Servers.W. Pan, D. Mu, H. Wu, und L. Yao. HPCC, Seite 328-334. IEEE Computer Society, (2008)Symbolic execution based test-patterns generation algorithm for hardware Trojan detection.L. Shen, D. Mu, G. Cao, M. Qin, J. Blackstone, und R. Kastner. Computers & Security, (2018)Bandwidth-Aware Multipath Routing Protocol for Mobile Ad Hoc Networks.Z. Zhang, G. Dai, und D. Mu. UIC, Volume 4159 von Lecture Notes in Computer Science, Seite 322-330. Springer, (2006)