Relating cryptography and formal methods: a panel.

Michael Backes, Catherine Meadows, John C. Mitchell

Browse the full CCS paper archive.