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

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

Intentionally vulnerable gRPC security lab for learning protocol abuse, misconfigurations, authentication flaws, and real-world gRPC pentesting techniques.

Security research focused on protocol logic, edge cases, and reproducible PoCs.

Isabelle/OFMC - Linking OFMC and Isabelle/HOL

10 hands-on Pearson VUE IT Specialist Network Security labs covering defense in depth, OS hardening, authentication, permissions, auditing, encryption, wireless security, firewalls, IDS/IPS, SIEM, isolation, protocol security, email, browser, anti-malware, and certification readiness.

Automated Ethereum protocol compliance verification. Extracts obligations from EIPs, maps to execution-specs and client code (Geth, etc.), and generates gap reports. Built with Claude Agent SDK and GitHub Actions integration.

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.

Web3 security research log covering bug bounty, audits, vulnerability patterns, and rule-level analysis with AI-assisted reasoning.

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

Cracking iSCSI CHAP authentication hashes with long challenges (64+ bytes), which Hashcat's native mode 4800 cannot handle.

A six-phase secure channel project demonstrating X25519 key exchange, MITM attacks, Ed25519 authentication, ChaCha20-Poly1305 AEAD, and Solana-based decentralized key verification.

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.

Public methodology for reproducible PoCs, expected-vs-observed analysis, and impact validation.

Multicore OFMC implementation

Notes on protocol logic, invariants, edge cases, and security observations.

Web3 control-plane policy gate for smart-contract deployment topology and privileged proposal intent.