Sean Lamont

According to our database, Sean Lamont authored at least 9 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Enhancing Malware Fingerprinting through Analysis of Evasive Techniques.

Alsharif Abuadbba, Sean Lamont, M. Ejaz Ahmed, Cody James Christopher, Muhammad Ikram, Udaya Kiran Tupakula, Daniel Coscia, Mohamed Ali Kâafar, Surya Nepal

CoRR, March, 2025

Facing the Challenge of Leveraging Untrained Humans in Malware Analysis.

Benjamin Zi Hao Zhao, Hassan Jameel Asghar, Muhammad Ikram, Mohamed Ali Kâafar, Sean Lamont, Daniel Coscia

Proceedings of the ICT Systems Security and Privacy Protection, 2025

2024

Use of cryptography in malware obfuscation.

Hassan Jameel Asghar, Benjamin Zi Hao Zhao, Muhammad Ikram, Giang Linh Duc Nguyen, Dali Kaafar, Sean Lamont, Daniel Coscia

J. Comput. Virol. Hacking Tech., 2024

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes.

Sean Lamont, Christian Walder, Amir Dezfouli, Paul Montague, Michael Norrish

CoRR, 2024

BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving.

Sean Lamont, Michael Norrish, Amir Dezfouli, Christian Walder, Paul Montague

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2022

SoK: Use of Cryptography in Malware Obfuscation.

Hassan Jameel Asghar, Benjamin Zi Hao Zhao, Muhammad Ikram, Giang Linh Duc Nguyen, Dali Kaafar, Sean Lamont, Daniel Coscia

IACR Cryptol. ePrint Arch., 2022

2019

Computer Assisted Composition in Continuous Time.

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

CoRR, 2019

2017

Generalised Discount Functions applied to a Monte-Carlo AImu Implementation.

Sean Lamont, John Aslanides, Jan Leike, Marcus Hutter

CoRR, 2017

Generalised Discount Functions applied to a Monte-Carlo AI u Implementation.

Sean Lamont, John Aslanides, Jan Leike, Marcus Hutter

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017