3 papers
cs.CR2023
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…
cs.CR2021
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…
cs.CR2017
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…