TY  - RPRT
TI  - STP/HAMPI and Computer Security
AU  - Vijay Ganesh
PY  - 2012
UR  - https://arxiv.org/abs/1204.2989
ID  - 1204.2989
ER  -