davidsemakula

Follow

David Semakula davidsemakula

Follow

35 followers · 0 following

https://davidsemakula.com

Achievements

Achievements

davidsemakula/README.md

Hello | Oli otya 👋

🔭 I'm currently working on:

🔑 Cryptographic protocols and libraries

🚧 Wamu
- 📖 A protocol and library for computation of threshold signatures by multiple decentralized identities.
- 🌱 Funded by: the Ethereum Foundation.

⚒️ Tools for programming languages and program analysis

🚧 pallet-verifier
- 📖 A tool for detecting common security vulnerabilities and insecure patterns in FRAME pallets using static program analysis techniques like data-flow analysis, abstract interpretation and symbolic execution.
- 🌱 Funded by: the Web3 Foundation.
🚀 ink! Analyzer
- 📖 A collection of modular and reusable libraries and tools for semantic analysis of ink! smart contracts.
- 🌱 Funded by: the Web3 Foundation.
🛟 Open-source contributions
- I independently contribute to rust-analyzer - a Rust compiler front-end for IDEs.
- I independently contribute to MIRAI - an abstract interpreter for the Rust compiler's mid-level intermediate representation (MIR).
- I contribute to ink! - a Rust DSL (Domain Specific Language) for writing smart contracts for Substrate-based blockchains.
- I contribute to cargo-contract - a build and deployment tool for ink! smart contracts.

⚡ I hold a BSc in Computer Science.

Pinned Loading

pallet-verifier pallet-verifier Public

A tool for detecting common security vulnerabilities and insecure patterns in FRAME pallets using static program analysis techniques like data-flow analysis, abstract interpretation and symbolic ex…

Rust 6 1
ink-analyzer/ink-analyzer ink-analyzer/ink-analyzer Public

A collection of modular and reusable libraries and tools for semantic analysis of ink! smart contracts.

Rust 13 3
ink-analyzer/ink-vscode ink-analyzer/ink-vscode Public

ink! language support for Visual Studio Code.

Rust 5 2
wamutech/wamu-spec wamutech/wamu-spec Public

Whitepaper, technical specification and website for the Wamu project - a protocol and library for computation of threshold signatures by multiple decentralized identities.

TeX
wamutech/wamu-rs wamutech/wamu-rs Public

A collection of modular Rust libraries for implementing the Wamu protocol for computation of threshold signatures by multiple decentralized identities.

Rust 2