Geoffrey Smith

发表

Geoffrey Smith, Stefan Schelm, Geoff B. Smith, 2004, SPIE Optics + Photonics.
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, 2020 .
Geoffrey Smith, Geoffrey Smith, 2003, 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings..
Geoffrey Smith, Rafael Alpízar, Geoffrey Smith, 2011, Mathematical Structures in Computer Science.
Geoffrey Smith, Tao Li, Seyed Masoud Sadjadi, 2008, 2008 International Conference on Autonomic Computing.
Geoffrey Smith, Catuscia Palamidessi, Peter van Rossum, 2010, TACAS.
Geoffrey Smith, Dennis M. Volpano, 1996, TOPL.
Geoffrey Smith, Dennis M. Volpano, 1996, ESOP.
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, 2020, The Science of Quantitative Information Flow.
Geoffrey Smith, Rafael Alpízar, Geoffrey Smith, 2007, PLAS '07.
Geoffrey Smith, Geoffrey Smith, 2007, TGC.
Geoffrey Smith, Geoffrey Smith, 2015, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Geoffrey Smith, Geoffrey Smith, 2007, Malware Detection.
Geoffrey Smith, Geoffrey Smith, 1994, Sci. Comput. Program..
Geoffrey Smith, Geoffrey Smith, 2006, J. Comput. Secur..
Geoffrey Smith, Dennis M. Volpano, 1991, FPCA.
Geoffrey Smith, Dennis M. Volpano, Cynthia E. Irvine, 1996, J. Comput. Secur..
Geoffrey Smith, Dennis M. Volpano, Geoffrey Smith, 1996, CSUR.
Geoffrey Smith, Boris Köpf, Geoffrey Smith, 2010, 2010 23rd IEEE Computer Security Foundations Symposium.
Geoffrey Smith, Dennis M. Volpano, Geoffrey Smith, 1997, Proceedings 10th Computer Security Foundations Workshop.
Geoffrey Smith, Barbara Espinoza, 2011, Formal Aspects in Security and Trust.
Geoffrey Smith, Geoffrey Smith, 2011, 2011 Eighth International Conference on Quantitative Evaluation of SysTems.
Geoffrey Smith, Dennis M. Volpano, Geoffrey Smith, 1997, TAPSOFT.
Geoffrey Smith, Dennis M. Volpano, 1998, Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238).
Geoffrey Smith, David M. Smith, Geoffrey Smith, 2017, 2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Geoffrey Smith, Dennis M. Volpano, Geoffrey Smith, 2000, POPL '00.
Geoffrey Smith, Barbara Espinoza, Geoffrey Smith, 2013, Inf. Comput..
Geoffrey Smith, Dennis M. Volpano, Geoffrey Smith, 1998, SIGA.
Geoffrey Smith, Dennis M. Volpano, Geoffrey Smith, 1998, POPL '98.
Geoffrey Smith, Geoffrey Smith, 2009, FoSSaCS.
Mário S. Alvim, Annabelle McIver, Geoffrey Smith, 2014, 2014 IEEE 27th Computer Security Foundations Symposium.
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, 2020 .
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, 2020 .
Mário S. Alvim, Geoffrey Smith, Catuscia Palamidessi, 2012, 2012 IEEE 25th Computer Security Foundations Symposium.
Geoffrey Smith, Ziyuan Meng, Geoffrey Smith, 2011, PLAS '11.
Geoffrey Smith, Nicolás E. Bordenabe, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Mário S. Alvim, Annabelle McIver, Geoffrey Smith, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Geoffrey Smith, Dennis M. Volpano, 1995, Inf. Process. Lett..
Geoffrey Smith, Dennis M. Volpano, 1998, Sci. Comput. Program..
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, 2020 .
Geoffrey Smith, Geoffrey Smith, 2001, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..
Geoffrey Smith, Rafael Alpízar, 2006, FMSE '06.
Geoffrey Smith, Stefan Schelm, A. I. Maaroof, 2004, SPIE Optics + Photonics.
Geoffrey Smith, Zhenyue Deng, 2004, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
Geoffrey Smith, Rafael Alpízar, 2009, Formal Aspects in Security and Trust.
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, 2020 .
Annabelle McIver, Geoffrey Smith, Carroll Morgan, 2014, POST.