Majumdar, Rupak Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Tetali, S. D., Lesani, M., Majumdar, R., & Millstein, T. (2013). MrCrypt: Static Analysis for Secure Cloud Computations. In OOPSLA’13 (pp. 271-286). New York, NY: ACM. doi:10.1145/2509136.2509554.