Fingerprint
Dive into the research topics of 'Checking programs discreetly: Demonstrating result-correctness efficiently while concealing it'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Checking programs discreetly: Demonstrating result-correctness efficiently while concealing it
Giovanni Di Crescenzo, Kouichi Sakurai, Moti Yung
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution