Homepage of Benny Pinkas

Benny Pinkas

Benny Pinkas

Dept. of Computer Science

Bar Ilan University, Israel

Email (click the link to reveal the address): ????@????.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.
Current research projects: Currently my research focuses on the following two projects
- Secure multi-party computation - tools, implementations, and applications.
- The Security and face identification.
Funding: My research is funded by the following sources:
- A generous starting grant from the European Research Council (ERC).
- The CACE project (Computer Aided Cryptography Engineering) which is an EU project funded under FP7
- The Israel Science Foundation
I was previously working 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.
Previous research projects in which I was involved.

Teaching:

Current:

Introduction to Cryptography, Spring 2011.

Past teaching

Publications (in reverse chronological order):

A list of links to my coauthors
Added links to citations to papers, according to Google Scholar. Citation count updated in late November 2006.
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.

Most cited papers (according to Google Scholar):

Privacy Preserving Data Mining, Y. Lindell and B. Pinkas, 2000. [688 citations]
Multicast Security: A Taxonomy and Some Efficient Constructions, R. Canetti, J. Garay, G. Itkis, D. Micciancio, M. Naor and B. Pinkas, 1999. [652 citations]
Tracing Traitors, B. Chor, A. Fiat, M. Naor and B. Pinkas, 2000. [506 citations]
Oblivious Transfer and Polynomial Evaluation, M. Naor and B. Pinkas, 1999. [383 citations]
Privacy Preserving Auctions and Mechanism Design, M. Naor, B. Pinkas and R. Sumner, 1999. [341 citations]
Efficient Private Matching and Set Intersection, M. Freedman, K. Nissim and B. Pinkas. 2004. [287 citations]
Efficient Oblivious Transfer Protocols, M. Naor and B. Pinkas, 2001. [275 citations]

Yehuda Lindell, Eli Oxman and Benny Pinkas
The IPS Compiler: Optimizations, Variants and Concrete Efficiency
Accepted for publication in Crypto '2011.

Shai Halevi, Yehuda Lindell and Benny Pinkas
Secure Computation on the Web: Computing without Simultaneous Interaction
Accepted for publication in Crypto '2011.
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 ]

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 ] [72 citations]

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 ] [72 citations]

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 ] [30 citations]

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 accepted for publication in ACM Transactions on Information and System Security (TISSEC).
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 ] [62 citations]

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 ] [44 citations]

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

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

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 ] [54 citations]

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 ] [ PS ] [180 citations]

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 ] [287 citations]

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 ] [92 citations]

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 ] [9 citations]

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

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 ] [171 citations]

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 ] [127 citations]

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 ] [83 citations]

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

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 ] [30 citations]

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 ] [275 citations]

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 ] [57 citations]

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) ] [688 citations]

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) ] [166 citations]

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 ] [341 citations]

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 ] [78 citations]

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 ] [56 citations]

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 ] [80 citations]

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. [383 citations]

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 ] [652 citations]

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 ] [106 citations]

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 ] [506 citations]

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

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 ] [21 citations]

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) ] [147 citations]

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. [19 citations]

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 ] [86 citations]

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 גילה שטופלר and her human rights portal (in Hebrew).

Last updated: June 4, 2011
VMS

Advertisements:

Research interests:

Teaching:

Publications (in reverse chronological order):

Internet Drafts and TRs: