Dominique Devriese
KU Leuven(BE)
Publications by Year
Research Areas
Logic, programming, and type systems, Security and Verification in Computing, Formal Methods in Verification, Advanced Malware Detection Techniques, Logic, Reasoning, and Knowledge
Most-Cited Works
- → Noninterference through Secure Multi-execution(2010)242 cited
- → FlowFox(2012)130 cited
- → On the bright side of type classes(2011)56 cited
- → Reactive non-interference for a browser model(2011)50 cited
- → Fully-abstract compilation by approximate back-translation(2016)47 cited
- → StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities(2019)43 cited
- → Reasoning about Object Capabilities with Logical Relations and Effect Parametricity(2016)38 cited
- → Parametric quantifiers for dependent type theory(2017)37 cited
- → Stateful Declassification Policies for Event-Driven Programs(2014)35 cited