IEEE EuroS&P 2022 - Papers on Formal methods Topics · Papers Formal methodsCompositional Information Flow Monitoring for Reactive ProgramsMcKenna McCall (Carnegie Mellon University), Abhishek Bichhawat (Indian Institute of Technology Gandhinagar), Limin Jia (Carnegie Mellon University)[Paper][Artifact]