Mark Lemay

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 3

Top Topics

Security Systems

Grammatical Inference

Top Venues

Publications

Mark Lemay, Qiancheng Fu, William Blair, Cheng Zhang, Hongwei Xi
A Dependently Typed Language with Dynamic Equality. TyDe@ICFP (2023)
Wajih Ul Hassan, Mark Lemay, Nuraini Aguse, Adam Bates, Thomas Moyer
Towards Scalable Cluster Auditing through Grammatical Inference over Provenance Graphs. NDSS (2018)
Mark Lemay, Wajih Ul Hassan, Thomas Moyer, Nabil Schear, Warren Smith
Automated Provenance Analytics: A Regular Grammar Based Approach with Applications in Security. TaPP (2017)