PC member, Crypto
2009, August 16-20, 2009, Santa Barbara, California.
Research interests:
I am interested in computer
security, privacy
and cryptography,
and
in particular in the design of efficientsecurity
systems based on sound assumptions and solid proofs.
Current
research projects:Currently my research
focuses on the
following two projects
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.
Benny Pinkas, Thomas
Schneider, Nigel P. Smart and Stephen C. Williams: Secure Two-Party Computation is Practical
15th Advances in Cryptology - ASIACRYPT 2009, December 6-10, 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: [ eprint
] 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
] [48
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 ]
[13
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
]
[11
citations]
D. Bickson, D. Dolev,
G. Bezman and B. Pinkas
Secure Multi-party Peer-to-Peer Numerical Computation
Proceedings of the
8th
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 ] [38
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
]
[31
citations]M. Naor and B. Pinkas Oblivious Polynomial Evaluation Siam Journal
on Computing, Vol. 35, No. 5, 2006.
Available files:
[
SpringerLink ] [26
citations]M. Naor and B. Pinkas Computationally Secure Oblivious Transfer Journal of Cryptology, Vol. 18, No. 1, 2005.
Available files:
[
SpringerLink ] [29
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 ]
[44
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 ]
[138
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
]
[232
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
]
[84
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
]
[7
citations]
B. Pinkas Fair Secure Two-Party Computation
Advances in Cryptology -- Eurocrypt '2003
Proceedings, LNCS
2656, Springer-Verlag, pp. 87-105, May 2003.
[47
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
] [129
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
] [110
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
]
[67
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
] [28
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
]
[228 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
]
[51
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)
]
[579
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)
]
[154
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
]
[276
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
]
[59
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
]
[51
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
]
[71
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. [333
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
]
[569
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
]
[96
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
]
[473
citations]
M. Naor and B. Pinkas Secure and Efficient Metering
Advances in Cryptology - Eurocrypt '98 Proceedings,
Springer-Verlag, 1998.
Available files:
[
Postscript
]
[80
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
]
[19
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)
] [129
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. [17
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
] [87
citations]
R. Canetti, A. Herzberg and B.
Pinkas Distributed
Computing Simulator
TR #566, Dept. of Computer Science,
Technion, June 1989.
PC member, ACM
CCS 2010, October
4-8,
2010, Chicago,
Illinois, USA.