Computer Security and Digital Forensics

  Yan Solihin Professor and Director of Cyber Security & Privacy Ph.D., Computer Science University of Illinois at Urbana-Champaign, 2002 Email Phone Office HEC 437-D Phone (407) 823-4191 E-mail Yan.Solihin@ucf.edu Home Page https://sites.google.com/view/arpers Research Page https://sites.google.com/view/ucfcybersp Research Interests Secure Execution Environment Trustworthy cloud, enclaves Side channels (microarchitecture, timing, caches, etc.) Memory encryption and integrity verification…

 

  Paul Gazzillo Associate Professor Ph.D., Computer Science New York University, 2016 Email Phone Office HEC-239 Phone (407) 823-5239 E-mail Paul.Gazzillo@ucf.edu Home Page https://www.paulgazzillo.com/ Research Interests Programming languages and compilers Program analysis Language design Software engineering Build and configuration systems Analysis of highly-configurable software Software security Side-channel attack detection and mitigation Blockchain smart contracts Professional…

  David A. Mohaisen Professor Ph.D., Computer Science University of Minnesota, 2012 Email Phone Office HPA2-240 Phone (407) 823-1294 E-mail mohaisen@ucf.edu Home Page https://www.cs.ucf.edu/~mohaisen Research Interests Networks security and measurements Blockchain systems and their security Adversarial machine learning Security intelligence and analytics Malware analysis, detection and classification DDoS analysis and defenses Mobile systems abuse and…

  Cliff Zou Professor Ph.D., Electrical And Computer Engineering University of Massachusetts-Amherst, 2005 Email Phone Office HEC-243 Phone (407) 823-5015 E-mail Changchun.Zou@ucf.edu Home Page http://www.cs.ucf.edu/~czou Research Page ARGIS Research Research Interests Computer and Network Security Network Modeling and Performance Evaluation Professional Activities Program Co-chair: WNS(2006), Malware(2010), CSS(2011) Session Chair: WORM (2006), SecureComm (2008), Malware (2008),…

  Gary T. Leavens Professor Ph.D., Electrical Engineering & Computer Science Massachusetts Institute of Technology, 1989 Email Phone Office HEC-329 Phone (407) 823-4758 E-mail Gary.Leavens@ucf.edu Homepage http://www.cs.ucf.edu/~leavens Research page ARGIS Research Research Interests Formal Methods in Software Engineering Specification of OO software components Design of JML (see jmlspecs.org). Theory of behavioral subtyping and specification inheritance.…