Michael Hicks

发表

Michael Hicks, Gavin M. Bierman, Nataliya Guts, 2014, MSFP.
Gilles Barthe, Florian Kerschbaum, Michael Hicks, 2014, Dagstuhl Reports.
Michael Hicks, Mudhakar Srivatsa, Piotr Mardziel, 2013, J. Comput. Secur..
Chang Liu, Michael Hicks, David Darais, 2017, Proc. ACM Program. Lang..
Michael Hicks, Jeffrey S. Foster, Matthew A. Hammer, 2013 .
Michael Hicks, Gavin M. Bierman, Peter Sewell, 2003, ACM SIGPLAN Notices.
Andrew Ruef, Michael Hicks, Dave Levin, 2015 .
Michael Hicks, Jeffrey S. Foster, Saurabh Srivastava, 2008, IEEE Trans. Software Eng..
Avik Chaudhuri, Michael Hicks, Jeffrey S. Foster, 2011, POPL '11.
Michael Hicks, Nikhil Swamy, Steve Zdancewic, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).
Michael Hicks, Mudhakar Srivatsa, Piotr Mardziel, 2011, 2011 IEEE 24th Computer Security Foundations Symposium.
Michael Hicks, Cristian Cadar, Luís Pina, 2019, ASPLOS.
Michael Hicks, Aseem Rastogi, Piotr Mardziel, 2013, PLAS '13.
Michael Hicks, Luís Pina, 2016, 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Andrew Ruef, Michael Hicks, Timos Antonopoulos, 2017, ESEC/SIGSOFT FSE.
Jonathan M. Smith, Michael Hicks, Jessica A. Kornblum, 2000 .
Angelos D. Keromytis, Michael Hicks, D. Scott Alexander, 1998 .
Robert K. Cunningham, Ulf Lindqvist, Michael Hicks, 2016, IEEE Secur. Priv..
Michael Hicks, Iulian Neamtiu, 2006, OSDI 2006.
Shih-Han Hung, Michael Hicks, Kesha Hietala, 2020, ITP.
Trent Jaeger, Boniface Hicks, Dave King, 2008, ICISS.
Michael Hicks, Iulian Neamtiu, M. Hicks, 2009, PLDI 2009.
Michael Hicks, Jeffrey S. Foster, Iulian Neamtiu, 2005 .
Michael Hicks, Leonidas Lampropoulos, Benjamin C. Pierce, 2019, Proc. ACM Program. Lang..
Michael Hicks, Nikhil Swamy, Aseem Rastogi, 2017, POST.
Michael Hicks, Nikhil Swamy, Aseem Rastogi, 2017, ArXiv.
Michael Hicks, Kathryn S. McKinley, Stephen Magill, 2012, OOPSLA '12.
Michael Hicks, Jeffrey S. Foster, Matthew A. Hammer, 2014, PLDI.
Michael Hicks, Scott M. Nettles, Jonathan T. Moore, 1999 .
Michael Hicks, Jeffrey S. Foster, Edward K. Smith, 2014 .
Michael Hicks, Jeffrey S. Foster, Saurabh Srivastava, 2007, IEEE Transactions on Software Engineering.
Michael Hicks, Eric Koskinen, Tachio Terauchi, 2017, PLDI.
Michael Hicks, Jeffrey S. Foster, Yit Phang Khoo, 2011, SAS.
Michael Hicks, Iulian Neamtiu, Peter Sewell, 2007 .
Michael Hicks, Mudhakar Srivatsa, M. Srivatsa, 2012, CCS.
Carlo Zaniolo, Rida A. Bazzi, Michael Hicks, 2011, ICDE 2011.
Andrew Ruef, Michael Hicks, Jeffrey S. Foster, 2018, ESOP.
Michael Hicks, Martin Gandoff, Martin Gandoff, 1991 .
Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis, 2006, SAS.
Vibha Sazawal, Michael Hicks, Jeffrey S. Foster, 2008, PASTE '08.
Michael Hicks, Nikhil Swamy, Brian J. Corcoran, 2008, 2008 IEEE Symposium on Security and Privacy (sp 2008).
Andrew Ruef, Michael Hicks, Leonidas Lampropoulos, 2019, POST.
Vibha Sazawal, Michael Hicks, Jeffrey S. Foster, 2009, DLS '09.
Michael Hicks, Nikhil Swamy, Trevor Jim, 2007, WWW '07.
Michael Hicks, 1998 .
Michael Hicks, Gavin M. Bierman, Peter Sewell, 2007, Journal of Functional Programming.
Michael Hicks, Stephen Magill, José Manuel Calderón Trilla, 2018, POST.
Jonathan Katz, Michael Hicks, Mudhakar Srivatsa, 2012, PLAS.
Shaopeng Zhu, Shih-Han Hung, Xiaodi Wu, 2018, Proc. ACM Program. Lang..
William A. Arbaugh, Jonathan M. Smith, Michael Hicks, 1998, IEEE Netw..
Shih-Han Hung, Xiaodi Wu, Michael Hicks, 2019, Proc. ACM Program. Lang..
Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis, 2008, POPL '08.
Michael Hicks, Scott M. Nettles, Jonathan T. Moore, 1997 .
Michael Hicks, Jeffrey S. Foster, Edward K. Smith, 2012, 2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp).
Boniface Hicks, Michael Hicks, Stephan A Zdancewic, 2005 .
Shih-Han Hung, Xiaodi Wu, Michael Hicks, 2019, ArXiv.
Michael Hicks, James Parker, Niki Vazou, 2019, Proc. ACM Program. Lang..
Shaopeng Zhu, Shih-Han Hung, Xiaodi Wu, 2018, ArXiv.
Michael Hicks, Nikhil Swamy, James Rose, 2005, Sci. Comput. Program..
Michael Hicks, Aseem Rastogi, Matthew A. Hammer, 2014, 2014 IEEE Symposium on Security and Privacy.
Suresh Jagannathan, Philip Wadler, Roberto Giacobazzi, 2013, SIGP.
Michael Hicks, Jeffrey S. Foster, David Van Horn, 2015, OOPSLA.
Michael Hicks, 2017, PLAS@CCS.
Andrew Ruef, Michael Hicks, Dave Levin, 2016, CCS.
Michael Hicks, Jeffrey A. Meister, Jeffrey S. Foster, 2010, Softw. Pract. Exp..
Michael Hicks, Nataliya Guts, Daan Leijen, 2011, ICFP.
Michael Hicks, Jeffrey S. Foster, Edward K. Smith, 2011, 2011 IEEE 27th International Conference on Data Engineering Workshops.
Michael Hicks, Jeffrey S. Foster, Yit Phang Khoo, 2013, 2013 35th International Conference on Software Engineering (ICSE).
Michael Hicks, Jeffrey S. Foster, Michael Furr, 2009, DLS '09.
Andrew Ruef, Michael Hicks, David Tarditi, 2018, 2018 IEEE Cybersecurity Development (SecDev).
Michael Hicks, Jeffrey S. Foster, Christopher M. Hayden, 2012, 2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp).
Michael Hicks, Justin McCann, Pavlos Papageorge, 2009, SIGCOMM '09.
Michael Hicks, Pavlos Papageorgiou, 2005, PAM.
Elaine Shi, Chang Liu, Michael Hicks, 2013, 2013 IEEE 26th Computer Security Foundations Symposium.
Michael Hicks, Scott M. Nettles, 2005 .
Miguel Castro, Michael Hicks, Periklis Akritidis, 2010, POPL '10.
Michael Hicks, Jeffrey S. Foster, Nate Foster, 2012, VSTTE.
Michael Hicks, Jeffrey S. Foster, Edward K. Smith, 2012, IEEE Transactions on Software Engineering.
Michael Hicks, Nikhil Swamy, 2008, PLAS '08.
Angelos D. Keromytis, Michael Hicks, 1999 .
Boniface Hicks, Dave King, Patrick D. McDaniel, 2006, PLAS '06.
Andrew Ruef, Michael Hicks, Shiyi Wei, 2018, CCS.
Elaine Shi, Jonathan Katz, Andrew Miller, 2014, POPL.
Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis, 2008, TPHOLs.
Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis, 2011, TOPL.
Michael Hicks, Stephanie Weirich, Stephanie Weirich, 2001 .
Michael Hicks, John Criswell, Jie Zhou, 2021, 2021 IEEE Secure Development Conference (SecDev).
Michael Hicks, Michael J. Coblenz, Michelle L. Mazurek, 2021, ArXiv.
Michael Hicks, Kesha Hietala, Liyi Li, 2021, ArXiv.
Michael Hicks, Michelle L. Mazurek, Daniel Votipka, 2021, SOUPS @ USENIX Security Symposium.
Michael Hicks, Kesha Hietala, Robert Rand, 2019 .
Mário S. Alvim, Michael Hicks, Michael R. Clarkson, 2014 .
Avik Chaudhuri, Michael Hicks, Jeffrey S. Foster, 2010 .
Manuel Oriol, Michael Hicks, Iulian Neamtiu, 2005 .
Michael Hicks, Amol Deshpande, A. Deshpande, 2005 .
Michael Hicks, Eric Koskinen, Tachio Terauchi, 2016 .