Slede: Lightweight Specification and Formal Verification of Sensor Networks Protocols

These pages describe work carried out under the NSF grant CNS-0627354 on Specification and Verification Challenges for Security Protocols in Sensor Networks. The PI is Hridesh Rajan and much of the work is carried out by Youssef Hanna.

News

Mar 2009: Youssef's submission to ESEC/FSE 2009 accepted.

Jan 2009: Youssef's submission to the ICSE 2009 Research Demonstrations track accepted as informal demo.

Nov 2008: Eclipse plugin for Slede is available for download.

July 2008: Slede is available for download.

Dec 2007: Youssef's submission to the ACM Conference on Wireless Network Security (WiSec 08) accepted.

Sep 2007: Youssef's submission to the ESEC/FSE 2007 doctoral symposium accepted.

News Archive

Publications Related to Slede


2009

  • Youssef Hanna, Samik Basu, and Hridesh Rajan, "Behavioral Automata Composition for Automatic Topology Independent Verification of Parameterized Systems", The 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 09), August 2009, Amsterdam, The Netherlands. [PDF Format]

  • Youssef Hanna and Hridesh Rajan, "Slede: Framework for Automatic Verification of Sensor Network Security Protocol Implementations", informal demo in the Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), May 16-24 2009, Vancouver, Canada. [PDF Format] [Poster]

2008

  • Youssef Hanna, Hridesh Rajan, and Wensheng Zhang, "Slede: A Domain-Specific Verification Framework for Sensor Network Security Protocol Implementations", in the Proceedings of the First ACM Conference on Wireless Network Security (WiSec 2008), March 31 - April 2, 2008. Alexandria, VA. [PDF Format]

2007

  • Youssef Hanna, SLEDE: lightweight verification of sensor network security protocol implementations. In Proceedings of the doctoral symposium of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007).Dubrovnik, Croatia, September 2007, pp. 591-594. [PDF Format]

  • Youssef Hanna, Hridesh Rajan. SLEDE: A Domain-Specific Verification Framework for Sensor Network Security Protocol Implementations. Technical Report 07-09, Computer Science, Iowa State University, June 11, 2007. [PDF Format]

2006

  • Youssef Hanna and Hridesh Rajan. SLEDE: event-based specification of Sensor network security protocols. SIGSOFT Softw. Eng. Notes 31, 6 (Nov. 2006), 1-2 [PDF Format]

  • Youssef Hanna and Hridesh Rajan. Poster presentation at the proceedings of Fourteenth ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE 2006), Portland, OR, Nov 2006. [PPT]