Dominique Devriese

Citat de

	Toate	Din 2018
Referințe bibliografice	1794	974
h-index	23	19
i10-index	35	28

240

120

180

201020112012201320142015201620172018201920202021202220236 33 57 85 112 130 175 175 203 237 155 195 179 5

Acces public

Afișați-le pe toate

62 de articole

0 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Frank PiessensProfessor of Computer Science, Katholieke Universiteit LeuvenAdresă de e-mail confirmată pe cs.kuleuven.be
Marco PatrignaniAssistant Professor at University of TrentoAdresă de e-mail confirmată pe unitn.it
Lars BirkedalDept. of Computer Science, Aarhus UniversityAdresă de e-mail confirmată pe cs.au.dk
Andreas NuytsKU LeuvenAdresă de e-mail confirmată pe kuleuven.be
Willem De GroefPhD researcher, Dept. of Computer Science (iMinds-DistriNet), KU Leuven, BelgiumAdresă de e-mail confirmată pe cs.kuleuven.be
Jesper CockxTU DelftAdresă de e-mail confirmată pe sikanda.be
Bob ReyndersKU LeuvenAdresă de e-mail confirmată pe cs.kuleuven.be
Amin TimanyAarhus UniversityAdresă de e-mail confirmată pe cs.au.dk
Stelios TsampasPostdoctoral ResearcherAdresă de e-mail confirmată pe fau.de
Nick NikiforakisAssociate Professor, Stony Brook UniversityAdresă de e-mail confirmată pe cs.stonybrook.edu
Alix TrieuANSSIAdresă de e-mail confirmată pe ssi.gouv.fr
Aïna Linn GeorgesAarhus UniversityAdresă de e-mail confirmată pe cs.au.dk
Ilya SergeyAssociate Professor, National University of SingaporeAdresă de e-mail confirmată pe comp.nus.edu.sg
Steven KeuchelUniversiteit GentAdresă de e-mail confirmată pe ugent.be
Sander HuyghebaertVrije Universiteit BrusselAdresă de e-mail confirmată pe vub.be
Akram El-KorashyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Adresă de e-mail confirmată pe mpi-sws.org
Nataliia BielovaPermanent Researcher (CRCN) at Inria, @nataliabielovaAdresă de e-mail confirmată pe inria.fr
Fabio MassacciChair at Vrije Universiteit, Netherlands and prof. at University of Trento, ItalyAdresă de e-mail confirmată pe ieee.org
Mathy Vanhoefimec-DistriNet, KU LeuvenAdresă de e-mail confirmată pe nyu.edu
Andrea VezzosiPostdoc, IT University CopenhagenAdresă de e-mail confirmată pe itu.dk

Urmăriți

Dominique Devriese

KU Leuven

Adresă de e-mail confirmată pe kuleuven.be - Pagina de pornire

Secure Compilation Capability Machines Effect Parametricity Modular Effects Dependently-Typed Programming


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
Noninterference through secure multi-execution D Devriese, F Piessens 2010 IEEE Symposium on Security and Privacy, 109-124, 2010	340	2010
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	204	2012
On the bright side of type classes: instance arguments in Agda D Devriese, F Piessens ACM SIGPLAN Notices 46 (9), 143-155, 2011	84	2011
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	66	2011
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	64*	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	57	2016
Pattern matching without K J Cockx, D Devriese, F Piessens Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014	49	2014
Parametric quantifiers for dependent type theory A Nuyts, A Vezzosi, D Devriese Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017	48	2017
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	47	2014
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	43	2018
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	43	2013
Secure multi-execution through static program transformation G Barthe, JM Crespo, D Devriese, F Piessens, E Rivas Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 …, 2012	43	2012
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	42	2019
On modular and fully-abstract compilation M Patrignani, D Devriese, F Piessens 2016 IEEE 29th Computer Security Foundations Symposium (CSF), 17-30, 2016	39	2016
Information flow enforcement in monadic libraries D Devriese, F Piessens Proceedings of the 7th ACM SIGPLAN Workshop on Types in Language Design and …, 2011	39	2011
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	37	2014
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	35	2018
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	30	2014
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	26	2019
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	26	2017

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori