Functional Encryption for Inner Product Predicates from Learning with Errors, Asiacrypt, 2011. ,
DOI : 10.1007/978-3-642-25385-0_2
Probabilistic checking of proofs : A new characterization of NP, Proceedings of 33rd IEEE Symposium on Foundations of Computer Science, 1992. ,
Introduction to Pairing-Based Cryptography, 2006. ,
Functional encryption, TCC, 2011. ,
DOI : 10.1145/2366316.2366333
Conjunctive, subset and range querries on encrypted data, TCC, 2007. ,
DOI : 10.1007/978-3-540-70936-7_29
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.5164
Proofs and Algorithms : An Introduction to Logic and Computability, 2011. ,
Predicate encryption supporting disjunctions, polynomial equations, and inner products, Eurocrypt, 2008. ,
DOI : 10.1007/978-3-540-78967-3_9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.8500
Seperating minimal, intuitionist and classical logic, Notre Dame Journal of Formal Logic, vol.24, issue.4, pp.485-490, 1983. ,
Proof carrying code, Popl, 1997. ,
Sequence of Games : A tool for Taming Complexity in Security Proofs, 2006. ,
Fuzzy Identity-Based Encryption, Eurocrypt, 2005. ,
DOI : 10.1007/11426639_27
Type theory and Functional Programming, 1999. ,
Functional encryption: beyond public key cryptography, 2008. ,