The Slede project
NewsJuly 11, 2006: New Seminar on Security Properties of Software Systems. July 11, 2006: Slede web-site created and project initiation. Oct, 2005: Project conception. |
Publications Related to SledeYoussef Hanna, Hridesh Rajan (2007). 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] Youssef Hanna and Hridesh Rajan (2006). SLEDE: event-based specification of Sensor network security protocols. SIGSOFT Softw. Eng. Notes 31, 6 (Nov. 2006), 1-2 |
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.