Publications

December 1, 2024 • Richard Nthiwa Mutisya

Comparative analysis of blockchain privacy-enhancing technologies (PETs) like ZKPs, MPC, TEEs, HE, Ring Signatures, Stealth Addresses, and Mixers, evaluating privacy guarantees, performance, security assumptions, and use cases.

October 5, 2024 • David Parseen Maitoyo

An in-depth analysis of the quantum computing threat to blockchain cryptography and a survey of post-quantum cryptographic solutions (lattice, code, hash, multivariate) and integration strategies for achieving long-term blockchain security.

September 28, 2024 • Richard Nthiwa Mutisya

A comprehensive analysis of DeFi security risks (smart contract bugs, economic exploits like flash loans and oracle manipulation, governance attacks), attack vectors with case studies, and mitigation strategies including secure development, robust design, economic security, and monitoring.

June 20, 2024 • David Parseen Maitoyo

A comprehensive survey and analysis of formal verification techniques (model checking, theorem proving, symbolic execution, abstract interpretation) for ensuring smart contract security and correctness, covering tools, properties, challenges, and future trends.

April 20, 2024 • Richard Nthiwa Mutisya

This paper presents comprehensive research on using zero-knowledge proof systems for blockchain scalability. We introduce novel optimization techniques that reduce proof generation time by 87% and verification costs by 62%, while maintaining security guarantees. Our ZK-Layer architecture enables throughput of over 10,000 transactions per second with on-chain verification.

November 15, 2023 • David Parseen Maitoyo

This paper introduces a comprehensive risk assessment framework for decentralized finance (DeFi) protocols. We develop a multi-dimensional risk model that quantifies technical, financial, and governance risks through formal metrics. Our framework has been validated against 26 major DeFi protocols, successfully predicting 83% of security incidents over a six-month evaluation period, with minimal false positives.