IEEE European Symposium on Security and Privacy

IEEE EuroS&P 2022 - Papers on Language-based security and privacy

Topics · Papers

Language-based security and privacy

Compositional Information Flow Monitoring for Reactive Programs
McKenna McCall (Carnegie Mellon University), Abhishek Bichhawat (Indian Institute of Technology Gandhinagar), Limin Jia (Carnegie Mellon University)
Dynamic Policies Revisited
Amir M. Ahmadian (KTH Royal Institute of Technology), Musard Balliu (KTH Royal Institute of Technology)