Concepedia

Ben Riva

BR

9

Publications

479

Citations

9

H-Index

2007

Active since

Affiliations

Tel Aviv University(Current)

Microsoft (United States)

University of Calgary

Ben Riva is an author at Tel Aviv University specializing in formal verification, engineering, and computer science.

Top concepts

EngineeringComputer ScienceFormal VerificationCryptographyData SecurityFormal MethodsData PrivacyHardware SecurityComputer EngineeringInformation Security

Publications per year

2007–2024

9

Publications

9

Practical delegation of computation using multiple servers

Ran Canetti, Ben Riva, Guy N. Rothblum · 2011 · 137 citations

Cryptographic Primitive, Engineering, Current Move +17

Seny Kamara, Payman Mohassel, Ben Riva · 2012 · 110 citations

Circuit Representation, Cryptographic Primitive, Engineering +18

Blazing Fast 2PC in the Offline/Online Setting with Security for Malicious Adversaries

Yehuda Lindell, Ben Riva · 2015 · 65 citations

Cryptographic Primitive, Engineering, Information Security +22

A New Implementation of a Dual (Paper and Cryptographic) Voting System.

Jonathan Ben-Nun, Niko Fahri, Morgan Llewellyn et al. · 2012 · 39 citations

Refereed delegation of computation

Ran Canetti, Ben Riva, Guy N. Rothblum · Information and Computation · 2013 · 36 citations

Refereed Delegation, Engineering, Automated Reasoning +8

Rows per page

1–5 of 9