Repositories list

• ethereum_formal_verification_overview

  Public
  Overview of the formal verification projects in the Ethereum ecosystem.

  GNU General Public License v3.0

  •35•0•0•0•Updated Nov 21, 2022Nov 21, 2022

• Web3E

  Public
  Web3E Ethereum for Embedded devices running Arduino framework

  C

  •

  MIT License

  •45•0•0•0•Updated Mar 1, 2022Mar 1, 2022

• ABAC

  Public
  A researched project that implements Attribute-Based Access Control in an EHR system. By encrypting EHRs using policies defined based on specific attributes, health care systems can be able to restrict how a data is accessed and what each user can do to the data being accessed.

  Python

  •5•0•0•0•Updated Oct 21, 2021Oct 21, 2021

• IoT-and-Blockchain

  Public
  The very first implementation of enhanced security in IoT using Blockchain **Simulation**

  Python

  •

  MIT License

  •21•0•0•0•Updated Aug 28, 2021Aug 28, 2021

• fabric-iot

  Public
  fabric-iot is a Blockchain Based Decentralized Access Control System in IoT

  Shell

  •30•0•0•0•Updated Apr 9, 2021Apr 9, 2021

• Motoro

  Public
  Smart contracts for decentralized rentals of vehicles.

  JavaScript

  •

  MIT License

  •39•0•0•0•Updated Aug 6, 2018Aug 6, 2018

• blockchain-iot-edge

  Public
  Decentralized IoT Network

  C#

  •5•0•0•0•Updated Jul 30, 2018Jul 30, 2018

• Rainy-Shiny-Cloudy

  Public
  Current and forecast weather updates

  weatherios-appios-swift+ 1weather-forecast

  Swift

  •0•0•0•0•Updated May 20, 2017May 20, 2017