Jump to Content

Witness-based cryptographic program checking and robust function sharing

Yair Frankel
Peter Gemmell
STOC '96: Proceedings of the twenty-eighth annual ACM symposium on Theory of computing, ACM, New York, NY, USA (1996), pp. 499-508

Abstract

Research Areas