Research

Research

My research interests cover privacy and security, including software and system security, as well as cryptography.

Papers

"APEx: Automated Inference of Error Specifications for C APIs" .
by Yuan Kang, Baishakhi Ray, Suman Jana, in the International Conference on Automated Software Engineering, 2016.
bibtex
"Automatically Detecting Error Handling Bugs using Error Specifications" .
by Suman Jana, Yuan Kang, Samuel Roth, Baishakhi Ray, in the USENIX Security Symposium, 2016.
bibtex
RAPPD: A language and prototype for recipient-accountable private personal data .
by Yuan Kang, Allan Schiffman, Jeff Shrager, in the International Workshop on Data Usage Management, 2014.
bibtex | slides