Projects per year
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.
|Media of output||software|
|Publication status||Unpublished - 4 Sep 2023|
FingerprintDive into the research topics of 'Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data (Artifact)'. Together they form a unique fingerprint.
- 1 Active
1/09/19 → 31/12/23
- 1 Article
Renaux, T., Van den Vonder, S. & De Meuter, W., 27 Aug 2023, (Accepted/In press) In: Proc. ACM Program. Lang.. 7, OOPSLA2, p. 1-27 27 p., 227.
Research output: Contribution to journal › Article › peer-reviewOpen AccessFile71 Downloads (Pure)