Moats and drawbridges: An isolation primitive for reconfigurable hardware based systems

Proceedings - IEEE Symposium on Security and Privacy

Volumn , Issue , 2007, Pages 281-295

  Huffmire, Ted ^a   Brotherton, Brett ^a   Wang, Gang ^a   Sherwood, Timothy ^a   Kastner, Ryan ^a   Levin, Timothy ^b   Nguyen, Thuy ^b   Irvine, Cynthia ^b  

^a University of California

^b NAVAL POSTGRADUATE SCHOOL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; COMPUTER OPERATING SYSTEMS; EMBEDDED SYSTEMS; FIELD PROGRAMMABLE GATE ARRAYS (FPGA); PROBLEM SOLVING; SOFTWARE DESIGN;

INTERCONNECT TRACEABILITY; LOGICAL ISOLATION; RECONFIGURABLE HARDWARE BASED SYSTEMS;

PROGRAM PROCESSORS;

EID: 34547340370     PISSN: 10816011     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SP.2007.28     Document Type: Conference Paper

References (53)

1. Z. Baker and V. Prasanna. Efficient architectures for intrusion detection. In Twelfth Annual International Conference on Field-Programmable Logic and its Applications (FPL '04), August 2004.
2. Z. Baker and V. Prasanna. Computationally-efficient engine for flexible intrusion detection. October 2005.
3. V. Betz, J. S. Rose, and A. Marqardt. Architecture and CAD for deep-submicron FPGAs. Kluwer Academic, Boston, MA, 1999.
4. K. Bondalapati and V. Prasanna. Reconfigurable computing systems. In Proceedings of the IEEE, volume 90(7), pages 1201-17, 2002.
5. U. Bondhugula, A. Devulapalli, J. Fernando, P. Wyckoff, and P. Sadayappan. Parallel fpga-based all-pairs shortest-paths in a directed graph. In Proceedings of the 20th IEEE International Parallel and Distributed Processing Symposium (IPDPS'06), April 2006.
6. L. Bossuet, G. Gogniat, and W. Burleson. Dynamically configurable security for SRAM FPGA bitstreams. In Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS '04), Santa Fe, NM, April 2004.
7. D. Buell and K. Pocek. Custom computing machines: an introduction. In Journal of Supercomputing, volume 9(3), pages 219-29, 1995.
8. A. Chien and J. Byun. Safe and protected execution for the morph/AMRM reconfigurable processor. In Seventh Annual IEEE Symposium on Field-Programmable Custom Computing Machines, Napa, CA, April 1999.
9. K. Compton and S. Hauck. Reconfigurable computing: a survey of systems and software. In ACM Computing Surveys, volume 34(2), pages 171-210, USA, 2002. ACM.
10. A. DeHon. Comparing computing machines. In SPIE-Int. Soc. Opt. Eng. Proceedings of SPIE ?the International Society for Optical Engineering, volume 3526, pages 124-33, 1998.
11. A. DeHon and J. Wawrzynek. Reconfigurable computing: what, why, and implications for design automation. In Proceedings of the Design Automation Conference, pages 610-15, West Point, NY, 1999.
12. G. Gogniat, T. Wolf, and W Burleson. Reconfigurable security support for embedded systems. In Proceedings of the 39th Hawaii International Conference on System Sciences, 2006.
13. S. Guccione, D. Levi, and P. Sundararajan. Jbits: Java-based interface for reconfigurable computing. In Proceedings of the Second Annual Conference on Military and Aerospace Applications of Programmable Logic Devices and Technologies (MAPLD), Laurel, MD, USA, September 1999.
14. I. Hadzic, S. Udani, and J. Smith. FPGA viruses. In Proceedings of the Ninth International Workshop on Field-Programmable Logic and Applications (FPL '99), Glasgow, UK, August 1999.
15. S. Harper and P. Athanas. A security policy based upon hardware encryption. In Proceedings of the 37th Hawaii International Conference on System Sciences, 2004.
16. S. Harper, R. Fong, and P. Athanas. A versatile framework for fpga field updates: An application of partial self-reconfiguration. In Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping, June 2003.
17. T. Hill. Acceldsp synthesis tool floating-point to fixed-point conversion of matlab algorithms targeting fpgas, April 2006.
18. W.-M. Hu. Reducing timing channels with fuzzy time. In IEE Computer Society Symposium on Research in Security and Privacy, Oakland, CA, May 1991.
19. T. Huffmire, S. Prasad, T. Sherwood, and R. Kastner. Policy-driven memory protection for reconfigurable systems. In Proceedings of the European Symposium on Research in Computer Security (ES-ORICS), Hamburg, Germany, September 2006.
20. B. Hutchings, R. Franklin, and D. Carver. Assisting network intrusion detection with reconfigurable hardware. In Proceedings of the 10th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM'02), 2002.
21. A. Jain, D. Koppel, K. Kaligian, and Y.-F. Wang. Using stationary-dynamic camera assemblies for wide-area video surveillance and selective attention. In IEEE Conference on Computer Vision and Pattern Recognition, 2006.
22. R. Kastner, A. Kaplan, and M. Sarrafzadeh. Synthesis Techniques and Optimizations for Reconfigurable Systems. Kluwer Academic, Boston, MA, 2004.
23. T. Kean. Secure configuration of field programmable gate arrays. In Proceedings of the 11th International Conference on Field Programmable Logic and Applications (FPL '01), Belfast, UK, August 2001.
24. T. Kean. Cryptographic rights management of FPGA intellectual property cores. In Tenth ACM International Symposium on Field-Programmable Gate Arrays (FPGA '02), Monterey, CA, February 2002.
25. R. Kemmerer. Shared resource matrix methodology: An approach to identifying storage and timing channels. In ACM Transactions on Computer Systems, 1983.
26. P. Kocher, R. Lee, G. McGraw, A. Raghunathan, and S. Ravi. Security as a new dimension in embedded system design. In Proceedings of the 41st Design Automation Conference (DAC '04), San Diego, CA, June 2004.
27. J. Lach, W. Mangione-Smith, and M. Potkonjak. FPGA fingerprinting techniques for protecting intellectual property. In Proceedings of the 1999 IEEE Custom Integrated Circuits Conference, San Diego, CA, May 1999.
28. J. Lach, W. Mangione-Smith, and M. Potkonjak. Robust FPGA intellectual property protection through multiple small watermarks. In Proceedings of the 36th ACM/IEEE Conference on Design Automation (DAC '99), New Orleans, LA, June 1999.
29. R. Lee, P. Kwan, J. McGregor, J. Dwoskin, and Z. Wang. Architecture for protecting critical secrets in microprocessors. In Proceedings of the 32nd International Symposium on Computer Architecture (ISCA), June 2005.
30. J. Lewis and B. Martin. Cryptol: High assurance, retargetable crypto development and validation. In Military Communications Conference (MILCOM), October 2003.
31. D. Lie, C. Thekkath, M. Mitchell, P. Lincoln, D. Boneh, J. Mitchell, and M. Horowitz. Architectural support for copy and tamper resistant software. In Proceedings of the Ninth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-IX), Cambridge, MA, November 2000.
32. B. Lisanke. Logic synthesis and optimization benchmarks. Technical report, Microelectronics Center of North Carolina, Research Triangle Park, NC, USA, January 1991.
33. P. Lysaght and D. Levi. Of gates and wires. In Proceedings of the 18th International Parallel and Distributed Processing Symposium, 2004.
34. P. Lysaght and J. Stockwood. A simulation tool for dynamically reconfigurable field programmable gate arrays. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 4(3), September 1996.
35. W Mangione-Smith, B. Hutchings, D. Andrews, A. DeHon, C. Ebeling, R. Hartenstein, O. Mencer, J. Morris, K. Palem, V. Prasanna, and H. Spaanenburg. Seeking solutions in configurable computing. In Computer, volume 30(12), pages 38-43, 1997.
36. D. McGrath. Gartner dataquest analyst gives asic, fpga markets clean bill of health. EE Times, June 13 2005.
37. J. Millen. Covert channel capacity. In Proceedings of the 1987 IEEE Symposium on Security and Privacy, 1987.
38. E. Nakashima. Used cellphones hold trove of secrets that can be hard to erase. Washington Post, October 21 2006.
39. H. Ngo, R. Gottumukkal, and V. Asari. A flexible and efficient hardware architecture for real-time face recognition based on eigenface. In Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2005.
40. W. Niu, J. Long, D. Han, and Y.-F. Wang. Human activity detection and recognition for video surveillance. In Proceedings of the IEEE Multimedia and Expo Conference, Taipei, Taiwan, 2004.
41. C. Percival. Cache missing for fun and profit. In BSDCan 2005, Ottowa, Ontario, Canada, 2005.
42. B. Salefski and L. Caglar. Reconfigurable computing in wireless. In Proceedings of the Design Automation Conference (DAC), 2001.
43. J. Saltzer and M. Schroeder. The protection on information in computer systems. Communications of the ACM, 17(7), July 1974.
44. H. Saputra, N. Vijaykrishnan, M. Kandemir, M. Irwin, R. Brooks, S. Kim, and W. Zhang. Masking the energy behavior of des encryption. In IEEE DEsign Automation and Test in Europe (DATE '03), 2003.
45. P. Schaumont, I. Verbauwhede, K. Keutzer, and M. Sarrafzadeh. A quick safari through the reconfiguration jungle. In Proceedings of the Design Automation Conference, pages 172-7, 2001.
46. A. Senior, S. Pankanti, A. Hampapur, L. Brown, Y.-L. Tian, and A. Ekin. Blinkering surveillance: Enabling video privacy through computer vision. Technical Report RC22886, IBM, 2003.
47. F. Standaert, L. Oldenzeel, D. Samyde, and J. Quisquater. Power analysis of FPGAs: How practical is the attack? Field-Programmable Logic and Applications, 2778(2003):701-711, Sept. 2003.
48. The Math Works Inc. MATLAB User's Guide, 2006.
49. K. Thompson. Reflections on trusting trust. Communications of the ACM, 27(8), 1984.
50. J. Vuillemin, P. Bertin, D. Roncin, M. Shand, H. Touati, and P. Boucard. Programmable active memories: Reconfigurable systems come of age. In IEEE Transactions on Very Large Scale Integration (VLSI) Systems, volume 4(1), pages 56-69, 1996.
51. S. Weingart and S. Smith. Building a high-performance, programmable secure coprocessor. Computer Networks (Special Issue on Computer Network Security), 31:831-860, April 1999.
52. S. Wilton. Architectures and Algorithms for Field-Programmable Gate Arrays with Embedded Memory. PhD thesis, University of Toronto, 1997.
53. Xilinx Inc. Getting Started with the Embedded Development Kit (EDK), 2006.