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.
NewsJan 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. |
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.