Sean Lamont

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 8

Top Topics

Dynamic Analysis

Computer Assisted

Top Venues

IACR Cryptol. ePrint Arch.

J. Comput. Virol. Hacking Tech.

Publications

Hassan Jameel Asghar, Benjamin Zi Hao Zhao, Muhammad Ikram, Giang Linh Duc Nguyen, Dali Kaafar, Sean Lamont, Daniel Coscia
Use of cryptography in malware obfuscation. J. Comput. Virol. Hacking Tech. 20 (1) (2024)
Sean Lamont, Michael Norrish, Amir Dezfouli, Christian Walder, Paul Montague
BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving. AAAI (2024)
Sean Lamont, Michael Norrish, Amir Dezfouli, Christian Walder, Paul Montague
BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving. CoRR (2024)
Hassan Jameel Asghar, Benjamin Zi Hao Zhao, Muhammad Ikram, Giang L. D. Nguyen, Dali Kaafar, Sean Lamont, Daniel Coscia
SoK: Use of Cryptography in Malware Obfuscation. CoRR (2022)
Hassan Jameel Asghar, Benjamin Zi Hao Zhao, Muhammad Ikram, Giang Nguyen, Dali Kaafar, Sean Lamont, Daniel Coscia
SoK: Use of Cryptography in Malware Obfuscation. IACR Cryptol. ePrint Arch. 2022 (2022)
Chamin Hewa Koneputugodage, Rhys Healy, Sean Lamont, Ian Mallett, Matt Brown, Matt Walters, Ushini Attanayake, Libo Zhang, Roger T. Dean, Alexander Hunter, Charles Gretton, Christian Walder
Computer Assisted Composition in Continuous Time. CoRR (2019)
Sean Lamont, John Aslanides, Jan Leike, Marcus Hutter
Generalised Discount Functions applied to a Monte-Carlo AI u Implementation. AAMAS (2017)
Sean Lamont, John Aslanides, Jan Leike, Marcus Hutter
Generalised Discount Functions applied to a Monte-Carlo AImu Implementation. CoRR (2017)