Publications

Efficient runtime-enforcement techniques for Policy weaving
- - Richard Joiner
  - Thomas Reps
  - et al.
- 2014
- FSE 2014
Conference paper
Developing enterprise mobile applications the easy way
- - Aharon Abadi
  - Yael Dubinsky
  - et al.
- 2014
- FSE 2014
Conference paper
Grail: Context-aware fixing of concurrency bugs
- - Peng Liu
  - Omer Tripp
  - et al.
- 2014
- FSE 2014
Conference paper
Panning requirement nuggets in stream of software maintenance tickets
- - Senthil Mani
  - Karthik Sankaranarayanan
  - et al.
- 2014
- FSE 2014
Conference paper
Structural data De-Anonymization: Quantification, practice, and implications
- - Shouling Ji
  - Weiqing Li
  - et al.
- 2014
- CCS 2014
Conference paper
A tale of two kernels: Towards ending kernel hardening wars with split kernel
- - Anil Kurmus
  - Robby Zippel
- 2014
- CCS 2014
Conference paper
CCS'14 Co-Located Workshop Summary for SPSM 2014
- - Kapil Singh
  - Zhenkai Liang
- 2014
- CCS 2014
Conference paper
ALETHEIA: Improving the usability of static security analysis
- - Omer Tripp
  - Salvatore Guarnieri
  - et al.
- 2014
- CCS 2014
Conference paper
Integrity, consistency, and verification of remote computation
- - Christian Cachin
- 2014
- CCS 2014
Conference paper
MACE: Detecting privilege escalation vulnerabilities in web applications
- - Maliheh Monshizadeh
  - Prasad Naldurg
  - et al.
- 2014
- CCS 2014
Conference paper