uvdsl
I do research on applications of Linked Data and Distributed Ledgers. (Sometimes.)
Karlsruhe Institute of Technology (KIT)
Pinned Repositories
actionTokenOraclePattern
Enable off-chain authorization for Smart Contract function invokation.
canonrdf
This library provides methods for canonicalising RDF.
ldh
Linked Data Hasher
LinkedData-Logistics
Verifying the integrity of Linked Data in the Logistics Domain via Ethereum's Smart Contracts.
solid-inbox-watcher
Watch your Solid inbox.
solid-vc-module
solid-vc-pwa
Our demo showcases how a user is granted access to resources stored on a Solid Pod, i. e., a web server that adheres to the Solid Protocol, using Web-based Verifiable Credentials.
solid-web-ldsig
solid-web-push
ssi-protocol-verify
We construct a authentication protocol for Web resource access from specifications of the Self-Sovereign Identity (SSI) paradigm. We verify security and privacy properties, notably authentication and unlinkability.
uvdsl's Repositories
uvdsl/LinkedData-Logistics
Verifying the integrity of Linked Data in the Logistics Domain via Ethereum's Smart Contracts.
uvdsl/solid-web-ldsig
uvdsl/actionTokenOraclePattern
Enable off-chain authorization for Smart Contract function invokation.
uvdsl/solid-inbox-watcher
Watch your Solid inbox.
uvdsl/solid-vc-module
uvdsl/solid-web-push
uvdsl/ssi-protocol-verify
We construct a authentication protocol for Web resource access from specifications of the Self-Sovereign Identity (SSI) paradigm. We verify security and privacy properties, notably authentication and unlinkability.
uvdsl/canonrdf
This library provides methods for canonicalising RDF.
uvdsl/docknetwork-crypto
(dev) A fork of the docknetwork rust crypto library for data privacy tools
uvdsl/ldbbc
A Linked Data Platform Container Implementation based on JAX-RS and nxparser.
uvdsl/ldh
Linked Data Hasher
uvdsl/m-ld-web-starter
Starter project for web applications using m-ld and Javascript
uvdsl/proverif-sissi
This repository contains the formal verification of security properties of the protocol proposed by the SISSI architecture. We use ProVerif for proving secrecy and agreement, and use DeepSec for proving unlinkability.
uvdsl/solid-vc-pwa
Our demo showcases how a user is granted access to resources stored on a Solid Pod, i. e., a web server that adheres to the Solid Protocol, using Web-based Verifiable Credentials.
uvdsl/SolidBlockchain
Combine SoLid and Ethereum blockchain to create a peer-to-peer network for users to exchange resources for payment.
uvdsl/wild-v
'Workflows In Linked Data - Visualiser' that is built using Solid, n3 and d3.
uvdsl/notifications
Solid Notifications
uvdsl/pub-v
uvdsl/solid-oidc
The repository for the Solid OIDC authentication specification.
uvdsl/solid-test-app
Just a test app for debugging :)
uvdsl/solid-web-pwa
A Solid-based PWA where you can receive push notifications when your Pod's inbox is updated.
uvdsl/thesis_decision_strategy_performance
uvdsl/thesis_graph
uvdsl/web3py-contractor
A contract compilation and deployment script, written in python using the web3py Websocket or RPC interface for geth.
uvdsl/web3py-miner
A little miner sleeping at work, written in python using the web3py Websocket or RPC interface for geth.
uvdsl/webmonetization
Discussions about Solid + Web Monetization