Frontiers in Hardware Security and Trust Theory, Design and Practice von Chang, Chip Hong

Inhaltsangabe: “… Formal verification for SoC security | Jiaji He, Xialong Guo, Yiqiang Zhao and Yier Jin -- 5.1 Introduction -- 5.2 Related work -- 5.3 Background and preliminary -- 5.4 Methodology -- 5.5 Implementations -- 5.6 Experimental results -- 5.7 Information-flow tracking-based detection -- 5.8 Conclusions -- 5.9 Discussions and future research directions -- References …”
DE-706
DE-29

Cryptology and network security 9th international conference, CANS 2010, Kuala Lumpur, Malaysia, December 12 - 14, 2010 ; proceedings

Inhaltstext
Inhaltsverzeichnis

Advances in multimodal interfaces - ICMI 2000 third international conference ; Beijing, China, October 14 - 16, 2000 ; proceedings

Inhaltsverzeichnis

Digital human modeling second international conference, ICDHM 2009, held as part of HCI International 2009, San Diego, CA, USA, July 19 - 24, 2009 ; proceedings

Inhaltsverzeichnis

Advances in multimedia information processing - PCM 2009 10th Pacific Rim Conference on Multimedia, Bangkok, Thailand, December 15-18, 2009 ; proceedings

Inhaltsverzeichnis

Frontiers in computer education

Inhaltstext
Inhaltsverzeichnis