Slede
Slede studied specification language design and verification mechanisms for specifying and verifying cryptographic protocols for sensor networks. By helping find cryptographic errors in security protocols for sensor networks, the project improved the reliability of these networks across the many areas where they are used.
This project concluded during the lab’s time at Iowa State University.
Publications
- ICFEM '10 · Automating Cut-off for Multi-parameterized Systems
- ESEC/FSE '09 · Behavioral Automata Composition for Automatic Topology Independent Verification of Parameterized Systems
- Hanna MS Thesis · Verifying sensor network security protocol implementations
- WiSec '08 · Slede: A Domain-Specific Verification Framework for Sensor Network Security Protocol Implementations
- SIGSOFT SEN '06 · SLEDE: event-based specification of sensor network security protocols