Can You Fool Me? Towards Automatically Checking Protocol Gullibility

by Milan Stanojevic , Ratul Mahajan , Todd Millstein , Madanlal Musuvathi
Citations:4 - 1 self