Topics · Papers
Language-based security and privacy
Compositional Information Flow Monitoring for Reactive ProgramsMcKenna McCall (Carnegie Mellon University), Abhishek Bichhawat (Indian Institute of Technology Gandhinagar), Limin Jia (Carnegie Mellon University)
Dynamic Policies RevisitedAmir M. Ahmadian (KTH Royal Institute of Technology), Musard Balliu (KTH Royal Institute of Technology)