Aquinas Hobor

发表

Prateek Saxena, Loi Luu, Aquinas Hobor, 2015, 2015 IEEE 28th Computer Security Foundations Symposium.
Prateek Saxena, Loi Luu, Aquinas Hobor, 2016, IACR Cryptol. ePrint Arch..
Prateek Saxena, Ilya Sergey, Aquinas Hobor, 2018, ACSAC.
Ilya Sergey, Aquinas Hobor, Amrit Kumar, 2018, ArXiv.
Prateek Saxena, Ilya Sergey, Aquinas Hobor, 2018, ISSTA.
Shengyi Wang, Aquinas Hobor, Qinxiang Cao, 2019, Proc. ACM Program. Lang..
Andrew W. Appel, Shengyi Wang, Aquinas Hobor, 2019, ArXiv.
Andrew W. Appel, Aquinas Hobor, Robert Dockins, 2010, APLAS.
Aquinas Hobor, Jules Villard, Aquinas Hobor, 2013, POPL.
Andrew W. Appel, Aquinas Hobor, Robert Dockins, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Aquinas Hobor, W. Chin, Cristian Gherghina, 2012 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Xuan-Bach D. Le, Aquinas Hobor, A. Lin, 2017 .
Xuan-Bach D. Le, Aquinas Hobor, A. Lin, 2016 .
Xavier Leroy, Aquinas Hobor, Robert Dockins, 2014 .
Aquinas Hobor, Elaine Li, Frank Stephan, 2019, APLAS.
Martin Henz, Aquinas Hobor, Aquinas Hobor, 2011, CPP.
Ilya Sergey, Aquinas Hobor, Aquinas Hobor, 2017, Financial Cryptography Workshops.
Andrew W. Appel, Aquinas Hobor, Aquinas Hobor, 2008 .
Ilya Sergey, Aquinas Hobor, Amrit Kumar, 2018, ISoLA.
James Brotherston, Aquinas Hobor, John Wickerson, 2020, CAV.
Aquinas Hobor, Ilya Sergey, 2017, Financial Cryptography Workshops.
Aquinas Hobor, T. Abdelaziz, 2023, USENIX Security Symposium.
Aquinas Hobor, T. Abdelaziz, 2023, ArXiv.
Aquinas Hobor, Tamer Abdelaziz, 2023, ArXiv.
Aquinas Hobor, S. Gilbert, Vijeth Aradhya, 2022, ArXiv.
Aquinas Hobor, F. Stephan, Tianyu Liu, 2020 .
Aquinas Hobor, Shengyi Wang, Qinxiang Cao, 2016 .
Wei-Ngan Chin, Aquinas Hobor, Asankhaya Sharma, 2015, ICFEM.
Aquinas Hobor, Cristian Gherghina, Aquinas Hobor, 2012, Log. Methods Comput. Sci..
Aquinas Hobor, Cristian Gherghina, Aquinas Hobor, 2011, ESOP.
Andrew W. Appel, Aquinas Hobor, Lennart Beringer, 2014 .
Xuan Bach Le, Aquinas Hobor, Aquinas Hobor, 2018, ESOP.
Wei-Ngan Chin, Shengyi Wang, Aquinas Hobor, 2015, FM.
Aquinas Hobor, Tamer Abdelaziz, 2023, ArXiv.
Shweta Shinde, Prateek Saxena, Shengyi Wang, 2018, USENIX Security Symposium.
Xuan Bach Le, Aquinas Hobor, Anthony Widjaja Lin, 2018, APLAS.
Wei-Ngan Chin, Xuan Bach Le, Aquinas Hobor, 2017, ICFEM.
Aquinas Hobor, Aquinas Hobor, Le Xuan Bach, 2016 .
Xuan Bach Le, Aquinas Hobor, Anthony Widjaja Lin, 2016, FSTTCS.
Xuan Bach Le, Aquinas Hobor, Cristian Gherghina, 2012, APLAS.
Andrew W. Appel, Aquinas Hobor, Robert Dockins, 2010, POPL '10.
Andrew W. Appel, Aquinas Hobor, Robert Dockins, 2009, APLAS.
Andrew W. Appel, Francesco Zappa Nardelli, Aquinas Hobor, 2008, ESOP.
Aquinas Hobor, Aquinas Hobor, 2011 .
Aquinas Hobor, Robert Dockins, Aquinas Hobor, 2010, Modelling, Controlling and Reasoning About State.
Aquinas Hobor, Anshuman Mohan, Linh Tran, 2020, CPP.
Shweta Shinde, Prateek Saxena, Shengyi Wang, 2018, ArXiv.