Can You Fool Me? Towards Automatically Checking Protocol Gullibility.

Milan Stanojevic, Ratul Mahajan, Todd D. Millstein, Madanlal Musuvathi

Browse the full HOTNETS paper archive.