Dominique Devriese
TitoloCitata daAnno
Noninterference through secure multi-execution
D Devriese, F Piessens
2010 IEEE Symposium on Security and Privacy, 109-124, 2010
2692010
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
1532012
On the bright side of type classes: instance arguments in Agda
D Devriese, F Piessens
ACM SIGPLAN Notices 46 (9), 143-155, 2011
652011
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
562011
Secure multi-execution through static program transformation
G Barthe, JM Crespo, D Devriese, F Piessens, E Rivas
Formal Techniques for Distributed Systems, 186-202, 2012
402012
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
382014
Information flow enforcement in monadic libraries
D Devriese, F Piessens
Proceedings of the 7th ACM SIGPLAN workshop on Types in language design and …, 2011
332011
Pattern matching without K
J Cockx, D Devriese, F Piessens
ACM SIGPLAN Notices 49 (9), 257-268, 2014
322014
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
312016
Fully-abstract compilation by approximate back-translation
D Devriese, M Patrignani, F Piessens
ACM SIGPLAN Notices 51 (1), 164-177, 2016
272016
Monadic abstract interpreters
I Sergey, D Devriese, M Might, J Midtgaard, D Darais, D Clarke, ...
ACM SIGPLAN Notices 48 (6), 399-410, 2013
262013
On modular and fully-abstract compilation
M Patrignani, D Devriese, F Piessens
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 17-30, 2016
252016
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
252014
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
222014
Parametric quantifiers for dependent type theory
A Nuyts, A Vezzosi, D Devriese
Proceedings of the ACM on Programming Languages 1 (ICFP), 32, 2017
192017
Typed syntactic meta-programming
D Devriese, F Piessens
ACM SIGPLAN Notices 48 (9), 73-86, 2013
182013
Explicitly recursive grammar combinators
D Devriese, F Piessens
International Symposium on Practical Aspects of Declarative Languages, 84-98, 2011
182011
Parametricity versus the universal type
D Devriese, M Patrignani, F Piessens
Proceedings of the ACM on Programming Languages 2 (POPL), 38, 2017
152017
Modular, Fully-abstract Compilation by Approximate Back-translation
D Devriese, M Patrignani, F Piessens, S Keuchel
Logical Methods in Computer Science 13 (4), 2017
142017
Towards automatic compartmentalization of C programs on capability machines
S Tsampas, A El-Korashy, M Patrignani, D Devriese, D Garg, F Piessens
Workshop on Foundations of Computer Security 2017, 1-14, 2017
132017
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20