Research http://www.cs.virginia.edu/~shelat/research/ en Copyright 2011 Thu, 27 Jan 2011 22:06:49 -0500 http://www.sixapart.com/movabletype/ http://www.rssboard.org/rss-specification Two-output Secure Computation With Malicious Adversaries Eurocrypt 2011 ]]> http://www.cs.virginia.edu/~shelat/research/2011/01/two-output_secure_computation.html http://www.cs.virginia.edu/~shelat/research/2011/01/two-output_secure_computation.html Thu, 27 Jan 2011 22:06:49 -0500 A Sub-0.5V Lattice-Based Public-Key Encryption Scheme for RFID Platforms in 130nm CMOS RFIDSEC'11 Asia]]> http://www.cs.virginia.edu/~shelat/research/2011/01/a_sub-05v_lattice-based_public.html http://www.cs.virginia.edu/~shelat/research/2011/01/a_sub-05v_lattice-based_public.html Thu, 27 Jan 2011 22:05:06 -0500 Renegotiation-safe Protocols Innovations in Computer Science '11 (ICS'11) ]]> http://www.cs.virginia.edu/~shelat/research/2011/01/renegotiation-safe_protocols.html http://www.cs.virginia.edu/~shelat/research/2011/01/renegotiation-safe_protocols.html Thu, 27 Jan 2011 22:04:21 -0500 Optimistic Concurrent Zero Knowledge Asiacrypt '10 ]]> http://www.cs.virginia.edu/~shelat/research/2011/01/optimistic_concurrent_zero_kno.html http://www.cs.virginia.edu/~shelat/research/2011/01/optimistic_concurrent_zero_kno.html Thu, 27 Jan 2011 22:03:38 -0500 Additive Combinatorics and Discrete Logarithm Based Range Protocols R. Chaabouni, H. Lipmaa, a.shelat http://www.cs.virginia.edu/~shelat/research/2011/01/additive_combinatorics_and_dis.html http://www.cs.virginia.edu/~shelat/research/2011/01/additive_combinatorics_and_dis.html Thu, 27 Jan 2011 21:58:44 -0500 Bit Encryption is Complete
Proceedings version: [pdf]
]]> http://www.cs.virginia.edu/~shelat/research/2009/08/bit_encryption_is_complete.html http://www.cs.virginia.edu/~shelat/research/2009/08/bit_encryption_is_complete.html Tue, 04 Aug 2009 10:12:43 -0500 Collusion-Free Multiparty Computation in the Mediated Model CRYPTO 2009. Santa Barbara, CA.

]]> http://www.cs.virginia.edu/~shelat/research/2009/05/collusion-free_multiparty_comp.html http://www.cs.virginia.edu/~shelat/research/2009/05/collusion-free_multiparty_comp.html Fri, 15 May 2009 12:07:39 -0500 Purely Rational Secret Sharing Theory of Cryptography Conference (TCC) 2009.

]]> http://www.cs.virginia.edu/~shelat/research/2009/05/purely_rational_secret_sharing.html http://www.cs.virginia.edu/~shelat/research/2009/05/purely_rational_secret_sharing.html Fri, 15 May 2009 12:03:18 -0500 Efficient Protocols for Set Membership and Range Proofs
To Appear in ASIACRYPT 2008

]]> http://www.cs.virginia.edu/~shelat/research/2008/08/efficient-protocols-for-set-me.html http://www.cs.virginia.edu/~shelat/research/2008/08/efficient-protocols-for-set-me.html Fri, 29 Aug 2008 08:40:49 -0500 Collusion-Free Protocols in the Mediated Model
CRYPTO 2008
]]> http://www.cs.virginia.edu/~shelat/research/2008/08/collusionfree-protocols-in-the.html http://www.cs.virginia.edu/~shelat/research/2008/08/collusionfree-protocols-in-the.html Fri, 29 Aug 2008 08:33:29 -0500 Relations Among Notions of Non-Malleability for Encryption
ASIACRYPT'07, December 2007, Kuching, Malaysia.
]]> http://www.cs.virginia.edu/~shelat/research/2007/08/relations-among-notions-of-non.html http://www.cs.virginia.edu/~shelat/research/2007/08/relations-among-notions-of-non.html Wed, 29 Aug 2007 18:26:43 -0500 Bounded CCA2-Secure Encryption
To appear in ASIACRYPT'07, December 2007, Kuching, Malaysia.

This paper is a merger of three papers: one by Cramer, Hofheinz, and Kiltz, one by Hanaoka and Imai, and one by Pass, shelat, and Vaikuntanathan.
]]> http://www.cs.virginia.edu/~shelat/research/2007/08/bounded-cca2secure-encryption.html http://www.cs.virginia.edu/~shelat/research/2007/08/bounded-cca2secure-encryption.html Wed, 29 Aug 2007 18:19:02 -0500 Cryptography from Sunspots: How to use an Imperfect Reference String To appear in Foundations of Computer Science (FOCS'07), Providence, Rhode Island, October 2007.
]]> http://www.cs.virginia.edu/~shelat/research/2007/07/cryptography-from-sunspots-how.html http://www.cs.virginia.edu/~shelat/research/2007/07/cryptography-from-sunspots-how.html Wed, 25 Jul 2007 16:34:22 -0500 Efficient Fork-Linearizable Access to Untrusted Shared Memory Principles of Distributed Computing (PODC'07), Portland, Oregan, Aug 2007.
]]> http://www.cs.virginia.edu/~shelat/research/2007/07/efficient-forklinearizable-acc.html http://www.cs.virginia.edu/~shelat/research/2007/07/efficient-forklinearizable-acc.html Wed, 25 Jul 2007 16:09:02 -0500 Simulatable Adaptive Oblivious Transfer EUROCRYPT 2007, Barcelona, Spain, May 2007. p.573-590. ]]> http://www.cs.virginia.edu/~shelat/research/2007/07/simulatable-adaptive-oblivious.html http://www.cs.virginia.edu/~shelat/research/2007/07/simulatable-adaptive-oblivious.html Wed, 25 Jul 2007 16:08:20 -0500