# Mark Lemay

lemay@bu.edu •
Résumé •
presentations •
GitHub •
Math for People

I am currently a PhD candidate in Boston University's Computer Science department

My research interests are in type theory, automated theorem proving and formal methods.
## Publications

- Lemay, Mark, et al. "Automated Provenance Analytics: A Regular Grammar Based Approach with Applications in Security." 9th USENIX Workshop on the Theory and Practice of Provenance (TaPP 2017). USENIX Association, 2017.
pdf
slides
code
- Hassan, Wajih Ul, et al. "Towards Scalable Cluster Auditing through Grammatical Inference over Provenance Graphs." Network and Distributed Systems Security Symposium. 2018.