- Title PhD Student
- Email firstname.lastname@example.org
- 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