CODESSEAL: Compiler/FPGA approach to secure applications

Authors:
Olga Gelbart;Paul Ott;Bhagirath Narahari;Rahul Simha;Alok Choudhary;Joseph Zambreno
Affiliations:
The George Washington University, Washington, DC;The George Washington University, Washington, DC;The George Washington University, Washington, DC;The George Washington University, Washington, DC;Northwesten University, Evanston, IL;Northwesten University, Evanston, IL
Venue:
ISI'05 Proceedings of the 2005 IEEE international conference on Intelligence and Security Informatics
Year:
2005

Citing 7
Cited 4

Architectural support for copy and tamper resistant software

ASPLOS IX Proceedings of the ninth international conference on Architectural support for programming languages and operating systems
Enabling trusted software integrity

Proceedings of the 10th international conference on Architectural support for programming languages and operating systems
Protecting Software Code by Guards

DRM '01 Revised Papers from the ACM CCS-8 Workshop on Security and Privacy in Digital Rights Management
A High-Performance Flexible Architecture for Cryptography

CHES '99 Proceedings of the First International Workshop on Cryptographic Hardware and Embedded Systems
Software Security for Open-Source Systems

IEEE Security and Privacy
Hardware assisted control flow obfuscation for embedded processors

Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems
Trusting trusted hardware: towards a formal model for programmable secure coprocessors

WOEC'98 Proceedings of the 3rd conference on USENIX Workshop on Electronic Commerce - Volume 3

SPEE: a secure program execution environment tool using code integrity checking

Journal of High Speed Networks - Special issue on trusted internet workshop (TIW) 2004
Hardware-enforced fine-grained isolation of untrusted code

Proceedings of the first ACM workshop on Secure execution of untrusted code
Are hardware performance counters a cost effective way for integrity checking of programs

Proceedings of the sixth ACM workshop on Scalable trusted computing
Run-time control flow authentication: an assessment on contemporary x86 platforms

Proceedings of the 28th Annual ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

The science of security informatics has become a rapidly growing field involving different branches of computer science and information technologies. Software protection, particularly for security applications, has become an important area in computer security. This paper proposes a joint compiler/hardware infrastructure – CODESSEAL – for software protection for fully encrypted execution in which both program and data are in encrypted form in memory. The processor is supplemented with an FPGA-based secure hardware component that is capable of fast encryption and decryption, and performs code integrity verification, authentication, and provides protection of the execution control flow. This paper outlines the CODESSEAL approach, the architecture, and presents preliminary performance results.