News and updates

• 02/12/2017: Our recent paper on secure compartmentalization for Rust is accepted for CODASPY'18. Read here.
• 23/11/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/05/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/02/2017: Our paper "Security Evaluation by Arrogance: Saving Time and Money" was accepted for ICSE #SoftStart2017.
• 19/12/2016: Research assitants (systems and security) needed for Fall 2017. Talk to me if you're interested.
• 18/10/2016: Kuwait University's Computer Science program is listed in ABET's accredited programs. Congratulations!
• 10/08/2016: On sabbatical leave hosted by CS@UVA for the next two semesters.
• 01/04/2016: My research is now supported by a research grant provided by the research sector in Kuwait University.
• 04/11/2015: Students that want to work with me on cutting edge security research projects for Spring 2016, send me an email soon.
• 12/08/2015: A research poster on my work on system security analysis was presented at USENIX Security 2015.
• 01/06/2015: I will be teaching a security seminar in Fall 2015.