Usman Rauf

Software and Information Systems

I am a fourth year PhD student, working under the supervision of Dr. Ehab Al-Shaer. My interest is mainly in using formal method techniques to design, implement and verify, secure cyber systems and protocols. Currently I am involved in multiple projects:

1- Formally designing and verifying resilient and robust protocols against infrastructure level attacks. 

2- Designing bio-inspired resilient frameworks for future cyber infrastructures.

3- Damage detection in critical infrastructure by structural identification (e.g. civil bridges and buildings).

Research Areas: Collaborative Systems, Network Security, Security, Wireless and Network Security

alumni scholarship fund

The Alumni Gives Scholarship allows students to pursue their dreams and contribute to the technology community.  This needs-based scholarship empowers students to overcome financial hurdles while pursuing their education goals and gives preference to underrepresented populations within the CCI student body. 

Give to alumni Crowdfund