Следене
Dominique Devriese
Заглавие
Позовавания
Позовавания
Година
Noninterference through secure multi-execution
D Devriese, F Piessens
2010 IEEE Symposium on Security and Privacy, 109-124, 2010
3552010
FlowFox: a web browser with flexible and precise information flow control
W De Groef, D Devriese, N Nikiforakis, F Piessens
Proceedings of the 2012 ACM conference on Computer and communications …, 2012
2102012
On the bright side of type classes: instance arguments in Agda
D Devriese, F Piessens
ACM SIGPLAN Notices 46 (9), 143-155, 2011
982011
Reactive non-interference for a browser model
N Bielova, D Devriese, F Massacci, F Piessens
2011 5th International Conference on Network and System Security, 97-104, 2011
692011
Reasoning about object capabilities with logical relations and effect parametricity
D Devriese, L Birkedal, F Piessens
2016 IEEE European Symposium on Security and Privacy (EuroS&P), 147-162, 2016
67*2016
Fully-abstract compilation by approximate back-translation
D Devriese, M Patrignani, F Piessens
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
612016
Parametric quantifiers for dependent type theory
A Nuyts, A Vezzosi, D Devriese
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017
572017
StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities
L Skorstengaard, D Devriese, L Birkedal
Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019
562019
Monadic abstract interpreters
I Sergey, D Devriese, M Might, J Midtgaard, D Darais, D Clarke, ...
Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013
542013
Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management
L Skorstengaard, D Devriese, L Birkedal
European Symposium on Programming, 475-501, 2018
532018
Pattern matching without K
J Cockx, D Devriese, F Piessens
Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014
532014
Stateful declassification policies for event-driven programs
M Vanhoef, W De Groef, D Devriese, F Piessens, T Rezk
2014 IEEE 27th Computer Security Foundations Symposium, 293-307, 2014
492014
Degrees of relatedness: A unified framework for parametricity, irrelevance, ad hoc polymorphism, intersections, unions and algebra in dependent type theory
A Nuyts, D Devriese
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
472018
On modular and fully-abstract compilation
M Patrignani, D Devriese, F Piessens
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 17-30, 2016
422016
Multi-tier functional reactive programming for the web
B Reynders, D Devriese, F Piessens
Proceedings of the 2014 ACM International Symposium on New Ideas, New …, 2014
422014
Secure multi-execution through static program transformation
G Barthe, JM Crespo, D Devriese, F Piessens, E Rivas
International Conference on Formal Methods for Open Object-Based Distributed …, 2012
422012
Information flow enforcement in monadic libraries
D Devriese, F Piessens
Proceedings of the 7th ACM SIGPLAN Workshop on Types in Language Design and …, 2011
392011
Efficient and provable local capability revocation using uninitialized capabilities
AL Georges, A Guéneau, T Van Strydonck, A Timany, A Trieu, ...
Proceedings of the ACM on Programming Languages 5 (POPL), 1-30, 2021
362021
Secure multi-execution of web scripts: Theory and practice
W De Groef, D Devriese, N Nikiforakis, F Piessens
Journal of Computer Security 22 (4), 469-509, 2014
332014
Linear capabilities for fully abstract compilation of separation-logic-verified code
T Van Strydonck, F Piessens, D Devriese
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-29, 2019
302019
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20