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