Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Devriese, Dominique
124  Ergebnisse:
Personensuche X
?
1

Internal and Observational Parametricity for Cubical Agda:

Van Muylder, Antoine ; Nuyts, Andreas ; Devriese, Dominique
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 209-240 , 2024
Link: https://doi.org/10.1145/..
 
?
2

Cerise: Program Verification on a Capability Machine in the..:

Georges, Aïna Linn ; Guéneau, Armaël ; Van Strydonck, Thomas...
Journal of the ACM.  71 (2024)  1 - p. 1-59 , 2024
Link: https://doi.org/10.1145/..
 
?
3

$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying ..:

, In: 2023 IEEE 36th Computer Security Foundations Symposium (CSF),
Lanckriet, Emiel ; Busi, Matteo ; Devriese, Dominique - p. 537-551 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Formalizing, Verifying and Applying ISA Security Guarantees..:

, In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,
Huyghebaert, Sander ; Keuchel, Steven ; De Roover, Coen. - p. 2083-2097 , 2023
Link: https://dl.acm.org/doi/1..
 
?
5

CHERI-TrEE: Flexible enclaves on capability machines:

, In: 2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P),
Van Strydonck, Thomas ; Noorman, Job ; Jackson, Jennifer... - p. 1143-1159 , 2023
Link: https://doi.org/10.1109/..
 
?
6

Plausible sealing for gradual parametricity:

Labrada, Elizabeth ; Toro, Matías ; Tanter, Éric.
Proceedings of the ACM on Programming Languages.  6 (2022)  OOPSLA1 - p. 1-28 , 2022
Link: https://doi.org/10.1145/..
 
?
7

Purity of an ST monad: full abstraction by semantically typ..:

Jacobs, Koen ; Devriese, Dominique ; Timany, Amin
Proceedings of the ACM on Programming Languages.  6 (2022)  OOPSLA1 - p. 1-27 , 2022
Link: https://doi.org/10.1145/..
 
?
8

Verified symbolic execution with Kripke specification monad..:

Keuchel, Steven ; Huyghebaert, Sander ; Lukyanov, Georgy.
Proceedings of the ACM on Programming Languages.  6 (2022)  ICFP - p. 194-224 , 2022
Link: https://doi.org/10.1145/..
 
?
9

Proving full-system security properties under multiple atta..:

, In: 2022 IEEE 35th Computer Security Foundations Symposium (CSF),
Van Strydonck, Thomas ; Georges, Aina Linn ; Gueneau, Armael... - p. 80-95 , 2022
Link: https://doi.org/10.1109/..
 
?
10

Two Parametricities Versus Three Universal Types:

Devriese, Dominique ; Patrignani, Marco ; Piessens, Frank
ACM Transactions on Programming Languages and Systems.  44 (2022)  4 - p. 1-43 , 2022
Link: https://doi.org/10.1145/..
 
?
11

StkTokens: Enforcing well-bracketed control flow and stack ..:

SKORSTENGAARD, LAU ; DEVRIESE, DOMINIQUE ; BIRKEDAL, LARS
Journal of Functional Programming.  31 (2021)  - p. , 2021
Link: https://doi.org/10.1017/..
 
?
12

On the semantic expressiveness of recursive types:

Patrignani, Marco ; Martin, Eric Mark ; Devriese, Dominique
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-29 , 2021
Link: https://doi.org/10.1145/..
 
?
13

Fully abstract from static to gradual:

Jacobs, Koen ; Timany, Amin ; Devriese, Dominique
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-30 , 2021
Link: https://dl.acm.org/doi/1..
 
?
14

Linear capabilities for fully abstract compilation of separ..:

VAN STRYDONCK, THOMAS ; PIESSENS, FRANK ; DEVRIESE, DOMINIQUE
Journal of Functional Programming.  31 (2021)  - p. , 2021
Link: https://doi.org/10.1017/..
 
?
15

Fully abstract from static to gradual:

Jacobs, Koen ; Timany, Amin ; Devriese, Dominique
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-30 , 2021
Link: https://doi.org/10.1145/..
 
1-15