Recente publicaties

• launch Van Muylder, A., Nuyts, A., Devriese, D. (2024). Internal and Observational Parametricity for Cubical Agda. Proc. ACM Program. Lang., 8 (POPL), Art.No. 8, 209-240. doi: 10.1145/3632850 via repository
• launch Huyghebaert, S., Keuchel, S., De Roover, C., Devriese, D. (2023). Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts. In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, (2083-2097). Presented at the ACM Conference on Computer and Communications Security (CCS), Copenhagen, 26 Nov 2023-30 Nov 2023. ISBN: 979-8-4007-0050-7. doi: 10.1145/3576915.3616602 via repository
• launch Georges, A.L., Guéneau, A., Van Strydonck, T., Timany, A., Trieu, A., Devriese, D., Birkedal, L. (2023). Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code. J. ACM, 71 (1), 1-57. doi: 10.1145/3623510 via repository
• launch Lanckriet, E., Busi, M., Devriese, D. (2023). pi_RA: A pi-calculus for Verifying Protocols that Use Remote Attestation. In: 2023 IEEE 36th Computer Security Foundations Symposium (CSF), (537-551). Presented at the 2023 IEEE 36th Computer Security Foundations Symposium (CSF), Dubrovnik, Croatia, 09 Jul 2023-13 Jul 2023. ISBN: 979-8-3503-2192-0. doi: 10.1109/CSF57540.2023.00019 via repository
• launch Van Strydonck, T., Noorman, J., Jackson, J., Alves Dias, L., Vanderstraeten, R., Oswald, D., Piessens, F., Devriese, D. (2023). CHERI-TrEE: Flexible enclaves on capability machines. In: Proceedings of the 8th IEEE European Symposium on Security and Privacy, (Paper No. 72), (1143-1159). Presented at the 8th IEEE European Symposium on Security and Privacy, Delft, 03 Jul 2023-07 Jun 2023. ISBN: 978-1-6654-6512-0. doi: 10.1109/EuroSP57164.2023.00070 via repository
• launch Jacobs, K., Devriese, D. (sup.), Jacobs, B. (cosup.), Timany, A. (cosup.) (2022). Preserving Language Abstractions: Gradual Typing and State Threads. via repository
• launch Labrada, E., Toro, M., Tanter, É., Devriese, D. (2022). Plausible Sealing for Gradual Parametricity. Proceedings of the ACM on Programming Languages, 6 (OOPSLA), Art.No. 70. doi: 10.1145/3527314 via repository
• launch Devriese, D., Patrignani, M., Piessens, F. (2022). Two Parametricities Versus Three Universal Types. Acm Transactions On Programming Languages And Systems, 44 (4), Art.No. 23. doi: 10.1145/3539657 via repository
• launch Keuchel, S., Huyghebaert, S., Lukyanov, G., Devriese, D. (2022). Verified Symbolic Execution with Kripke Specification Monads (and No Meta-Programming). Proceedings of the ACM on Programming Languages, 6 (ICFP), Art.No. 97, 194-224. doi: 10.1145/3547628 via repository
• launch Ceulemans, J., Nuyts, A., Devriese, D. (2022). Sikkel: Multimode Simple Type Theory as an Agda Library. In: Electronic Proceedings in Theoretical Computer Science: vol. 360, (Paper No. 5), (93-112). Presented at the Ninth Workshop on Mathematically Structured Functional Programming (MSFP 2022), Munich, Germany, 02 Apr 2022-02 Apr 2022. doi: 10.4204/EPTCS.360.5 via repository