Скачать или смотреть 25 Tools, 7 Layers, 100% Recall: MIESC - Smart Contract Audit with Sovereign AI

🛡️ MIESC v4.0.0 - Multi-layer Intelligent Evaluation for Smart Contracts

Live demonstration of the security framework developed as a Master's thesis project in Cyberdefense
at Universidad de la Defensa Nacional (UNDEF) - IUA Córdoba, Argentina.

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
📊 EXPERIMENTAL RESULTS
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
• Precision: 87.5%
• Recall: 100% (14/14 vulnerabilities detected)
• F1-Score: 0.93
• Improvement vs best individual tool: +40.8%

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
🔧 KEY FEATURES
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
✅ 25 integrated tools (Slither, Mythril, Echidna, Certora, etc.)
✅ 7 defense layers (Defense-in-Depth architecture)
✅ Sovereign AI with Ollama (code NEVER leaves your machine)
✅ MCP Integration with Claude Desktop
✅ $0 operational cost - 100% Open Source

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
🔗 LINKS
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
📁 GitHub: https://github.com/fboiero/MIESC
📖 Documentation: https://fboiero.github.io/MIESC

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
🎓 ACADEMIC CONTEXT
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
Master's in Cyberdefense
Universidad de la Defensa Nacional (UNDEF) - IUA Córdoba, Argentina
Author: Fernando Boiero

#SmartContracts #Blockchain #Cybersecurity #Ethereum #Solidity #SecurityAudit #DefenseInDepth #MIESC
#OpenSource #Web3Security

---
Tags:

smart contracts, blockchain security, ethereum, solidity, security audit, slither, mythril, echidna,
certora, defense in depth, cybersecurity, MIESC, smart contract audit, vulnerabilities, DeFi
security, Ollama, MCP, Claude, web3 security, formal verification