The Community for Technology Leaders
RSS Icon
Issue No.01 - January/February (2010 vol.30)
pp: 92-100
Mohit Tiwari , University of California, Santa Barbara
Xun Li , University of California, Santa Barbara
Hassan M.G. Wassel , University of California, Santa Barbara
Bita Mazloom , University of California, Santa Barbara
Shashidhar Mysore , University of California, Santa Barbara
Frederic T. Chong , University of California, Santa Barbara
Timothy Sherwood , University of California, Santa Barbara
<p>This article describes a new method for constructing and analyzing architectures that can track all information flows within a processor, including explicit, implicit, and timing flows. The key to this approach is a novel gate-level information-flow-tracking method that provides a way to create complex logical structures with well-defined information-flow properties.</p>
high-assurance systems, information-flow tracking, noninterference, timing channels, covert channels
Mohit Tiwari, Xun Li, Hassan M.G. Wassel, Bita Mazloom, Shashidhar Mysore, Frederic T. Chong, Timothy Sherwood, "Gate-Level Information-Flow Tracking for Secure Architectures", IEEE Micro, vol.30, no. 1, pp. 92-100, January/February 2010, doi:10.1109/MM.2010.17
1. D.A. Osvik, A. Shamir, and E. Tromer, "Cache Attacks and Countermeasures: The Case of AES," Proc. Topics in Cryptology (CT-RSA 06), LNCS 3860, Springer, 2006, pp. 1-20.
2. O. Aciiçmez, C.K. Koç, and J.-P. Seifert, "Predicting Secret Keys via Branch Prediction," Proc. Topics in Cryptology (CT-RSA 07), LNCS 4377, Springer, 2007, pp. 225-242.
3. R.B. Lee et al., "Architecture for Protecting Critical Secrets in Microprocessors," Proc. 32nd Ann. Int'l Symp. Computer Architecture (ISCA 05), IEEE CS Press, 2005, pp. 2-13.
4. "What Does CC EAL6+ Mean?" Open Kernel Labs Blog, 20 Nov. 2008; .
5. M. Dalton, H. Kannan, and C. Kozyrakis, "Raksha: A Flexible Information Flow Architecture for Software Security," Proc. 34th Ann. Int'l Symp. Computer Architecture (ISCA 07), ACM Press, 2007, pp. 482-493.
6. M. Tiwari et al., "Complete Information Flow Tracking from the Gates Up," Proc. 14th Int'l Conf. Architectural Support for Programming Languages and Operating Systems (ASPLOS 09), ACM Press, 2009, pp. 109-120.
7. M. Tiwari et al., "Execution Leases: A Hardware-Supported Mechanism for Enforcing Strong Non-interference," Proc. IEEE/ACM Int'l Symp. Microarchitecture (MICRO 42), IEEE CS Press, 2009, pp. 493-504.
8. P.A. Karger et al., "A Retrospective on the VAX VMM Security Kernel," IEEE Trans. Software Eng., vol. 17, no. 11, 1991, pp. 1147-1165.
9. J.K. Millen, "20 Years of Covert Channel Modeling and Analysis," Proc. IEEE Symp. Security and Privacy (SP 99), IEEE CS Press, 1999, pp. 113-114.
10. Integrity Real-Time Operating System, Green Hills Software, 2009; .
3 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool