Authors: Georges, Aïna Linn, Guéneau, Armaël, Van Strydonck, Thomas, Timany, Amin, Trieu, Alix, Devriese, Dominique, Birkedal, Lars
Superior Title: Journal of the ACM; Feb2024, Vol. 71 Issue 1, p1-59, 59p
Authors: Lanckriet, Emiel, Busi, Matteo, Devriese, Dominique
Contributors: Lanckriet, Emiel, Busi, Matteo, Devriese, Dominique
Subject Terms: remote attestation, secure compilation, π-calculus, Settore INF/01 - Informatica
Relation: info:eu-repo/semantics/altIdentifier/isbn/979-8-3503-2192-0; info:eu-repo/semantics/altIdentifier/wos/WOS:001061509400035; ispartofbook:2023 IEEE 36th Computer Security Foundations Symposium (CSF); IEEE Computer Security Foundations Symposium (CSF); firstpage:537; lastpage:551; numberofpages:15; https://hdl.handle.net/10278/5034714
Authors: Georges, Aïna Linn, Guéneau, Armaël, Van Strydonck, Thomas, Timany, Amin, Trieu, Alix, Devriese, Dominique, Birkedal, Lars
Contributors: Max Planck Institute for Software Systems (MPI-SWS), Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Department of Computer Science (KU Leuven - CS), Catholic University of Leuven = Katholieke Universiteit Leuven (KU Leuven), Aarhus University Aarhus, Agence nationale de la sécurité des systèmes d'information (ANSSI)
Superior Title: ISSN: 0004-5411.
Subject Terms: capability machines, capability safety, universal contracts, program logic, Separation logic, CHERI, [INFO]Computer Science [cs], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Relation: hal-03826854; https://hal.science/hal-03826854; https://hal.science/hal-03826854v3/document; https://hal.science/hal-03826854v3/file/cerise-journal.pdf
Subject Terms: formal verification, universal contracts, risc-v, capability machines
Subject Terms: Computer Science - Programming Languages, Computer Science - Cryptography and Security
Relation: http://arxiv.org/abs/2306.05128
Availability: http://arxiv.org/abs/2306.05128
Authors: Van Strydonck, Thomas, Georges, Aïna Linn, Guéneau, Armaël, Trieu, Alix, Timany, Amin, Piessens, Frank, Birkedal, Lars, Devriese, Dominique
Contributors: Department of Computer Science (KU Leuven - CS), Catholic University of Leuven = Katholieke Universiteit Leuven (KU Leuven), Aarhus University Aarhus, Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Vrije Universiteit Brussel Bruxelles (VUB)
Superior Title: CSF 2022 - 35th IEEE Computer Security Foundations Symposium ; https://inria.hal.science/hal-03826851 ; CSF 2022 - 35th IEEE Computer Security Foundations Symposium, Aug 2022, Haifa, Israel
Subject Terms: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Relation: hal-03826851; https://inria.hal.science/hal-03826851; https://inria.hal.science/hal-03826851/document; https://inria.hal.science/hal-03826851/file/paper.pdf
Authors: Georges, Aïna Linn, Guéneau, Armaël, Van Strydonck, Thomas, Timany, Amin, Trieu, Alix, Devriese, Dominique, Birkedal, Lars
Superior Title: Georges , A L , Guéneau , A , Van Strydonck , T , Timany , A , Trieu , A , Devriese , D & Birkedal , L 2024 , ' Cerise : Program Verification on a Capability Machine in the Presence of Untrusted Code ' , Journal of the ACM , vol. 71 , no. 1 , 3 . https://doi.org/10.1145/3623510
Subject Terms: universal contracts, capability machines, program logic, capability safety, separation logic, CHERI
Superior Title: Proceedings of the ACM on Programming Languages ; volume 8, issue POPL, page 209-240 ; ISSN 2475-1421
Subject Terms: Safety, Risk, Reliability and Quality, Software
Availability: https://doi.org/10.1145/3632850
Authors: Tsampas, SteliosAff10, Nuyts, AndreasAff10, Devriese, DominiqueAff11, Piessens, FrankAff10
Contributors: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Petrişan, Daniela, editorAff8, Rot, Jurriaan, editorAff9
Superior Title: Coalgebraic Methods in Computer Science : 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings. 12094:155-179
Superior Title: Proceedings of The ACM on Programming Languages-PACMPL
Subject Terms: Gradual typing, Polymorphism, Parametricity
File Description: application/pdf
Relation: Proc. ACM Program. Lang., Vol. 6, No. OOPSLA1, Article 70; https://repositorio.uchile.cl/handle/2250/186213
Authors: Jacobs, Koen, Devriese, Dominique, Timany, Amin
Superior Title: Jacobs , K , Devriese , D & Timany , A 2022 , ' Purity of an ST monad : Full abstraction by semantically typed back-translation ' , Proceedings of the ACM on Programming Languages , vol. 6 , no. OOPSLA1 , 82 . https://doi.org/10.1145/3527326
Subject Terms: Full Abstraction, Functional Programming Languages, ST monad
Availability:
https://doi.org/10.1145/3527326
https://pure.au.dk/portal/da/publications/purity-of-an-st-monad(c6018dd0-f704-4ec7-866f-384123bf2982).html
http://www.scopus.com/inward/record.url?scp=85129751817&partnerID=8YFLogxK
Authors: Ceulemans, Joris, Nuyts, Andreas, Devriese, Dominique
Subject Terms: Computer Science - Programming Languages, Computer Science - Logic in Computer Science
Relation: http://arxiv.org/abs/2207.00843; EPTCS 360, 2022, pp. 93-112
Authors: Tsampas, Stelios, Williams, Christian, Nuyts, Andreas, Devriese, Dominique, Piessens, Frank
Subject Terms: Structural Operational Semantics, distributive laws, weak bisimilarity, Theory of computation → Categorical semantics
File Description: application/pdf
Relation: https://dx.doi.org/10.4230/LIPIcs.MFCS.2021; https://dx.doi.org/10.1007/BFb0018361; https://dx.doi.org/10.1007/s10485-014-9372-9; https://dx.doi.org/10.1007/3-540-63166-6_14; https://dx.doi.org/10.1016/0304-3975(94)00152-9; https://dx.doi.org/10.1145/2603088.2603149; https://dx.doi.org/10.4230/LIPIcs.CONCUR.2015.240; https://dx.doi.org/10.1007/s00236-016-0271-4; https://dx.doi.org/10.2168/LMCS-11(2:14)2015; https://dx.doi.org/10.1016/j.jlamp.2015.09.002; https://dx.doi.org/10.2168/LMCS-7(2:16)2011; https://dx.doi.org/10.1007/978-3-662-43951-7_17; https://dx.doi.org/10.1016/S0304-3975(98)00353-3; https://dx.doi.org/10.2168/LMCS-3(4:11)2007; https://dx.doi.org/10.1109/LICS.1989.39174; https://dx.doi.org/10.1006/inco.1996.0008; https://dx.doi.org/10.1016/j.tcs.2011.03.023; https://dx.doi.org/10.1007/3-540-10235-3
Availability: https://doi.org/10.4230/lipics.mfcs.2021.8810.4230/LIPIcs.MFCS.202110.1007/BFb001836110.1007/s10485-014-9372-910.1007/3-540-63166-6_1410.1016/0304-3975(94)00152-910.1145/2603088.260314910.4230/LIPIcs.CONCUR.2015.24010.1007/s00236-016-0271-410.2168/LMCS-11(2:14)201510.1016/j.jlamp.2015.09.00210.2168/LMCS-7(2:16)201110.1007/978-3-662-43951-7_1710.1016/S0304-3975(98)00353-310.2168/LMCS-3(4:11)200710.1109/LICS.1989.3917410.1006/inco.1996.000810.1016/j.tcs.2011.03.02310.1007/3-540-10235-3
Authors: Georges, Aïna Linn, Guéneau, Armaël, Van Strydonck, Thomas, Timany, Amin, Trieu, Alix, Devriese, Dominique, Birkedal, Lars
Contributors: Aarhus University Aarhus, Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Department of Computer Science (KU Leuven - CS), Catholic University of Leuven - Katholieke Universiteit Leuven (KU Leuven), Vrije Universiteit Brussel Bruxelles (VUB)
Superior Title: https://hal.science/hal-03826854 ; 2022.
Subject Terms: [INFO]Computer Science [cs]
Relation: hal-03826854; https://hal.science/hal-03826854; https://hal.science/hal-03826854/document; https://hal.science/hal-03826854/file/paper.pdf
Authors: Skorstengaard, LauAff14, Devriese, DominiqueAff15, Birkedal, LarsAff14
Contributors: Hutchison, David, Series EditorAff1, Kanade, Takeo, Series EditorAff2, Kittler, Josef, Series EditorAff3, Kleinberg, Jon M., Series EditorAff4, Mattern, Friedemann, Series EditorAff5, Mitchell, John C., Series EditorAff6, Naor, Moni, Series EditorAff7, Pandu Rangan, C., Series EditorAff8, Steffen, Bernhard, Series EditorAff9, Terzopoulos, Demetri, Series EditorAff10, Tygar, Doug, Series EditorAff11, Weikum, Gerhard, Series EditorAff12, Ahmed, Amal, editorAff13
Superior Title: Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. 10801:475-501
Authors: Horemans, JeffAff15, Reynders, BobAff15, Devriese, DominiqueAff15, Piessens, FrankAff15
Contributors: Hutchison, David, Series EditorAff1, Kanade, Takeo, Series EditorAff2, Kittler, Josef, Series EditorAff3, Kleinberg, Jon M., Series EditorAff4, Mattern, Friedemann, Series EditorAff5, Mitchell, John C., Series EditorAff6, Naor, Moni, Series EditorAff7, Pandu Rangan, C., Series EditorAff8, Steffen, Bernhard, Series EditorAff9, Terzopoulos, Demetri, Series EditorAff10, Tygar, Doug, Series EditorAff11, Weikum, Gerhard, Series EditorAff12, Wang, Meng, editorAff13, Owens, Scott, editorAff14
Superior Title: Trends in Functional Programming : 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers. 10788:79-97
Authors: Georges, Aïna Linn, Guéneau, Armaël, Van Strydonck, Thomas, Timany, Amin, Trieu, Alix, Devriese, Dominique, Birkedal, Lars
Superior Title: Georges , A L , Guéneau , A , Van Strydonck , T , Timany , A , Trieu , A , Devriese , D & Birkedal , L 2021 , Cap’ ou pas cap’ ?: Preuve de programmes pour une machine à capacités en présence de code inconnu . i Journées Francophones des Langages Applicatifs 2021 . Institut de Recherche en Informatique Fondamentale , Journées Francophones des Langages Applicatifs 2021 , 07/04/2021 . < https://researchportal.vub.be/en/publications/cap-ou-pas-cap-preuve-de-programmes-pour-une-machine-%C3%A0-capacit%C3%A9s- >
Availability:
https://pure.au.dk/portal/da/publications/cap-ou-pas-cap--preuve-de-programmes-pour-une-machine-a-capacites-en-presence-de-code-inconnu(16ea6d5f-2d1c-49a9-95e3-409dd9bcef58).html
https://researchportal.vub.be/en/publications/cap-ou-pas-cap-preuve-de-programmes-pour-une-machine-%C3%A0-capacit%C3%A9s-
Authors: Georges, Aïna Linn, Guéneau, Armaël, Van Strydonck, Thomas, Timany, Amin, Trieu, Alix, Huyghebaert, Sander, Devriese, Dominique, Birkedal, Lars
Superior Title: Georges , A L , Guéneau , A , Van Strydonck , T , Timany , A , Trieu , A , Huyghebaert , S , Devriese , D & Birkedal , L 2021 , ' Efficient and provable local capability revocation using uninitialized capabilities ' , Proceedings of the ACM on Programming Languages , vol. 5 , no. POPL , 6 . https://doi.org/10.1145/3434287
Subject Terms: capability machines, capability revocation, capability safety, CHERI, local capabilities, program logic, uninitialized capabilities, universal contracts
File Description: application/pdf
Authors: Jacobs, Koen, Timany, Amin, Devriese, Dominique
Superior Title: Jacobs , K , Timany , A & Devriese , D 2021 , ' Fully abstract from static to gradual ' , Proceedings of the ACM on Programming Languages , vol. 5 , no. POPL , 7 . https://doi.org/10.1145/3434288
Subject Terms: fully abstract compilation, fully abstract embedding, gradual typing
File Description: application/pdf