Witness-based cryptographic program checking and robust function sharingYair FrankelPeter Gemmeliet al.1996STOC 1996
Multi-receiver/multi-sender network security: Efficient authenticated multicast/feedbackYvo DesmedtYair Frankelet al.1992IEEE INFOCOM 1992