Concepedia

Dominique Devriese

DD

Statistics

Publications

34

Citations

1.1K

H-Index

19

Active since

2010

Affiliations

KU Leuven(Current)

Aarhus University

Vrije Universiteit Brussel

IMEC

Dominique Devriese is an author at KU Leuven specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisFormal VerificationSoftware AnalysisAutomated ReasoningVerificationHardware SecurityCompilers

Publications per year

2010–2023

34

Publications

34

Noninterference through Secure Multi-execution

Dominique Devriese, Frank Piessens · 2010 · 242 citations · Full text

Engineering, Information Security, Software Analysis +20

Willem De Groef, Dominique Devriese, Nick Nikiforakis et al. · 2012 · 130 citations · Full text

Hardware Security, Functional Web Browser, Internet Security +12

On the bright side of type classes

Dominique Devriese, Frank Piessens · ACM SIGPLAN Notices · 2011 · 56 citations · Full text

Engineering, Type Theory, Education +17

Reactive non-interference for a browser model

Nataliia Bielova, Dominique Devriese, Fabio Massacci et al. · 2011 · 50 citations · Full text

Browser User Interface, Internet Security, Engineering +15

Fully-abstract compilation by approximate back-translation

Dominique Devriese, Marco Patrignani, Frank Piessens · 2016 · 44 citations · Full text

Engineering, Compiler Technology, Verification +19

1–5 of 34