FIU Home College of Engineering and Computing
Search:

Name: Geoffrey Smith, Associate Professor
Office Info: ECS 320, 305-348-6037
E-mail: smithgcis.fiu.edu
Homepage: http://www.cis.fiu.edu/~smithg
Office Hours: M/W 12:30-1:45 PM & 3:30-4:45 PM

Research and Instructional Interests
  • Theory of Programming Languages (formal semantics, type systems)
  • Computer Security (secure information flow, language-based security, applied cryptography)
  • Automata Theory (minimal NFAs)
Education
1991 - Ph.D., Computer Science, Cornell University, Ithaca, NY
1986 - M.S., Computer Science, Cornell University, Ithaca, NY
1982 - B.S., Mathematics & Computer Science, Brandeis University, Waltham, MA


Professional Experience
08/02 - present
  Associate Professor, School of Computer Science, Florida International University, Miami, FL 33199
08/98 - 08/02
  Assistant Professor, School of Computer Science, Florida International University, Miami, FL 33199
09/94 - 08/98
  Visiting Scholar Scientist, School of Computer Science, Florida International University, Miami, FL 33199
08/91 - 08/94
  Assistant Professor, Department of Computer Science and Information Systems, American University, Washington DC


Professional Activities

Selected Publications
(see here for online papers)
  1. Fast Probabilistic Simulation, Nontermination, and Secure Information Flow, Geoffrey Smith and Rafael Alpizar, Proc. ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, pp. 66-71, San Diego, California, June 2007.

  2. Improved Typings for Probabilistic Noninterference in a Muli-Threaded Language, Geoffrey Smith, Journal of Computer Security 14(6), pp. 591-623, December 2006.

  3. Secure Information Flow with Random Assignment and Encryption, Geoffrey Smith and Rafael Alpizar, Proc. 4th ACM Workshop on Formal Methods in Security Engineering, pp. 33-43, Alexandria, Virginia, November 2006.

  4. Lenient Array Operations for Practical Secure Information Flow, Zhenyue Deng and Geoffrey Smith, Proc. 17th IEEE Computer Security Foundations Workshop, pp. 115-124, Pacific Grove, California, June 2004.

  5. A Sound Polymorphic Type System for a Dialect of C, Geoffrey Smith and Dennis Volpano, Science of Computer Programming 32(2-3), pp. 49-72, 1998.

  6. Secure Information Flow in a Multi-threaded Imperative Language, Geoffrey Smith and Dennis Volpano, Proc. 25th ACM Symposium on Principles of Programming Languages, pp. 355-364, San Diego, California, January 1998.

  7. A Sound Type System for Secure Flow Analysis, Dennis Volpano, Geoffrey Smith and Cynthia Irvine, Journal of Computer Security 4(3), pp. 167-187, December 1996.