Statistics
Publications
4
Citations
385
H-Index
4
Active since
2016
Affiliations
Samuel Ranellucci is an author at George Mason University specializing in formal methods, formal verification, and cryptography.
Publications per year
2016–2019
4
4
Global-Scale Secure Multiparty Computation
Xiao Wang, Samuel Ranellucci, Jonathan Katz · 2017 · 178 citations
1–4 of 4