Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Youssef Hanna's Homepage
[go: Go Back, main page]
Youssef Hanna
Graduate student
Department of Computer Science
Laboratory of Software Design
Iowa State University
Ames, IA 50011-1040 USA
Office: 125 Atanasoff
Mobile: (515)-441-6682
E-mail: ywhanna@iastate.edu
 
Advisor: Hridesh Rajan
 
 
Research Interests:
  • Software systems specification and verification
  • Programming language design and implementation
  • Specification and Verification of Security Protocols for Sensor Networks (currently working on Slede project)
 
Education:
 
Publications:

    2009

  • Youssef Hanna and Hridesh Rajan, "Slede: Framework for Automatic Verification of Sensor Network Security Protocol Implementations",
    to appear as informal demonstration in the Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), Vancouver, Canada, May 16-24, 2009.

    • 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]