5 citations · 14 across the 8 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017★ 3 cited
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,…
cs.PL2017
Precise Null Pointer Analysis Through Global Value Numbering
Ankush Das, Akash Lal
Precise analysis of pointer information plays an important role in many static analysis techniques and tools today. The precision, however, must be balanced against the scalability…