Skip to main content

Yan Solihin

September 4, 2019
  Yan Solihin Professor 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 Architecture Parallel and multicore architecture Memory hierarchy…

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…

Pawel Wocjan

September 3, 2019
  Pawel Wocjan Associate Professor Ph.D., Computer Science Karlsruhe Institute of Technology, 2003 Email Phone Office HEC-341 Phone (407) 823-2844 E-mail wocjan@cs.ucf.edu Home Page http://www.cs.ucf.edu/~wocjan Research Page ARGIS Research Research Interests Interdisciplinary Research in Quantum Computing and Quantum Information Science Classical and Quantum Algorithms Quantum Information Theory Simulation of Quantum Systems Graph Theory Other Experience…

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-437D 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.…