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.
NewsJuly 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. 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. |
People Involved in the Slede ProjectFacultyHridesh Rajan is the principal investigator of the Slede project. He is an Assistant Professor in the Department of Computer Science at the Iowa State University. His research interests are in software engineering, programming language design and implementation, and mobile ad hoc and sensor networks. He can be reached at hridesh@cs.iastate.edu. Wensheng Zhang is the co-principal investigator of the Slede project. He is an Assistant Professor in the Department of Computer Science at the Iowa State University. His research interests are in wireless (Ad-hoc/Sensor) networking and security, P2P computing and security, and cryptographic key management. He can be reached at wzhang@cs.iastate.edu. StudentsYoussef Hanna is a Ph.D. student in the Department of Computer Science at the Iowa State University. His research interests are in specification and verification techniques for security protocols in sensor networks. He can be reached at ywhanna@cs.iastate.edu. James Yoder is an undergraduate student at Iowa State University. He is interested in model checking, graph theory, and compositional analysis. He is currently looking at compositional analysis in the context of the Slede project. He can be reached at y0da00@iastate.edu |
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.