News and updates

• 07 May 2018: KFAS supports my system security research with a grant for the next two years.
• 02 Dec 2017: Our recent paper on secure compartmentalization for Rust is accepted for CODASPY'18. Read here.
• 23 Nov 2017: Misery Digraphs is a new member of the family of digraphs, which I proposed in collaboration with Layne Watson and David Evans, and was accepted in the IEEE Transactions on Information Forensics and Security.
• 07 May 2017: Our paper "On Threat Modeling and Mitigation of Medical Cyber-Physical Systems" was accepted for the IEEE International Workshop on Security, Privacy, and Trustworthiness in Medical Cyber-Physical Systems.
• 17 Feb 2017: Our paper "Security Evaluation by Arrogance: Saving Time and Money" was accepted for ICSE #SoftStart2017.
• 19 Dec 2016: Research assitants (systems and security) needed for Fall 2017. Talk to me if you're interested.
• 18 Oct 2016: Kuwait University's Computer Science program is listed in ABET's accredited programs. Congratulations!
• 10 Aug 2016: On sabbatical leave hosted by CS@UVA for the next two semesters.
• 01 Apr 2016: My research is now supported by a research grant provided by the research sector in Kuwait University.
• 04 Nov 2015: Students that want to work with me on cutting edge security research projects for Spring 2016, send me an email soon.
• 12 Aug 2015: A research poster on my work on system security analysis was presented at USENIX Security 2015.
• 01 Jun 2015: I will be teaching a security seminar in Fall 2015.