Homepage of Benny Pinkas

Benny Pinkas

Benny Pinkas

Dept. of Computer Science

Cryptography Research Group

Bar Ilan University, Israel

Email: my-first-name at pinkas.net

Research interests:

I am interested in computer security, privacy and cryptography, and in particular in the design of efficient security systems based on sound assumptions and solid proofs.
I am a member of the Bar Ilan Cryptography Group.
During the 2011/2 academic year I was also on sabbatical at Google Research. I previously worked at the University of Haifa, at HP Labs in Haifa and in Princeton, and at STAR Lab, Intertrust Technologies. Before that I was a Ph.D. student of Moni Naor at the Foundations of Computer Science Group at the Department of Computer Science and Applied Math in the Weizmann Institute of Science.

Publications (in reverse chronological order):

A Google Scholar list of my papers ranked by their citation count, and related statistics, are available at Google Scholar.
A list of links to my coauthors
See also my published patents and patent applications.
COPYRIGHT NOTICE: Included are links to on-line papers, to ensure timely dissemination on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by the copyrights. These works may not be reposted without the explicit permission of the copyright holder.

Shay Gueron, Yehuda Lindell, Ariel Nof and Benny Pinkas
Fast Garbling of Circuits Under Standard Assumptions
ACM CCS '2015
Available files: [ eprint]

Jian Liu, N. Asokan and Benny Pinkas
Secure Deduplication of Encrypted Data without Additional Independent Servers
ACM CCS '2015
Available files: [ eprint]

Yehuda Lindell, Benny Pinkas, Nigel Smart and Avishay Yanai
Efficient Constant Round Multi-party Computation Combining BMR and SPDZ
Crypto '2015
Available files: [ eprint]

Brnny Pinkas, Thomas Schnedier, Gil Segev and Michael Zohner
Phasing: Private Set Intersection Using Permutation-based Hashing
Usenix Security '2015
Available files: [ eprint]

Benny Pinkas, Thomas Schnedier and Michael Zohner
Private Set Intersection based on OT Extension
Usenix Security '2014.
Available files: [ eprint ]

Benny Pinkas and Tzachy Reinman
A Simple Recursive Tree Oblivious RAM
Available files: [ eprint ]

Arash Afshar, Payman Mohassel, Benny Pinkas, and Ben Riva
Non-Interactive Secure Computation Based on Cut-and-Choose
Eurocrypt '2014.
Available files: [ slides ]

Ayman Jarrous and Benny Pinkas
Canon-MPC, a system for casual non-interactive secure multi-party computation using native client
Workshopon Privacy Enhancing Tchnologies (WPES) 2013.
Available files: [ pdf ]

Ayman Jarrous and Benny Pinkas
Secure Computation of Functionalities based on Hamming Distance and its Application to Computing Document Similarity
Interntional Journal of Applied Cryptography (IJACT) 3(1): 21-45 (2013).
Available files: [ pdf ]

Omer Berkman, Benny Pinkas and Moti Yung
Firm Grip Handshakes: a Tool for Bidirectional Vouching
CANS 2012, December 2012.
Available files: [ pdf ]

Shai Halevi, Danny Harnik, Benny Pinkas and Alexandra Shulman-Peleg
Proofs of Ownership in Remote Storage Systems
Proceedings of the ACM Computer and Communications Security Conference (ACM CCS), October 2011.
Available files: [ eprint ]

Yehuda Lindell, Eli Oxman and Benny Pinkas
The IPS Compiler: Optimizations, Variants and Concrete Efficiency
Crypto 2011, August 14-18 2011, Santa Barbara, CA.
Available files: [ eprint ]

Shai Halevi, Yehuda Lindell and Benny Pinkas
Secure Computation on the Web: Computing without Simultaneous Interaction
Crypto 2011, August 14-18 2011, Santa Barbara, CA.
Available files: [ eprint ]

Yehuda Lindell and Benny Pinkas
Secure Two-Party Computation via Cut-and-Choose Oblivious Transfer
Theory of Cryptography Conference (TCC), March 2011, Providence, RI.
Available files: [ eprint ]

Marc Fischlin, Benny Pinkas, Ahmad-Reza Sadeghi, Thomas Schneider and Ivan Visconti
Secure Set Intersection with Untrusted Hardware Tokens
CT-RSA, February 2011, San Francisco, CA.
Available files: [ pdf ]

Benny Pinkas
Traitor tracing
Encyclopedia of Cryptography and Security (2nd Ed.), pp. 1313-1316, 2011.

Danny Harnik, Benny Pinkas and Alexandra Shulman-Peleg
Side Channels in Cloud Services, the Case of Deduplication in Cloud Storage
IEEE Security and Privacy Magazine, special issue of Cloud Security, Vol. 8, No. 2, pp. 40-47, 2010.
Available files: [ Older version of paper ].

Moni Naor and Benny Pinkas
Efficient Trace and Revoke Schemes
International Journal of Information Security, Springer-Verlag, Vol. 9, No. 6, pp. 40-47, 2010.

Benny Pinkas and Tzachy Reinman
Oblivious RAM Revisited
Crypto 2010, August 15-19 2010, Santa Barbara, CA.
Available files: [ eprint]

Mark Manulis, Benny Pinkas and Bertram Poettering
Privacy-Preserving Group Discovery with Linear Complexity
8th Intl. Conf. on Applied Cryptography and Network Security (ACNS 2010), June 22-25 2010, Beijing, China.

Margarita Osadchy, Benny Pinkas, Ayman Jarrous and Boaz Moskovich
SCiFI - A System for Secure Face Identification
(Received the best paper award!)
31st IEEE Symposium on Security & Privacy, May 16-19, 2010, Oakland, CA.
Available files: [ pdf, project and code ]

Gagan Aggarwal, Nina Mishra and Benny Pinkas
Secure Computation of the Median (and Other Elements of Specified Ranks)
Journal of Cryptology, Vol. 23, No. 3, pp. 373-401. Online since February 05, 2010.
Available files: [ Springer ]

Benny Pinkas, Thomas Schneider, Nigel P. Smart and Stephen C. Williams
Secure Two-Party Computation is Practical
ASIACRYPT 2009, December 6-10, 2009, Tokyo, Japan.
Available files: [ pdf ]

Ayman Jarrous and Benny Pinkas
Secure Hamming Distance based Computation and its Applications
(Best student paper award!)
Proceedings of the International Conference on Applied Cryptography and Network Security (ACNS), June 2009.
Available files: [ pdf ]

Danny Bickson, Tzachi Reinman, Danny Dolev and Benny Pinkas
Peer-to-Peer secure multi-party numerical computation facing malicious adversaries
In Peer-to-Peer Networking and Applications (PPNA) journal, Springer, May 2009.
Available files: [ pdf ]

Y. Lindell and B. Pinkas
Secure Multiparty Computation for Privacy-Preserving Data Mining
Journal of Privacy and Confidentiality, Vol. 1, No. 1, pp. 59-98, 2009.
Available files: [ journal] [ pdf]

Y. Lindell and B. Pinkas
A Proof of Yao's Protocol for Secure Two-Party Computation
Journal of Cryptology, 22(2):161-188, 2009.
Cryptology ePrint Archive: Report 2004/175 (also appeared in ECCC).
Available files: [ PDF ] [ PS ]

Assaf Ben-David, Noam Nisan and Benny Pinkas
FairplayMP - A System for Secure Multi-Party Computation
Proceedings of the ACM Computer and Communications Security Conference (ACM CCS), October 2008.
Available files: [ pdf, web site ]

Yehuda Lindell, Benny Pinkas and Nigel Smart
Implementing two-party computation efficiently with security against malicious adversaries
Proceedings of the Sixth Conference on Security and Cryptography for Networks (SCN), Amalfi, Italy, September 2008.
Available files: [ pdf ]

D. Bickson, D. Dolev, G. Bezman and B. Pinkas
Secure Multi-party Peer-to-Peer Numerical Computation
Proceedings of the 8^th IEEE Peer-to-Peer Computing (P2P'08), Sept. 2008, Aachen, Germany, September 2008.
Available files: [ pdf ]

Leo Dorrendorf, Zvi Gutterman and Benny Pinkas
Cryptanalysis of the Windows Random Number Generator
Proceedings of the ACM Computer and Communications Security Conference (ACM CCS), October 2007.
Full version in ACM Transactions on Information and System Security (TISSEC), 13(1), 2009.
Available files: [ eprint ]
This paper received some publicity in the press (see Slashdot, Computerworld, The Register).
See also Microsoft's confirmation of a similar problem in Windows XP Computerworld, Slashdot, The Register.

Ronen Gradwohl, Moni Naor, Benny Pinkas and Guy Rothblum
Cryptographic and Physical Zero-Knowledge Proof Systems for Solutions of Sudoku Puzzles
Proc. of Fun with Algorithms 2007, LNCS 4475, Springer-Verlag, pp. 166-182, June 2007.
Full version in Theory of Computing Systems, Springer, Vol. 44, No. 2, pp. 245-268, February 2009.
Available files: [ proceedings version, full version, journal version ]

Y. Lindell and B. Pinkas
An Efficient Protocol for Secure Two-Party Computation in the Presence of Malicious Adversaries
Advances in Cryptology -- Eurocrypt '2007 Proceedings, LNCS 4515, Springer-Verlag, pp. 52-78, May 2007.
Available files: [ pdf ]

Z. Gutterman, B. Pinkas and T. Reinman
Analysis of the Linux Random Number Generator
The 2006 IEEE Symposium on Security and Privacy (Oakland Conference), May 21-24, 2006.
Available files: [ eprint ]

M. Naor and B. Pinkas
Oblivious Polynomial Evaluation
Siam Journal on Computing, Vol. 35, No. 5, 2006.
Available files: [ SpringerLink ]

M. Naor and B. Pinkas
Computationally Secure Oblivious Transfer
Journal of Cryptology, Vol. 18, No. 1, 2005.
Available files: [ SpringerLink ]

M. Freedman, Y. Ishai, B. Pinkas and O. Reingold
Keyword Search and Oblivious Pseudorandom Functions
Proceedings of 2nd Theory of Cryptography Conference (TCC '05) Cambridge, MA, Feb 2005.
Available files: [ PDF ] [ PS ]

D. Malkhi, N. Nisan, B. Pinkas and Y. Sella
Fairplay - A Secure Two-Party Computation System (Best student paper award!)
Proceedings of Usenix Security '2004, August 9-13, 2004.
Available files: [ PDF ]

M. Freedman, K. Nissim and B. Pinkas
Efficient Private Matching and Set Intersection
Advances in Cryptology -- Eurocrypt '2004 Proceedings, LNCS 3027, Springer-Verlag, pp. 1-19, May 2004.
Available files: [ PDF ]

G. Aggarwal, N. Mishra and B. Pinkas
Secure Computation of the K'th-ranked Element
Advances in Cryptology -- Eurocrypt '2004 Proceedings, LNCS 3027, Springer-Verlag, pp. 40-55, May 2004.
Available files: [ PDF ]

E.-J. Goh, D. Boneh, P. Golle and B. Pinkas
The Design and Implementation of Protocol-Based Hidden Key Recovery
Proceedings of the 6th Information Security Conference (ISC'03), LNCS 2851, Springer Verlag, October 2003.
Available files: [ PDF ]

B. Pinkas
Fair Secure Two-Party Computation
Advances in Cryptology -- Eurocrypt '2003 Proceedings, LNCS 2656, Springer-Verlag, pp. 87-105, May 2003.

B. Pinkas
Cryptographic Techniques for Privacy-Preserving Data Mining
SIGKDD Explorations, the newsletter of the ACM Special Interest Group on Knowledge Discovery and Data Mining, January 2003.
Available files: [ Postscript ] [ PDF ]

B. Pinkas and T. Sander
Securing Passwords Against Dictionary Attacks
Proceedings of the ACM Computer and Communications Security Conference, November 2002.
Available files: [ Postscript ] [ PDF ] [ Slides ]

M. Abadi, N. Glew, B. Horne and B. Pinkas
Certified Email with a Light On-line Trusted Third Party: Design and Implementation
Proceedings of WWW2002 (The eleventh International World Wide Web Conference), May 2002.
Available files: [ PDF ]

S. Haber and B. Pinkas
Combining Public Key Cryptosystems
Proceedings of the ACM Computer and Security Conference, November 2001.
Available files: [ Postscript ]

B. Horne, B. Pinkas and T. Sander
Escrow services and incentives in peer-to-peer networks
Proceedings of the 3rd ACM conference on Electronic Commerce, pp. 85-94, 2001.

B. Pinkas
Efficient State Updates for Key Management
Proceedings of the ACM Workshop on Security and Privacy in Digital Rights Management, November 2001.
The full version appeared in the Proceedings of the IEEE, Special Issue on Enabling Technologies for Digital Rights Management, Vol. 92. No. 6, pp. 910-917, June 2004.
Available files (full version): [ Postscript ] [ PDF ]

M. Naor and B. Pinkas
Efficient Oblivious Transfer Protocols
Proceedings of SODA 2001 (SIAM Symposium on Discrete Algorithms), January 7-9 2001.
Available files: [ Postscript ]

M. Naor and B. Pinkas
Distributed Oblivious Transfer
Advances in Cryptology -- Asiacrypt '00 Proceedings, LNCS 1976, Springer-Verlag, pp. 200-219, December 2000.
Available files: [ Postscript ]

Y. Lindell and B. Pinkas
Privacy Preserving Data Mining
Advances in Cryptology -- Crypto '00 Proceedings, LNCS 1880, Springer-Verlag, pp. 20-24, August 2000. A full version appeared in the Journal of Cryptology, Volume 15 - Number 3, 2002.
Available files: [ Postscript (conference) ] [ Postscript (full version) ] [ PDF (full version) ]

M. Naor and B. Pinkas
Efficient Trace and Revoke Schemes
Proceedings of Financial Crypto '2000, Anguilla, February 2000. The full version is now available.
Available files: [ Postscript (full version) ]

M. Naor, B. Pinkas and R. Sumner
Privacy Preserving Auctions and Mechanism Design
Proceedings of the 1st ACM conf. on Electronic Commerce, November 1999.
Available files: [ Postscript ] [ Presentation ]

M. Naor and B. Pinkas
Oblivious Transfer with Adaptive Queries
Advances in Cryptology - Crypto '99 Proceedings, LNCS 1666, Springer-Verlag, pp. 573-590, August 1999.
Available files: [ Postscript ]

V. Anupam, A. Mayer, K. Nissim, B. Pinkas and M. Reiter
On the Security of Pay-per-Click and Other Web Advertising Schemes
Proc. of the 8th World Wide Web Conference, May 1999. (Computer Networks, Vol. 31, Issues 11--16, 1999, pp. 1091-1100).
Available files: [ Postscript ] [ HTML ]

M. Naor, B. Pinkas and O. Reingold
Distributed Pseudo-Random Functions and KDCs
Advances in Cryptology - Eurocrypt '99 Proceedings, LNCS 1592, Springer-Verlag, pp. 327-346, April 1999.
Available files: [ Postscript ]

M. Naor and B. Pinkas
Oblivious Transfer and Polynomial Evaluation
Proc. of the 31st Symp. on Theory of Computer Science (STOC), Atlanta, GA, pp. 245-254, May 1-4, 1999.

R. Canetti, J. Garay, G. Itkis, D. Micciancio, M. Naor and B. Pinkas
Multicast Security: A Taxonomy and Some Efficient Constructions
Proc. of INFOCOM '99, Vol. 2, pp. 708-716, New York, NY, March 1999.
Available files: [ Postscript ]

M. Naor and B. Pinkas
Threshold Traitor Tracing
Advances in Cryptology - Crypto '98 Proceedings, LNCS 1462, Springer-Verlag, pp. 502-517, 1998.
Available files: [ Postscript ]

B. Chor, A. Fiat, M. Naor and B. Pinkas
Tracing Traitors
IEEE Transactions on Information Theory, Vol. 46, No. 3, pp. 893-910, May 2000.
Available files: [ Postscript ]

M. Naor and B. Pinkas
Secure and Efficient Metering
Advances in Cryptology - Eurocrypt '98 Proceedings, Springer-Verlag, 1998.
Available files: [ Postscript ]

M. Naor and B. Pinkas
Secure Accounting and Auditing on the Web
Proc. of the 7th World Wide Web Conference (Computer Networks, Vol. 30, Issues 1-7, 1998, pp. 541-550).
Available files: [ HTML ]

M. Naor and B. Pinkas
Visual Authentication and Identification
Advances in Cryptology - Crypto '97 Proceedings, LNCS 1294, Springer-Verlag, pp. 322-336, 1997. A full version is available.
Available files: [ Postscript (proceedings) ] [ Postscript (full version) ]

and here's an old one...
J. McInnes and B. Pinkas
On the Impossibility of Private Key Cryptography with Weakly Random Keys
Advances in Cryptology - Crypto '90 Proceedings, LNCS 537, Springer-Verlag, pp. 421-435, 1990.

Internet Drafts and TRs:

R. Canetti and B. Pinkas
A taxonomy of multicast security issues
An updated version of internet draft draft-irtf-smug-taxonomy-00.txt>, April 1999 (the original version was published in June 1998).
Available files: [ Text ]

R. Canetti, A. Herzberg and B. Pinkas
Distributed Computing Simulator
TR #566, Dept. of Computer Science, Technion, June 1989.

Advertisement: check the web site of Gila Stopler גילה שטופלר

Last updated: October 2015.
VMS