Vivek Haldar, Christian H. Stork, Michael Franz. The source is the proof. In Cristina Serban, Carla Marceau, Simon N. Foley, editors, Proceedings of the 2002 Workshop on New Security Paradigms, Virginia Beach, VA, USA, September 23-26, 2002. pages 69-73, ACM, 2002. [doi]
No references recorded for this publication.
No citations of this publication recorded.