Project synopsys
The main goals of this project are:
- Prove the value of distribute block chain approaches that can be applied to logistic use-cases (provided by industry partners and compartment 1 collaborators)
- Provide a future proof cryptographic approach considering the processing power quantum computing and other high performance compute technologies may bring.
- Provide an environment allowing parties to create data sharing agreements compliant to the digital market place policy thus guaranteeing secure and trustworthy real time sharing of big data.
- Provide secure mechanisms for compliancy checking using provenance trails and audit trails, and mechanisms for dispute settlement in case of breaches.
Output
-
Presentation at Programming Languages and the Law (ProLaLa) @ POPL2022:
Reflections on the design and application of eFLINT
(January 2022).
L. Thomas van Binsbergen.
[Abstract]
[Video]
-
Paper at Asiacrypt 2021:
On Time-Lock Cryptographic Assumptions in Abelian Hidden-Order Groups
(December 2021).
Aron van Baarsen and Marc Stevens.
[Paper]
-
Paper at the 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2021):
Dynamic generation of access control policies from social policies
(November 2021).
L. Thomas van Binsbergen, Milen G. Kebede, Joshua Baugh, Tom van Engers, Dannis G. van Vuurden.
[DOI]
[Paper]
-
Invited presentation at the Digital Data Steering Group (DDSG) of the Society of Automative Engineers (SEA) International:
Domain-Specific Languages and Normative Reasoning
(September 2021).
L. Thomas van Binsbergen.
[Slides]
-
Invited talk at a Strumenta Virtual Meetup:
Towards a DSL for formalising laws and regulations
(September 2021).
L. Thomas van Binsbergen.
[Slides]
-
Invited presentation at the Communications of the ACM Europe Special Section 2022 Workshop:
Digital Data Marketplaces
(August 2021).
L. Thomas van Binsbergen.
[Slides]
-
Paper at the International Conference on Trends in Functional Programming (TFP2021):
A generic back-end for exploratory programming
(August 2021).
Damian Frölich and L. Thomas van Binsbergen.
[Paper]
-
Presentation at Jurix Workshop Frontier of Digital Enforceable Contracts (FDEC 2020):
Languages for prototyping regulated systems: A case study
(December 2020).
L. Thomas van Binsbergen, Lu-Chi Liu and Mostafa Mohajeri Parizi.
[Abstract]
[Slides]
-
Paper at Generative Programming: Concepts & Experiences (GPCE):
eFLINT: a Domain-Specific Language for Executable Norm Specifications
(November 2020).
L. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg, and Tom van Engers.
[DOI]
[Paper]
[Video]
-
Paper at the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2020):
A principled approach to REPL interpreters
(October 2020).
L. Thomas van Binsbergen, Mauricio Verano Merino, Pierre Jeanjean, Tijs van der Storm, Benoit Combemale, and Olivier Barais.
[DOI]
[Paper]
-
Invited talk at Ministry of Defence (Ministerie van Defensie):
Het formaliseren van wetten en verordeningen -- een overzicht
(July 2020).
L. Thomas van Binsbergen and Tom van Engers.
[Slides]
-
Internal presentation UvA/CWI:
A principled approach to REPL interpreters applied to eFLINT
(April 2020).
L. Thomas van Binsbergen.
[Slides]
-
Presentation at TNO/ICTU seminar "Computers die redeneren met wetten; de eerste stappen":
eFLINT - Een modelleertaal voor het redeneren over normen
(March 2020).
L. Thomas van Binsbergen and Tom van Engers.
[Slides]
-
Poster at ICT.OPEN 2020 (Cancelled):
eFLINT -- An action-based language for reasoning about norms
(March 2020).
Lu-Chi Liu and L. Thomas van Binsbergen.
[Abstract]
[Poster]
-
Presentation at ICT.OPEN 2020 (Cancelled):
Executable Component-Based Semantics
(March 2020).
L. Thomas van Binsbergen, Neil Sculthorpe and Peter D. Mosses.
[Slides]
-
Presentation at ICT.OPEN 2020 (Cancelled):
eFLINT -- An action-based language for reasoning about norms
(March 2020).
L. Thomas van Binsbergen and Tom van Engers.
[Abstract]
[Slides]
-
Presentation at Financial Crypto 2020:
Non-interactive Cryptographic Timestamping based on Verifiable Delay Functions
(February 2020).
Esteban Landerreche, Marc Stevens, Christian Schaffner.
-
Paper at Financial Crypto 2020:
Non-interactive Cryptographic Timestamping based on Verifiable Delay Functions
(February 2020).
Esteban Landerreche, Marc Stevens, Christian Schaffner.
[Paper]
-
Paper in Journal of Computer Languages:
Purely Functional GLL Parsing
(January 2020).
L. Thomas van Binsbergen, Elizabeth Scott, and Adrian Johnstone.
[DOI]
[Paper]
-
Challenge proposal at GDPR@Jurix 2019:
The pseudo-GDPR on digital marketplaces challenge
(December 2019).
Giovanni Sileno, L. Thomas van Binsbergen. Lu-chi Liu, Milen Kebede Girma, and Tom van Engers.
[Abstract]
[Slides]
-
Presentation at CWI:
eFLINT -- A DSL for testing normative specifications
(November 2019).
L. Thomas van Binsbergen.
[Slides]
-
Presentation and poster at 45th International Conference on Very Large Data Bases:
Dietcoin: hardening Bitcoin transaction verification process for mobile devices
(August 2019).
Davide Frey, Marx X. Makkes, Pierre-Louis Roman, François Taïani, and Spyros Voulgaris.
[Paper]
-
Paper at 45th International Conference on Very Large Data Bases:
Dietcoin: hardening Bitcoin transaction verification process for mobile devices
(August 2019).
Davide Frey, Marx X. Makkes, Pierre-Louis Roman, François Taïani, and Spyros Voulgaris.
[DOI]
[Paper]