Concepedia

Dominique Devriese

DD

Statistics

Publications

34

Citations

1.2K

H-Index

19

Active since

2010

Affiliations

KU Leuven(Current)

Aarhus University

Vrije Universiteit Brussel

iMinds

IMEC

Dominique Devriese is an author at KU Leuven specializing in computing, computer science, and programming languages.

ORCID

Publications per year

2010–2023

34

Publications

34

Noninterference through Secure Multi-execution

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

, , +10

FlowFox

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

, , +14

On the bright side of type classes

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

, , +16

Reactive non-interference for a browser model

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

, , +17

Fully-abstract compilation by approximate back-translation

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

, , +15

1–5 of 34