Generalised Discount Functions applied to a Monte-Carlo AI u Implementation. - Sean Lamont; John Aslanides; Jan Leike; Marcus Hutter (AAMAS, 2017)

Generalised Discount Functions applied to a Monte-Carlo AImu Implementation. - Sean Lamont; John Aslanides; Jan Leike; Marcus Hutter (CoRR, 2017)

Computer Assisted Composition in Continuous Time. - Chamin Hewa Koneputugodage; Rhys Healy; Sean Lamont; Ian Mallett 002; Matt Brown; Matt Walters; Ushini Attanayake; Libo Zhang; Roger T. Dean; Alexander Hunter; Charles Gretton; Christian Walder (CoRR, 2019)

SoK: Use of Cryptography in Malware Obfuscation. - Hassan Jameel Asghar; Benjamin Zi Hao Zhao; Muhammad Ikram 001; Giang Linh Duc Nguyen; Dali Kaafar; Sean Lamont; Daniel Coscia (IACR Cryptol. ePrint Arch., 2022)

BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving. - Sean Lamont; Michael Norrish; Amir Dezfouli; Christian Walder; Paul Montague (AAAI, 2024)

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes. - Sean Lamont; Christian Walder; Amir Dezfouli; Paul Montague; Michael Norrish (CoRR, 2024)

Use of cryptography in malware obfuscation. - Hassan Jameel Asghar; Benjamin Zi Hao Zhao; Muhammad Ikram 001; Giang Linh Duc Nguyen; Dali Kaafar; Sean Lamont; Daniel Coscia (J. Comput. Virol. Hacking Tech., 2024)

Facing the Challenge of Leveraging Untrained Humans in Malware Analysis. - Benjamin Zi Hao Zhao; Hassan Jameel Asghar; Muhammad Ikram 001; Mohamed Ali Kâafar; Sean Lamont; Daniel Coscia (SEC (1), 2025)

Enhancing Malware Fingerprinting through Analysis of Evasive Techniques. - Alsharif Abuadbba; Sean Lamont; M. Ejaz Ahmed; Cody James Christopher; Muhammad Ikram 001; Udaya Kiran Tupakula; Daniel Coscia; Mohamed Ali Kâafar; Surya Nepal (CoRR, 2025)