A research-grade tool that analyzes Solidity smart contracts for economic vulnerabilities such as unbounded minting, toxic fee mechanisms, liquidity traps, oracle manipulation, centralized control, and broken financial invariants. Focused on economic correctness, incentive risks, and DeFi system stability.

Solidity smart contracts security | Beginner to Expert

XWT (XML Web Token) is a personal experiment concept by modifying the JWT (JSON Web Token) algorithm into XML for the development of SOAP (Simple Object Access Protocol) security.

XWT (XML Web Token) is a personal experiment concept by modifying the JWT (JSON Web Token) algorithm into XML for the development of SOAP (Simple Object Access Protocol) security.

Advanced security | Exploitation of protocol vulnerabilities | Advanced smart contract seurity

Isabelle/OFMC - Linking OFMC and Isabelle/HOL

Security analysis of MCP ecosystem – threats, defenses, benchmarks, and agent interoperability.

Multicore OFMC implementation

Protocol modelling and verification using AVISPA and Scyther. Done during 1st year of Master's in Information Security @ Faculty of Computer Science within University of Alexandru Ioan Cuza Iasi

Implementation of a secure protocol for a ticketing system using NFC smart cards and Android devices.