3 papers
cs.CR2026
Byte-level Object Bounds Protection
Piyus Kedia
Low-level C programs remain highly vulnerable to out-of-bounds memory corruption. State-of-the-art precise defenses either introduce severe runtime overhead due to metadata memory…
cs.CR2021
CGuard: Efficient Spatial Safety for C
Piyus Kedia, Rahul Purandare, Udit Kumar Agarwal +1
Spatial safety violations are the root cause of many security attacks and unexpected behavior of applications. Existing techniques to enforce spatial safety work broadly at either…
cs.PL2017
CONFLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code
Ajay Brahmakshatriya, Piyus Kedia, Derrick Paul McKee +4
We present an instrumenting compiler for enforcing data confidentiality in low-level applications (e.g. those written in C) in the presence of an active adversary. In our approach,…