Sherif El-Kassas

DESIGN OF A SECURE WEB -APPLICATION DEVELOPMENT LANGUAGE

Ibrahim Ziedan, Doaa Hassan, Sherif El-Kassas, 2007 .

Reputed Authenticated Routing Ad-Hoc Networks Protocol

Ahmed Sameh, Sherif El-Kassas, Abdalla Mahmoud, 2009 .

A Rigorous Methodology for Security Architecture Modeling and Verification

Mohy Mahmoud, Sherif El-Kassas, Yomna Ali, 2009 .

Privacy Amplification in Quantum Cryptography BB84 using Combined Univarsal2-Truly Random Hashing

Sherif El-Kassas, Ahmed Mahmoud Abbas, Amr Goneid, 2014 .

Integrating Formal Analysis and Design to Preserve Security Properties

Michael G. Hinchey, Shawn A. Bohner, Sherif El-Kassas, 2009 .