Geoffrey Smith

发表

Geoffrey Smith, Geoffrey Smith, 2009, FoSSaCS.
Geoffrey Smith, Geoffrey Smith, 1994, Sci. Comput. Program..
Geoffrey Smith, Boris Köpf, Geoffrey Smith, 2010, 2010 23rd IEEE Computer Security Foundations Symposium.
Geoffrey Smith, Daniel Cazalis, 2008 .
Geoffrey Smith, Barbara Espinoza, Geoffrey Smith, 2013, Inf. Comput..
Geoffrey Smith, Rafael Alpízar, Geoffrey Smith, 2011, Mathematical Structures in Computer Science.
Geoffrey Smith, Geoffrey Smith, 2011, 2011 Eighth International Conference on Quantitative Evaluation of SysTems.
Geoffrey Smith, Ziyuan Meng, Geoffrey Smith, 2011, PLAS '11.
Geoffrey Smith, Rafael Alpízar, Geoffrey Smith, 2011 .
Geoffrey Smith, Geoffrey Smith, 2007, TGC.
Geoffrey Smith, Rafael Alpízar, Geoffrey Smith, 2007, PLAS '07.
Geoffrey Smith, Tao Li, Seyed Masoud Sadjadi, 2008, 2008 International Conference on Autonomic Computing.
Geoffrey Smith, Geoffrey Smith, 2006, J. Comput. Secur..
Geoffrey Smith, Geoffrey Smith, 2003, 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings..
Geoffrey Smith, Geoffrey Smith, 2001, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..
Geoffrey Smith, Dennis M. Volpano, Geoffrey Smith, 1998, POPL '98.
Geoffrey Smith, Dennis M. Volpano, Geoffrey Smith, 1997, Proceedings 10th Computer Security Foundations Workshop.
Geoffrey Smith, Dennis M. Volpano, Cynthia E. Irvine, 1996, J. Comput. Secur..
Geoffrey Smith, Dennis M. Volpano, Geoffrey Smith, 1997, TAPSOFT.
Geoffrey Smith, Geoffrey Smith, 2015, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Geoffrey Smith, David M. Smith, Geoffrey Smith, 2017, 2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Mário S. Alvim, Geoffrey Smith, Catuscia Palamidessi, 2012, 2012 IEEE 25th Computer Security Foundations Symposium.
Geoffrey Smith, Dennis M. Volpano, Geoffrey Smith, 2000, POPL '00.
Geoffrey Smith, Mireya Jurado, Geoffrey Smith, 2019, CCSW@CCS.
Mário S. Alvim, Annabelle McIver, Geoffrey Smith, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Mário S. Alvim, Annabelle McIver, Geoffrey Smith, 2014, 2014 IEEE 27th Computer Security Foundations Symposium.
Geoffrey Smith, Dennis M. Volpano, Geoffrey Smith, 1998, SIGA.
Geoffrey Smith, Dennis M. Volpano, Geoffrey Smith, 1996, CSUR.
Geoffrey Smith, Geoffrey Smith, 2007, Malware Detection.
Annabelle McIver, Geoffrey Smith, Carroll Morgan, 2014, POST.