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

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

Cached

Download Links

Other Repositories/Bibliography

DBLP

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

Venue:	In IEEE Symposium on Security and Privacy
Citations:	9 - 4 self

BibTeX

@INPROCEEDINGS{Huffmire07moatsand,
    author = {Ted Huffmire and Brett Brotherton and Gang Wang and Timothy Sherwood and Ryan Kastner and Timothy Levin and Thuy Nguyen and Cynthia Irvine},
    title = {Moats and drawbridges: An isolation primitive for reconfigurable hardware based systems},
    booktitle = {In IEEE Symposium on Security and Privacy},
    year = {2007},
    pages = {281--295}
}

Bookmark

OpenURL

Abstract

Blurring the line between software and hardware, reconfigurable devices strike a balance between the raw high speed of custom silicon and the post-fabrication flexibility of general-purpose processors. While this flexibility is a boon for embedded system developers, who can now rapidly prototype and deploy solutions with performance approaching custom designs, this results in a system development methodology where functionality is stitched together from a variety of “soft IP cores, ” often provided by multiple vendors with different levels of trust. Unlike traditional software where resources are managed by an operating system, soft IP cores necessarily have very fine grain control over the underlying hardware. To address this problem, the embedded systems community requires novel security primitives

Citations

537	The protection of information in computer systems - Saltzer, Schroeder - 1975
290	Architecture and CAD for DeepSubmicron FPGAs - Betz, Rose, et al. - 1990
180	Architectural Support for Copy and Tamper Resistant Software - Lie, Thekkath, et al. - 2000
172	Building a High-Performance, Programmable Secure Coprocessor - Smith, Weingart - 1999
164	Reflections on trusting trust - Thompson - 1984
141	Reconfigurable Computing: A Survey of Systems and Software - Compton, Hauck - 2002
123	Programmable active memories: Reconfigurable systems come of age - Vuillemin, Bertin, et al. - 1996
79	Assisting network intrusion detection with reconfigurable hardware - Franklin, Carver, et al. - 2002
56	Covert channel capacity - Millen - 1987
53	Reducing timing channels with fuzzy time - Hu - 1991
47	Jbits: A java-based interface for reconfigurable computing - Guccione, Levi, et al. - 1999
41	Architectures and algorithms for field-programmable gate arrays with embedded memory - Wilton - 1997
38	Reconfigurable Computing systems - Bondalapati, Prasanna - 2002
36	Cache missing for fun & profit - Percival - 2005
35	Shared resource matrix methodology: An approach to identifying storage and timing channels - Kemmerer - 1983
34	Reconfigurable computing: What, why, and implications for design automation - DEHON, J - 1999
31	A simulation tool for dynamically reconfigurable field programmable gate arrays - LYSAGHT, J - 1996
29	A quick safari through the reconfiguration jungle - SCHAUMONT, VERBAUWHEDE, et al. - 2001
27	Architecture for Protecting Critical Secrets in Microprocessors - Lee, Kwan, et al. - 2005
25	Security as a New Dimension in Embedded System Design - Kocher, Lee, et al. - 2004
25	Seeking Solutions in Configurable Computing - Mangione-Smith, Hutchings, et al. - 1997
24	FPGA fingerprinting techniques for protecting intellectual property - Lach, Mangione-Smith, et al. - 1998
22	Secure Configuration of Field Programmable Gate Arrays - Kean - 2001
18	P.M.: A Versatile Framework for FPGA Field Updates: An Application of Partial Self-Reconfiguation - Fong, Harper, et al. - 2003
18	Human activity detection and recognition for video surveillance - Niu, Long, et al. - 2004
15	Masking the energy behavior of DES encryption - SAPUTRA, VIJAYKRISHNAN, et al. - 2003
15	Blinkering Surveillance: Enabling Video Privacy through Computer Vision - Senior, Pankanti, et al. - 2003
14	Dynamically configurable security for SRAM FPGA bitstreams - Bossuet, Gogniat, et al. - 2004
14	Comparing Computing Machines - DeHon - 1998
14	Synthesis Techniques and Optimizations for Reconfigurable Systems - KASTNER, KAPLAN, et al. - 2004
14	Cryptographic rights management of FPGA intellectual property cores - Kean - 2002
14	Reconfigurable computing in wireless - Salefski, Caglar - 2001
12	Robust FPGA intellectual property protection through multiple small watermarks - Lach, Mangione-Smith, et al. - 1999
11	Custom Computing Machines: An Introduction - Buell, Pocek - 1995
11	CRYPTOL: High Assurance, Retargetable Crypto Development and Validation. Available from http://www.galois.com/files/Cryptol_Whitepaper.pdf - Lewis, Martin - 2003
8	Parallel FPGA-based all-pairs shortest-paths in a directed graph - Bondhugula, Devulapalli, et al. - 2006
8	FPGA viruses - Hadˇzić, Udani, et al. - 1999
7	Policydriven memory protection for reconfigurable hardware - Huffmire, Prasad, et al. - 2006
7	Y.: Using stationary-dynamic camera assemblies for wide-area video surveillance and selective attention - Jain, Kopell, et al. - 2006
7	FPGA viruses - HADZIC, UDANI, et al. - 1999
6	Safe and protected execution for the Morph/AMRM reconfigurable processor - CHIEN, J - 1999
6	Logic synthesis and optimization benchmarks - LISANKE - 1991
5	Reconfigurable security support for embedded systems - GOGNIAT, WOLF, et al. - 2006
4	A security policy based upon hardware encryption - HARPER, P - 2004
4	A flexible and efficient hardware architecture for real-time face recognition based on eigenface - Ngo, Gottumukkal, et al. - 2005
4	Power analysis of FPGAs: How practical is the attack? Field-Program - STANDAERT, OLDENZEEL, et al. - 2003
3	AccelDSP synthesis tool floating-point to fixed-point conversion of MATLAB algorithms targeting FPGAs - HILL
3	Of gates and wires - LYSAGHT, LEVI - 2004
3	Gartner Dataquest Analyst Gives ASIC, FPGA Markets Clean - McGrath - 2005
2	Efficient architectures for intrusion detection - BAKER, V