Trong Nhan Mai

According to our database, Trong Nhan Mai authored at least 5 papers between 2021 and 2025.

Collaborative distances:

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

2025

Invited Tutorial: Macaron - A Comprehensive Framework for Securing and Analyzing the Software Supply Chain.

Behnaz Hassanshahi, Trong Nhan Mai

Proceedings of the IEEE Secure Development Conference, 2025

Unlocking Reproducibility: Automating re-Build Process for Open-Source Software.

Behnaz Hassanshahi, Trong Nhan Mai, Benjamin Selwyn-Smith, Nicholas Allen

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

2023

Macaron: A Logic-based Framework for Software Supply Chain Security Assurance.

Behnaz Hassanshahi, Trong Nhan Mai, Alistair Michael, Benjamin Selwyn-Smith, Sophie Bates, Padmanabhan Krishnan

Proceedings of the 2023 Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses, 2023

2022

Experience: Model-Based, Feedback-Driven, Greybox Web Fuzzing with BackREST.

François Gauthier, Behnaz Hassanshahi, Benjamin Selwyn-Smith, Trong Nhan Mai, Max Schlüter, Micah Williams

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

BackREST: A Model-Based Feedback-Driven Greybox Fuzzer for Web Applications.

François Gauthier, Behnaz Hassanshahi, Benjamin Selwyn-Smith, Trong Nhan Mai, Max Schlüter, Micah Williams

CoRR, 2021