Aquinas Hobor

发表

Xuan Bach Le, Aquinas Hobor, Anthony Widjaja Lin, 2018, APLAS.

Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .

Xavier Leroy, Aquinas Hobor, Robert Dockins, 2014 .

Xuan Bach Le, Aquinas Hobor, Cristian Gherghina, 2012, APLAS.

Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .

Ilya Sergey, Aquinas Hobor, Amrit Kumar, 2018, ISoLA.

Aquinas Hobor, Cristian Gherghina, Aquinas Hobor, 2012, Log. Methods Comput. Sci..

Aquinas Hobor, Robert Dockins, Aquinas Hobor, 2010, Modelling, Controlling and Reasoning About State.

Prateek Saxena, Loi Luu, Aquinas Hobor, 2015, 2015 IEEE 28th Computer Security Foundations Symposium.

Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .

Andrew W. Appel, Francesco Zappa Nardelli, Aquinas Hobor, 2008 .

Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .

Prateek Saxena, Loi Luu, Aquinas Hobor, 2016, IACR Cryptol. ePrint Arch..

Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .

Philippa Gardner, Aquinas Hobor, Azalea Raad, 2016, APLAS.

Prateek Saxena, Ilya Sergey, Aquinas Hobor, 2018, ISSTA.

Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .

Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .

Wei-Ngan Chin, Aquinas Hobor, Ton Chanh Le, 2014, ICFEM.

Ilya Sergey, Aquinas Hobor, Amrit Kumar, 2018, ArXiv.

Prateek Saxena, Ilya Sergey, Aquinas Hobor, 2018, ACSAC.

Shengyi Wang, Aquinas Hobor, Qinxiang Cao, 2019, Proc. ACM Program. Lang..

Shweta Shinde, Prateek Saxena, Shengyi Wang, 2018, ArXiv.

Xavier Leroy, Aquinas Hobor, Robert Dockins, 2014 .

Andrew W. Appel, Aquinas Hobor, Aquinas Hobor, 2008 .

Shweta Shinde, Prateek Saxena, Shengyi Wang, 2018, USENIX Security Symposium.

Wei-Ngan Chin, Shengyi Wang, Aquinas Hobor, 2015, FM.

Andrew W. Appel, Francesco Zappa Nardelli, Aquinas Hobor, 2008, ESOP.

Xavier Leroy, Aquinas Hobor, Robert Dockins, 2014 .

James Brotherston, Aquinas Hobor, John Wickerson, 2020, CAV.

Aquinas Hobor, Jules Villard, Aquinas Hobor, 2013, POPL.

Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .

Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .

Andrew W. Appel, Aquinas Hobor, Robert Dockins, 2010, POPL '10.

Martin Henz, Aquinas Hobor, Aquinas Hobor, 2011, CPP.

Xavier Leroy, Aquinas Hobor, Robert Dockins, 2014 .

Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .

Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .

Xuan Bach Le, Aquinas Hobor, Aquinas Hobor, 2018, ESOP.

Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .

Xavier Leroy, Aquinas Hobor, Robert Dockins, 2014 .

Andrew W. Appel, Aquinas Hobor, Robert Dockins, 2010, APLAS.

Andrew W. Appel, Shengyi Wang, Aquinas Hobor, 2019, ArXiv.

Wei-Ngan Chin, Aquinas Hobor, Asankhaya Sharma, 2015, ICFEM.

Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .

Andrew W. Appel, Aquinas Hobor, Robert Dockins, 2014 .

Xuan Bach Le, Aquinas Hobor, Anthony Widjaja Lin, 2016, FSTTCS.

Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .

Aquinas Hobor, Cristian Gherghina, Aquinas Hobor, 2011, ESOP.

Xavier Leroy, Aquinas Hobor, Robert Dockins, 2014 .

Andrew W. Appel, Aquinas Hobor, Robert Dockins, 2008, MFPS.

Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .

Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .

Xavier Leroy, Aquinas Hobor, Robert Dockins, 2014 .

Xavier Leroy, Aquinas Hobor, Robert Dockins, 2014 .

Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .

Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .

Xavier Leroy, Aquinas Hobor, Robert Dockins, 2014 .

Xavier Leroy, Aquinas Hobor, Robert Dockins, 2014 .

Aquinas Hobor, Robert Dockins, 2012, MFPS.

Aquinas Hobor, Anshuman Mohan, Linh Tran, 2020, CPP.

Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .

Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .

Andrew W. Appel, Aquinas Hobor, Robert Dockins, 2009, APLAS.

Aquinas Hobor, Elaine Li, Frank Stephan, 2019, APLAS.

Ilya Sergey, Aquinas Hobor, Aquinas Hobor, 2017, Financial Cryptography Workshops.

Aquinas Hobor, Robert Dockins, Lennart Beringer, 2014 .

Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .

Wei-Ngan Chin, Xuan Bach Le, Aquinas Hobor, 2017, ICFEM.

Wei-Ngan Chin, Aquinas Hobor, Cristian Gherghina, 2012 .

Aquinas Hobor, Aquinas Hobor, Le Xuan Bach, 2016 .

Aquinas Hobor, Aquinas Hobor, 2011 .