Avi Ben-Or

Avi Ben-Or Avi Ben-Or is an Israeli computer scientist known for contributions to cryptography, secure computation, and authentication protocols. He held academic positions and collaborated internationally with researchers across theoretical computer science and applied cryptography. His work influenced developments in fault-tolerant computation, reductionist security proofs, and practical protocol design.

Early life and education

Born in Israel in the 1950s, Ben-Or studied at the Technion – Israel Institute of Technology where he completed undergraduate and graduate studies in computer science and mathematics. During his doctoral training he engaged with the research communities at institutions such as the Weizmann Institute of Science and later expanded collaborations with scholars affiliated with Massachusetts Institute of Technology, Princeton University, and University of California, Berkeley. His formative advisors and peers included figures from the fields represented by institutions like Bell Labs, IBM Research, and the Institute for Advanced Study, connecting him to networks around foundational results in distributed computation and complexity theory.

Academic career

Ben-Or joined the faculty of the Hebrew University of Jerusalem and developed a program that bridged theoretical computer science, cryptography, and distributed algorithms. He taught courses drawing on textbooks and curricula from places such as Stanford University, Oxford University, and University of Cambridge and supervised students who later held positions at organizations including Microsoft Research, Google Research, and various academic departments like Columbia University and Cornell University. His collaborations spanned research groups at the École Polytechnique Fédérale de Lausanne, Technische Universität Darmstadt, and the University of Waterloo. He served on program committees for conferences such as the ACM Symposium on Theory of Computing, IEEE Symposium on Security and Privacy, and CRYPTO.

Research contributions and legacy

Ben-Or made seminal contributions to multiple areas of theoretical and applied computer science. In distributed computation he worked on Byzantine agreement and fault-tolerant protocols, connecting to results pioneered at venues like the Symposium on Principles of Distributed Computing and interacting with researchers associated with Leslie Lamport, Nancy Lynch, and Robbert van Renesse. In cryptography his work addressed secure multi-party computation, authentication schemes, and reductions underpinning modern notions developed at conferences like EUROCRYPT and ASIACRYPT. He contributed to impossibility and possibility results that relate to models studied by scholars at MIT, Harvard University, and Princeton University.

His legacy includes formalizing adversarial models and proving thresholds for secure computation in the presence of faulty or malicious participants, results that influenced later protocols implemented by teams at Zcash, Hyperledger, and research labs such as Delft University of Technology and EPFL. Ben-Or’s theoretical frameworks informed practical systems for privacy-preserving computation pursued by groups at Facebook, Apple, and start-ups in the cryptocurrency ecosystem. His emphasis on rigorous proofs and constructive protocol design created links between communities active at ICALP, STOC, and FOCS.

Selected publications

- Ben-Or contributed peer-reviewed articles and conference papers in venues including Journal of the ACM, SIAM Journal on Computing, and proceedings of CRYPTO, EUROCRYPT, and PODC. His publications addressed topics such as Byzantine agreement, secret sharing, and multi-party computation. - He coauthored influential works with researchers affiliated with Yale University, Tel Aviv University, Carnegie Mellon University, and University of Illinois Urbana-Champaign that explored the limits of asynchronous computation and robustness against adaptive adversaries. - Representative papers include constructions and lower bounds that have been cited by subsequent studies at Stanford Research Institute, Northeastern University, and teams publishing in IEEE Transactions on Information Theory and ACM Transactions on Information and System Security.

Awards and honors

Ben-Or received recognition from academic and professional bodies; his career earned invitations to plenary and invited talks at institutions such as International Congress of Mathematicians, Royal Society, and national academies including the Israel Academy of Sciences and Humanities. He held visiting appointments and sabbaticals at centers including the Institute for Advanced Study, Mathematical Sciences Research Institute, and laboratories such as Microsoft Research Redmond. His students and collaborators have received awards at conferences like STOC and FOCS and fellowships from organizations including the Guggenheim Foundation and national science foundations.

Category:Israeli computer scientists Category:Cryptographers Category:Hebrew University of Jerusalem faculty