Jump to Content

Witness-based cryptographic program checking and applications (an announcement)

Yair Frankel
Peter Gemmell
PODC '96: Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing, ACM, New York, NY, USA (1996), pp. 211

Abstract

Research Areas