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]
2007
-
Youssef Hanna, "SLEDE: Lightweight Verification of Sensor Network Security Protocol Implementations",
Doctoral Symposium, 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. [PDF]
2006
-
Youssef Hanna, Hridesh Rajan, "SLEDE: Event Based Specification of Sensor Network Security Protocols",
poster paper in the proceedings of Fourteenth ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE 2006), Portland, OR.[PDF]
-
Hridesh Rajan, Robert Dyer, Youssef Hanna, Harish Narayanappa, "Preserving Separation of Concerns through Compilation",
In Software Engineering Properties of Languages and Aspect Technologies (SPLAT 06), A workshop affiliated with AOSD 2006, March 21, 2006. Bonn, Germany. [PDF]
2005
-
Ramy Bebawy, Hesham Sabry, Sherif El-Kassas, Youssef Hanna, Youssef Youssef. "Nedgty: Web Services Firewall,"
icws, pp. 597-601, IEEE
International Conference on Web Services (ICWS'05), 2005. [PDF]
|