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.
NewsDec 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. Nov 2006: Come by our poster presentation at FSE 2006. July 2006: New Seminar on Security Properties of Software Systems. July 2006: Slede web-site created and project initiation. Oct, 2005: Project conception. |
Publications Related to Slede2008 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. |
Department of Computer Science, slede@cs.iastate.edu.
Copyright © 2006, Iowa State University of Science and Technology. All rights reserved.
This material is based upon work supported by the National Science Foundation under Grant No. 0627354. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.