3 papers
cs.CC2026
Interactive Proofs of Proximity for Model Evaluation
Geoffroy Couteau, Nikolas Melissaris, Tamara Paris
We study interactive proofs of proximity (IPPs) for model evaluation, where a resource-limited verifier interacts with an untrusted prover, typically the model owner, to certify st…
cs.CR2026
ZKBoost: Zero-Knowledge Verifiable Training for XGBoost
Nikolas Melissaris, Antigoni Polychroniadou, Akira Takahashi +2
Gradient boosted decision trees, particularly XGBoost, are among the most effective methods for tabular data. As deployment in sensitive settings increases, cryptographic guarantee…
cs.CR2019
Straggling for Covert Message Passing on Complete Graphs
Pei Peng, Nikolas Melissaris, Emina Soljanin +3
We introduce a model for mobile, multi-agent information transfer that increases the communication covertness through a protocol which also increases the information transfer delay…