• Home
  • Search
  • A Hardware-Software Platform for Intrusion Prevention
  • Open Access IconOpen Access
  • Cite Icon33
  • https://doi.org/10.1109/micro.2004.2Copy DOI Icon

A Hardware-Software Platform for Intrusion Prevention

  • Dec 4, 2004
  • M Drinic +1 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

Preventing execution of unauthorized software on a given computer plays a pivotal role in system security. The key problem is that although a program at the beginning of its execution can be verified as authentic, its execution flow can be redirected to externally injected malicious code us-ing, for example, a buffer overflow exploit. We introduce a novel, simplified, hardware-assisted in-trusion prevention platform. Our platform introduces over-lapping of program execution and MAC verification. It par-titions a program binary into blocks of instructions. Each block is signed using a keyed MAC that is attached as a footer to the block. When the control flow reaches a partic-ular block, its instructions are speculatively executed, while dedicated hardware verifies the attached MAC at run-time. The computation state is preserved during speculative exe-cution using a mediating buffer placed between the proces-sor and L1 data cache. Upon MAC verification, the results from this buffer are propagated externally. Central to this paper is the proposal of a novel optimization technique that initially identifies instructions that are likely to stall exe-cution, and reorders basic blocks within a given instruc-tion block to minimize the execution overhead. While the presented optimization technique is problem specific, it is flexible such that it can be adjusted for different optimiza-tion goals. Preliminary results showed that our optimiza-tion methods produced an average overhead reduction of 60 % on the SPEC2000 benchmark suite and Microsoft Vi-sual FoxPro. 1.

Similar Papers
  • Research Article
  • Citations5

Enhancing Speculative Execution With Selective Approximate Computing

  • Feb 14, 2019
  • ACM Transactions on Design Automation of Electronic Systems
  • Bernard Nongpoh +3
  • Research Article
  • Citations4

Study of matching model between tariff package and user behavior

  • Jun 01, 2017
  • The Journal of China Universities of Posts and Telecommunications
  • Xiao Shuochen +2
  • Conference Article
  • Citations7

Combining speculative execution and conditional resource sharing to efficiently schedule conditional behaviors

  • Jan 01, 1999
  • A.A Kountouris +1
  • Abstract
  • Citations2

Robustness of Extended Field Cervical Target Optimization Techniques to Isocenter Offsets with a Prototype Fast Jawless Mlc System

  • Sep 23, 2017
  • International Journal of Radiation Oncology*Biology*Physics
  • L Brady +5
  • Research Article
  • Citations2

RANCANG BANGUN SISTEM INFORMASI PENGOLAHAN DATA PRAKTIK KERJA INDUSTRI DAN LAPANGAN (STUDI KASUS DI SMK PASUNDAN RANCAEKEK)

  • Oct 28, 2019
  • Encep Supriatna +1
  • Research Article

SISTEM INFORMASI SIMPAN PINJAM PADA KOPERASI HARAPAN BARU

  • Sep 01, 2022
  • Journal of Computer Science and Technology (JCS-TECH)
  • Rudi Hartanto +2
  • Conference Article
  • Citations29

Multithreaded Value Prediction

  • Feb 12, 2005
  • N Tuck +1
  • Conference Article
  • Citations24

Safe parallel programming using dynamic dependence hints

  • Oct 22, 2011
  • Chuanle Ke +5
  • Book Chapter
  • Citations3

An Efficient Hierarchical Identity-Based Encryption Scheme for the Key Escrow

  • Jan 01, 2017
  • Yuanlong Li +2
  • Conference Article
  • Citations15

Speculation control for simultaneous multithreading

  • Apr 26, 2004
  • Dongsoo Kang +1
  • Conference Article
  • Citations4

Enhancement of Power System Performances by Optimally Placed FACTS Controllers by using Different Optimization Techniques in Distribution Systems: A Taxonomical Review

  • Nov 01, 2018
  • Bindeshwar Singh +2
  • Conference Article
  • Citations32

Automatic and efficient evaluation of memory hierarchies for embedded systems

  • Nov 16, 1999
  • Santosh G Abraham +1
  • Conference Article
  • Citations27

Speculation Invariance (InvarSpec): Faster Safe Execution Through Program Analysis

  • Oct 01, 2020
  • Zirui Neil Zhao +7
  • Research Article
  • Citations119

Visualizing software changes

  • Apr 01, 2002
  • IEEE Transactions on Software Engineering
  • S.G Eick +4
  • Research Article
  • Citations36

Extending value reuse to basic blocks with compiler support

  • Apr 01, 2000
  • IEEE Transactions on Computers
  • J Huang +1
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.