Mark LeMay

PhD Student

  • Title PhD Student
  • Education PhD, Boston University

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.


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


View all profiles