Slede: Framework for automatic verification of sensor network security protocol implementations.

Youssef Hanna, Hridesh Rajan

Browse the full ICSE paper archive.