PhD Student

Mark is currently a PhD candidate in Boston University’s Computer Science department. His 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

Hassan, Wajih Ul, et al. “Towards Scalable Cluster Auditing through Grammatical Inference over Provenance Graphs.” Network and Distributed Systems Security Symposium. 2018. site

Website

http://cs-people.bu.edu/lemay/