출판 Self-Certification: Bootstrapping Certified Typecheckers in F* with Coq Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen In Proceedings of the ACM Symposium on Principles on Programming Languages | January 2012 To appear 프로젝트
출판 Population change in and around protected areas Lucas Joppa, L.N., Joppa Ecological Anthropology | January 2012
출판 Optimal Parameters for Locality-Sensitive Hashing Malcolm Slaney, Yury Lifshits, Junfeng He Proceedings of the IEEE | January 2012
출판 Quantum Algorithm for Data Fitting Nathan Wiebe, Daniel Braun, Seth Lloyd Physical Review Letters | January 2012, 제 109 권(5)
출판 Online Task Assignment in Crowdsourcing Markets Chien-Ju Ho, Jennifer Wortman Vaughan Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI) | January 2012
출판 On Black-Box Reductions between Predicate Encryption Schemes Vipul Goyal, Virendra Kumar, Satya Lokam, Mohammad Mahmoody Theory of Cryptography. TCC 2012. Lecture Notes in Computer Science | January 2012
출판 Concurrently Secure Computation in Constant Rounds Sanjam Garg, Vipul Goyal, Abhishek Jain, Amit Sahai January 2012 글쓴이 Springer, Berlin, Heidelberg, January 2012 Advances in Cryptology – EUROCRYPT 2012. EUROCRYPT 2012. Lecture Notes in Computer Science
출판 New Impossibility Results for Concurrent Composition and a Non-interactive Completeness Theorem for Secure Computation Shweta Agrawal, Vipul Goyal, Abhishek Jain, Manoj Prabhakaran, Amit Sahai January 2012 New Impossibility Results for Concurrent Composition and a Non-interactive Completeness Theorem for Secure Computation 글쓴이 Springer, Berlin, Heidelberg, January 2012 Safavi-Naini R., Canetti R. (eds) Advances in Cryptology – CRYPTO 2012. Lecture Notes in Computer Science