Michael McLoughlin

According to our database, Michael McLoughlin authored at least 3 papers between 2017 and 2025.

Collaborative distances:

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

2025

Towards Practical, End-to-End Formally Verified X.509 Certificate Validators with Verdict.

Zhengyao Lin, Michael McLoughlin, Pratap Singh, Rory Brennan-Jones, Paul Hitchcox, Joshua Gancher, Bryan Parno

Proceedings of the 34th USENIX Security Symposium, 2025

2019

Overview of Virtual Ambisonic Systems.

Michael McLoughlin

Proceedings of the Encyclopedia of Computer Graphics and Games., 2019

2017

A knowledge-based, data-driven method for action-sound mapping.

Federico Visi, Baptiste Caramiaux, Michael McLoughlin, Eduardo Reck Miranda

Proceedings of the 17th International Conference on New Interfaces for Musical Expression, 2017