Delta pointers: buffer overflow checks without the checks.

Taddeus Kroes, Koen Koning, Erik van der Kouwe, Herbert Bos, Cristiano Giuffrida

Browse the full EuroSys paper archive.