D. Devriese
发表
L. Birkedal,
Lau Skorstengaard,
D. Devriese,
2017
.
F. Piessens,
D. Garg,
D. Devriese,
2017
.
Dominique Devriese,
Frank Piessens,
Raoul Strackx,
2016,
2016 IEEE Cybersecurity Development (SecDev).
Aïna Linn Georges,
D. Devriese,
Lars,
2020
.
F. Piessens,
D. Devriese,
Andreas Nuyts,
2015
.
Dominique Devriese,
Frank Piessens,
David Darais,
2013,
ACM-SIGPLAN Symposium on Programming Language Design and Implementation.
Dominique Devriese,
Frank Piessens,
Tom Schrijvers,
2014
.
F. Piessens,
T. Schrijvers,
D. Devriese,
2013
.
D. Devriese,
G. Lukyanov,
Sander Huyghebaert,
2022
.
D. Devriese,
G. Lukyanov,
Sander Huyghebaert,
2022,
Proceedings of the ACM on Programming Languages.
D. Devriese,
G. Lukyanov,
Sander Huyghebaert,
2022,
Proceedings of the ACM on Programming Languages.
F. Piessens,
D. Devriese,
Marco Patrignani,
2022,
ACM Trans. Program. Lang. Syst..
D. Devriese,
É. Tanter,
Elizabeth Labrada,
2022,
Proc. ACM Program. Lang..
D. Devriese,
Marco Patrignani,
Eric Martin,
2020,
2010.10859.
D. Devriese,
Andreas Nuyts,
J. Ceulemans,
2022,
MSFP@ETAPS.
D. Devriese,
Andreas Nuyts,
2020,
ArXiv.
Dominique Devriese,
Frank Piessens,
Bob Reynders,
2017,
TFP.
Dominique Devriese,
Bob Reynders,
Frank Piessens,
2020,
Art Sci. Eng. Program..
Dominique Devriese,
Marco Patrignani,
Frank Piessens,
2020,
2021 IEEE 34th Computer Security Foundations Symposium (CSF).
Thomas Van Strydonck,
Aïna Linn Georges,
F. Piessens,
2022,
2022 IEEE 35th Computer Security Foundations Symposium (CSF).
Dominique Devriese,
Lars Birkedal,
Armaël Guéneau,
2021,
Proc. ACM Program. Lang..
Dominique Devriese,
Thomas Van Strydonck,
Steven Keuchel,
2020,
ArXiv.
Dominique Devriese,
Lars Birkedal,
Lau Skorstengaard,
2019,
ACM Trans. Program. Lang. Syst..
Dominique Devriese,
Frank Piessens,
Thomas Van Strydonck,
2019,
Journal of Functional Programming.
Dominique Devriese,
Lars Birkedal,
Lau Skorstengaard,
2018,
Journal of Functional Programming.
Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management
pdf
Dominique Devriese,
Lars Birkedal,
Lau Skorstengaard,
2018,
ESOP.
Dominique Devriese,
Frank Piessens,
Lars Birkedal,
2016,
2016 IEEE European Symposium on Security and Privacy (EuroS&P).
A. Timany,
D. Devriese,
A. Guéneau,
2021
.