signavio / BPMN-Sol
Compiler to convert BPMN 2.0 xml to solidity smart contract
☆16Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for BPMN-Sol
- Caterpillar: A BPMN-based BPMS for Ethereum☆122Updated last year
- ☆119Updated last year
- A formal verifier and analysis tool for Solidity Smart Contracts☆245Updated last year
- A control-flow graph builder for Solidity smart contracts.☆26Updated 4 years ago
- A framework for high-level Analysis of Ethereum Bytecode☆15Updated this week
- [DEPRECATED] Security Scanner for Ethereum Smart Contracts☆218Updated 4 years ago
- This is solc-verify, a modular verifier for Solidity.☆50Updated last year
- An IDE for Symboleo, a formal contract specification language.☆18Updated last month
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆155Updated 4 years ago
- Solidity grammar for ANTLR4☆122Updated 4 years ago
- Generate Solidity Code from its AST☆15Updated 8 years ago
- ☆20Updated 5 years ago
- A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…☆81Updated 10 months ago
- Runtime verification tool for Solidity smart contracts.☆32Updated last year
- Correctness proofs of Ethereum token contracts☆98Updated 5 years ago
- The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)☆230Updated last year
- K Semantics of the Ethereum Virtual Machine (EVM)☆508Updated this week
- Static program analysis framework for Ethereum smart contract bytecode.☆161Updated 3 years ago
- An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚☆142Updated 4 months ago
- Repository of benchmarks to evaluate Solidity Smart contract analysis tools☆57Updated 2 years ago
- MSc Project☆32Updated 5 years ago
- SolidiFI is an automated and systematic framework for evaluating smart contracts' static analysis tools via Bug Injection☆75Updated 9 months ago
- The Private Data Objects lab provides technology for confidentiality-preserving, off-chain smart contracts.☆116Updated this week
- This project is developing code to implement features and extensions to the NIST Cybersecurity Whitepaper, "A Data Structure for Integrit…☆24Updated last year
- A Lem formalization of EVM and some Isabelle/HOL proofs☆237Updated 2 years ago
- Python implementation of ECC pairing and bn_128 and bls12_381 curve operations☆193Updated 2 weeks ago
- ☆13Updated 2 years ago
- ☆14Updated 5 years ago
- Solidity crypto libraries, ring signatures, proof of knowledge, packed signatures etc. with matching Python implementations for secp256k1…☆283Updated 5 years ago
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆130Updated last year