9 citations · 9 across the 3 of their papers we have counts for
4 papers
State of the Art Report: Verified Computation
Jim Woodcock, Mikkel Schmidt Andersen, Diego F. Aranha +8
This report describes the state of the art in verifiable computation. The problem being solved is the following: The Verifiable Computation Problem (Verifiable Computing Problem) S…
Fast Privacy-Preserving Text Classification based on Secure Multiparty Computation
Amanda Resende, Davis Railsback, Rafael Dowsley +2
We propose a privacy-preserving Naive Bayes classifier and apply it to the problem of private text classification. In this setting, a party (Alice) holds a text message, while anot…
NIZKCTF: A Non-Interactive Zero-Knowledge Capture the Flag Platform
Paulo Matias, Pedro Barbosa, Thiago Cardoso +2
Capture the Flag (CTF) competitions are increasingly important for the Brazilian cybersecurity community as education and professional tools. Unfortunately, CTF platforms may suffe…
Elliptic Curve Multiset Hash
Jeremy Maitin-Shepard, Mehdi Tibouchi, Diego Aranha
A homomorphic, or incremental, multiset hash function, associates a hash value to arbitrary collections of objects (with possible repetitions) in such a way that the hash of the un…