Checking programs discreetly: Demonstrating result-correctness efficiently while concealing it
Giovanni Di Crescenzo, Kouichi Sakurai, Moti Yung
研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与
1
被引用数
(Scopus)