Skip to main content

Yan Solihin

September 4, 2019
  Yan Solihin Professor and Director of Cyber Security & Privacy Ph.D., Computer Science University of Illinois at Urbana-Champaign, 2002 Email Phone Office HPA2-239 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 Computer…

Paul Gazzillo

September 3, 2019
  Paul Gazzillo Assistant 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

September 3, 2019
  David A. Mohaisen Associate 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…

Cliff Zou

September 3, 2019
  Cliff Zou Associate 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…

Gary T. Leavens

September 3, 2019
  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.…