Projects per year
Abstract
This is an artifact associated with a paper called "Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data". The paper associated with this artifact describes the SRDT, a secure replicated data type. To specify exactly how SRDTs work and to verify that they are secure, the paper uses a formal specification implemented in Redex, a library in the Racket language to specify executable formal semantics. The purpose of this artifact is to guide the reader on how to interact with the formal semantics, such that they can explore exactly how SRDTs work, are able to verify the claims of the paper, and are able to reproduce SRDTs for other systems.
| Original language | English |
|---|---|
| Media of output | software |
| DOIs | |
| Publication status | Unpublished - 4 Sep 2023 |
Fingerprint
Dive into the research topics of 'Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data (Artifact)'. Together they form a unique fingerprint.Projects
- 1 Active
-
VLAAI2: Subsidie Onderzoeksprogramma "Cybersecurity Initiative Flanders"
De Meuter, W., Braeken, A., Devriese, D., Gonzalez Boix, E. & De Roover, C.
1/09/19 → 31/12/24
Project: Applied
Research output
- 1 Article
-
Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data
Renaux, T., Van den Vonder, S. & De Meuter, W., 16 Oct 2023, In: Proc. ACM Program. Lang.. 7, OOPSLA2, p. 1-27 27 p., 227.Research output: Contribution to journal › Article › peer-review
Open AccessFile148 Downloads (Pure)
Datasets
-
Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data (Artifact)
Renaux, T. (Creator), Van den Vonder, S. (Creator) & De Meuter, W. (Supervisor), Zenodo, 4 Sep 2023
Dataset
File
Activities
- 1 Talk or presentation at a conference
-
Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data
Sam Van den Vonder (Speaker)
27 Oct 2023Activity: Talk or presentation › Talk or presentation at a conference