Dominique Devriese
发表
Andreas Nuyts,
Dominique Devriese,
2020,
ArXiv.
Dominique Devriese,
Frank Piessens,
Gilles Barthe,
2012,
FMOODS/FORTE.
Dominique Devriese,
Frank Piessens,
F. Piessens,
2010,
2010 IEEE Symposium on Security and Privacy.
F. Piessens,
D. Devriese,
Marco Patrignani,
2022,
ACM Trans. Program. Lang. Syst..
Dominique Devriese,
Marco Patrignani,
Eric Mark Martin,
2020,
Proc. ACM Program. Lang..
D. Devriese,
Marco Patrignani,
Eric Martin,
2020,
2010.10859.
Dominique Devriese,
Lars Birkedal,
Armaël Guéneau,
2021,
Proc. ACM Program. Lang..
Dominique Devriese,
Frank Piessens,
Stelios Tsampas,
2019,
2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
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,
Bob Reynders,
Frank Piessens,
2020,
Art Sci. Eng. Program..
Dominique Devriese,
Frank Piessens,
Bob Reynders,
2018,
Programming.
Dominique Devriese,
Frank Piessens,
Bob Reynders,
2017,
TFP.
Dominique Devriese,
Frank Piessens,
Jesper Cockx,
2016,
Journal of Functional Programming.
D. Devriese,
Andreas Nuyts,
J. Ceulemans,
2022,
MSFP@ETAPS.
Dominique Devriese,
Dominique Devriese,
2014
.
Dominique Devriese,
Frank Piessens,
David Darais,
2013,
PLDI.
Dominique Devriese,
Frank Piessens,
Willem De Groef,
2011,
Formal Aspects in Security and Trust.
Dominique Devriese,
Andreas Nuyts,
Koen Jacobs,
2019,
TyDe@ICFP.
Thomas Van Strydonck,
Aïna Linn Georges,
F. Piessens,
2022,
2022 IEEE 35th Computer Security Foundations Symposium (CSF).
Dominique Devriese,
Frank Piessens,
Tamara Rezk,
2014,
2014 IEEE 27th Computer Security Foundations Symposium.
Dominique Devriese,
Jesper Cockx,
Jesper Cockx,
2018,
Journal of Functional Programming.
Dominique Devriese,
Jesper Cockx,
Jesper Cockx,
2017,
CPP.
Dominique Devriese,
Frank Piessens,
Jesper Cockx,
2016,
ICFP.
Dominique Devriese,
Frank Piessens,
Jesper Cockx,
2014,
ICFP.
Stelios Tsampas,
Christian Williams,
Dominique Devriese,
2020,
MFCS.
Matteo Busi,
Dominique Devriese,
E. Lanckriet,
2023,
2023 IEEE 36th Computer Security Foundations Symposium (CSF).
Thomas Van Strydonck,
David F. Oswald,
Job Noorman,
2023,
2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P).
Dominique Devriese,
Frank Piessens,
Andreas Nuyts,
2020,
CMCS.
Dominique Devriese,
Frank Piessens,
Thomas Van Strydonck,
2019,
Journal of Functional Programming.
Dominique Devriese,
Marco Patrignani,
Frank Piessens,
2016,
2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Dominique Devriese,
Marco Patrignani,
Frank Piessens,
2016,
ArXiv.
Andreas Nuyts,
Dominique Devriese,
2020,
Log. Methods Comput. Sci..