SECURE BIT: BUFFER-OVERFLOW PROTECTION

For decades, buffer-overflow attacks have remained the most persistent threat to the computer security world. The most common type of buffer-overflow attacks is an attack that changes the control flow by overflowing control data.

In this thesis, Secure Bit, architectural approach, is proposed to protect against buffer-overflow attacks on control data (return-address and function-pointer attacks in particular). Secure Bit provides a hardware bit to enforce the integrity of addresses from being modified by external data (input). Secure Bit is completely transparent to user software: providing full backward compatibility with legacy user code. It can detect and prevent all address-corrupting buffer-overflow attacks with little run-time performance penalty (almost none). Addresses passed in buffers between processes are marked insecure and control instructions using those addresses as targets will raise an exception.  An important differentiating aspect of our protocol is that once an address has been marked as insecure there is no instruction to remark it as secure. Robustness and transparency are demonstrated by emulating the hardware, and booting Linux on the emulator, running application software on that Linux, and performing known attacks.

Krerk Piromsopa