Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by uvdsl
A curated list of projects in awesome lists by uvdsl .
https://github.com/uvdsl/linkeddata-logistics
Verifying the integrity of Linked Data in the Logistics Domain via Ethereum's Smart Contracts.
demo-application ethereum-dapp linked-data logistics
Last synced: 13 Nov 2024
https://github.com/uvdsl/actiontokenoraclepattern
Enable off-chain authorization for Smart Contract function invokation.
Last synced: 13 Nov 2024
https://github.com/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.
Last synced: 13 Nov 2024
https://github.com/uvdsl/web3py-miner
A little miner sleeping at work, written in python using the web3py Websocket or RPC interface for geth.
Last synced: 13 Nov 2024
https://github.com/uvdsl/web3py-contractor
A contract compilation and deployment script, written in python using the web3py Websocket or RPC interface for geth.
compilation deployment geth-rpc python smart-contract web3py
Last synced: 13 Nov 2024
https://github.com/uvdsl/ldh
Linked Data Hasher
hasher linked-data restful-api turtle
Last synced: 13 Nov 2024
https://github.com/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.
Last synced: 13 Nov 2024
https://github.com/uvdsl/canonrdf
This library provides methods for canonicalising RDF.
Last synced: 13 Nov 2024
https://github.com/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.
Last synced: 13 Nov 2024
https://github.com/uvdsl/wild-v
'Workflows In Linked Data - Visualiser' that is built using Solid, n3 and d3.
Last synced: 13 Nov 2024
https://github.com/uvdsl/solid-web-pwa
A Solid-based PWA where you can receive push notifications when your Pod's inbox is updated.
Last synced: 13 Nov 2024