Owing to the continued use of C (and C++), spatial safety violations (e.g., buffer overflows) still constitute one today's most dangerous and prevalent security vulnerabilities. To combat these violations, Checked extends with bounds-enforced checked pointer types. is essentially a gradually typed spatially safe - pointers are backwards-binary compatible legacy pointers, language allows them be...

c

Dynamic memory management requires special attention in programming. It should be fast and secure at the same time. This paper proposes a new randomized dynamic algorithm designed to meet these requirements. Randomization is key feature intended protect applications from "use-after-free" or similar attacks. At time, state consists only of one pointer, so it does not consume extra for itself. Ho...