CODESSEAL: Compiler/FPGA approach to secure applications

被引:0
|
作者
Gelbart, O [1 ]
Ott, P
Narahari, B
Simha, R
Choudhary, A
Zambreno, J
机构
[1] George Washington Univ, Washington, DC 20052 USA
[2] Northwestern Univ, Evanston, IL 60208 USA
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
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.
引用
收藏
页码:530 / 535
页数:6
相关论文
共 50 条
  • [1] Design and Implementation of a Compiler with Secure Coding Rules for Secure Mobile Applications
    Son, Yunsik
    Oh, Seman
    INTERNATIONAL JOURNAL OF SECURITY AND ITS APPLICATIONS, 2012, 6 (04): : 201 - 206
  • [2] Compiler-generated communication for pipelined FPGA applications
    Ziegler, HE
    Hall, MW
    Diniz, PC
    40TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2003, 2003, : 610 - 615
  • [3] Design and implementation of the compiler with secure coding rules for developing secure mobile applications in memory usages
    Son, Yun Sik
    Lee, Yang Sun
    Oh, Se Man
    International Journal of Smart Home, 2012, 6 (04): : 153 - 168
  • [4] Accelerating DTLS on SoC FPGA for secure IoT applications
    Batmaz, Burak
    Dogan, Atakan
    INTERNET OF THINGS, 2024, 28
  • [5] C++ TO FPGA COMPILER
    ISELI, C
    IEEE CIRCUITS AND DEVICES MAGAZINE, 1995, 11 (04): : 7 - 7
  • [6] A secure compiler for session abstractions
    Corin, Ricardo
    Denielou, Pierre-Malo
    Fournet, Cedric
    Bhargavan, Karthikeyan
    Leifer, James
    JOURNAL OF COMPUTER SECURITY, 2008, 16 (05) : 573 - 636
  • [7] A Secure Compiler for ML Modules
    Larmuseau, Adriaan
    Patrignani, Marco
    Clarke, Dave
    PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2015, 2015, 9458 : 29 - 48
  • [8] FPGA Code Accelerators - The Compiler Perspective
    Najjar, Walid
    Villarreal, Jason
    2013 50TH ACM / EDAC / IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2013,
  • [9] FPGA Floating Point Datapath Compiler
    Langhammer, Martin
    VanCourt, Tom
    PROCEEDINGS OF THE 2009 17TH IEEE SYMPOSIUM ON FIELD PROGRAMMABLE CUSTOM COMPUTING MACHINES, 2009, : 259 - +
  • [10] A protocol compiler for secure sessions in ML
    Corin, Ricardo
    Denielou, Pierre-Malo
    TRUSTWORTHY GLOBAL COMPUTING, 2008, 4912 : 276 - +