1 paper
Minh Ngo, David A. Naumann, Tamara Rezk
This work provides a study to demonstrate the potential of using off-the-shelf programming languages and their theories to build sound language-based-security tools. Our study focu…