Geoffrey S. Smith's home page

Geoffrey Smith
Professor
School of Computing and Information Sciences
Florida International University
Miami, Florida 33199 USA
E-mail: myname@cis.fiu.edu, where myname is smithg.
Phone: (305) 348-6037
Office: ECS 320
On medical leave, tentatively until December 2018.
Geoffrey Smith

Research

My research interests center on the foundations of computer security and especially on secure information flow, including quantitative measures (e.g. Bayes leakage and g-leakage), applications to cryptography (e.g. timing attacks), and language-based security (e.g. type systems guaranteeing noninterference).

Most of my research papers are available here.

I am a member of INRIA associate team Princess ("Privacy in Data Access") and IFIP Working Group 1.7 ("Theoretical Foundations of Security Analysis and Design").

Recent and Upcoming Events

HotSpot 2017, 5th Workshop on Hot Issues in Security Principles and Trust (PC Member)
POST 2017, 6th International Conference on Principles of Security and Trust (PC Member)
Our CSF 2014 paper won NSA's 3rd annual Best Scientific Cybersecurity Paper Competition. My award ceremony talk slides are here.
CSF 2016, 29th IEEE Computer Security Foundations Symposium (PC Member)
HotSpot 2016, 4th Workshop on Hot Issues in Security Principles and Trust (PC Member)
ICALP/LICS 2015, Int. Colloq. on Automata, Languages, and Programming/Symp. on Logic in Computer Science (Invited Joint Tutorial Speaker) [slides]
HotSpot 2015, 3rd Workshop on Hot Issues in Security Principles and Trust (PC Member)
ETAPS 2014, European Joint Conferences on Theory and Practice of Software (Unifying Invited Speaker) [slides]
Opponent at Filippo Del Tedesco's dissertation defense at Chalmers University (March 2014)
UIUC Summer School on Formal Methods for the Science of Security (Special Topics Lecturer)
CONCUR 2013, 24th International Conference on Concurrency Theory (PC Member)
FORTE/FMOODS 2013, IFIP International Conference on Formal Techniques for Distributed Systems (PC Member)
ESOP 2013, 22nd European Symposium on Programming (PC Member)

Teaching

Fall 2017

COP 4555 - Principles of Programming Languages

Previous Semesters

COP 4555 - Principles of Programming Languages (Spring 2017)
COT 5428 - Formal Foundations for Cybersecurity (Spring 2017)
COP 4555 - Principles of Programming Languages (Fall 2016)
COP 4555 - Principles of Programming Languages (Spring 2016)
COT 5428 - Formal Foundations for Cybersecurity (Spring 2016)
COP 4555 - Principles of Programming Languages (Fall 2015)
CIS 5374 - Information Security and Privacy (Fall 2015)
COP 4555 - Principles of Programming Languages (Spring 2015)
COP 5621 - Compiler Construction (Spring 2015)
COP 4555 - Principles of Programming Languages (Fall 2014)
CIS 5374 - Information Security and Privacy (Fall 2014)
COP 4555-U02 - Principles of Programming Languages (Spring 2014)
COP 4555-U01 - Principles of Programming Languages (Spring 2014)
COP 4555 - Principles of Programming Languages (Fall 2013)
COP 4555 - Principles of Programming Languages (Spring 2013)
COP 5621 - Compiler Construction (Spring 2013)
COP 4555 - Principles of Programming Languages (Fall 2012)
COT 6421 - Theory of Computation II (Spring 2005)
COP 4555 - Principles of Programming Languages (Spring 2005)
COT 5420 - Theory of Computation I (Fall 2004)
COT 3420 - Logic for Computer Science (Spring 2003)
COP 5621 - Compiler Construction - "Tiger" version (Fall 2002)

LaTeX Package for FIU PhD Dissertations

My package for formatting FIU PhD dissertations using LaTeX can be found here: fiuphd.zip. See the README file for basic instructions.

SCS SquirrelMail