|
Search the dblp DataBase
Youssef Hanna:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ramy Bebawy, Hesham Sabry, Sherif El-Kassas, Youssef Hanna, Youssef Youssef
Nedgty: Web Services Firewall. [Citation Graph (0, 0)][DBLP] ICWS, 2005, pp:597-601 [Conf]
- Youssef Hanna
SLEDE: lightweight verification of sensor network security protocol implementations. [Citation Graph (0, 0)][DBLP] ESEC/SIGSOFT FSE, 2007, pp:591-594 [Conf]
Slede: Framework for automatic verification of sensor network security protocol implementations. [Citation Graph (, )][DBLP]
SLEDE: lightweight verification of sensor network security protocol implementations. [Citation Graph (, )][DBLP]
Behavioral automata composition for automatic topology independent verification of parameterized systems. [Citation Graph (, )][DBLP]
Slede: a domain-specific verification framework for sensor network security protocol implementations. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|