Can you fool me? towards automatically checking protocol gullibility (2008)

by M Stanojevic, R Mahajan, T Millstein, M Musuvathi
Venue:In HotNets