| baozjian/Top-Blockchain-paper |
460 |
|
0 |
0 |
about 3 years ago |
0 |
|
1 |
|
|
| Top Blockchain paper, such as CCS, NSDI, S&P, EuroS&P, CRYPTO, etc. |
| s7techlab/cckit |
190 |
|
0 |
2 |
over 3 years ago |
132 |
July 28, 2022 |
2 |
apache-2.0 |
Go |
| Source code moved to https://github.com/hyperledger-labs/cckit |
| AU-COBRA/ConCert |
105 |
|
0 |
0 |
about 2 years ago |
0 |
|
6 |
mit |
Coq |
| A framework for smart contract verification in Coq |
| TokenScript/attestation |
45 |
|
0 |
4 |
over 2 years ago |
51 |
October 20, 2023 |
55 |
mit |
Java |
| Paper and implementation of blockchain attestations |
| hyeonleee/Smart_Contract_Security_Analysis |
23 |
|
0 |
0 |
almost 7 years ago |
0 |
|
0 |
|
|
| Papers of smart contract security analysis (and tools) |
| CovenantSQL/blockchain-papers |
19 |
|
0 |
0 |
over 7 years ago |
0 |
|
0 |
bsd-3-clause |
|
| 区块链相关的有价值的文献 |
| YangVincent/SmartContractTester |
9 |
|
0 |
0 |
over 7 years ago |
0 |
|
0 |
mit |
JavaScript |
| Analyze Solidity Smart Contracts with a variety of Dynamic/Static Analysis Suites |
