Asynchronous Group Key Agreement over SmartContract
Presented and published in the IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2020)
A full version was submitted to IEEE Transactions on Dependable and Secure Computing (IEEE TDSC).
The proposed scheme has been implemented using Solidity version 0.5.16 and deployed on
Rinkeby Testnet (an Ethereum test network for test operations of smart contracts) with
Truffle.
The contract ID is "0xC48f9bb74ebaD1EEf59967b6e2Ba245f4D37F89C".
The nodes in a group are implemented using
Node.js 10.16.3 including web3.js and Crypto modules to communicate with Blockchain and to utilize cryptographic functions.
The file below is the source code of the proposed scheme:
AGKA_SC.zip
The solidity code has successfully passed formal verification process by means of the automated analysis tool
OYNTE.
1. Test Result_OYENTE, 2. Test Result_OYENTE IPFS.