Contributors¶

Thank you to everyone who has contributed to MIESC!

Project Lead¶

Fernando Boiero¶

Role: Creator & Lead Maintainer

Institution: Universidad de la Defensa Nacional (UNDEF), Argentina

Contact: fboiero@frvm.utn.edu.ar

Contributions: - Project architecture and design - Core framework implementation - Tool adapter development - Documentation - Research and validation

How to Get Listed¶

We recognize all types of contributions:

• Code contributions
• Documentation improvements
• Bug reports and fixes
• Feature suggestions
• Testing and QA
• Translations
• Community support

To be added to this list, submit a pull request or contribute in any of the above ways!

Acknowledgments¶

Academic Support¶

• Universidad de la Defensa Nacional (UNDEF): Institutional support for thesis research
• Instituto Universitario Aeronáutico (IUA): Academic guidance
• Universidad Tecnológica Nacional - FRVM: Teaching position and resources

Open Source Projects¶

MIESC builds upon the excellent work of:

Research Foundations¶

The theoretical foundation of MIESC draws from:

• Durieux et al. (2020): "Empirical Review of Automated Analysis Tools on 47,587 Smart Contracts"
• Atzei et al. (2017): "A Survey of Attacks on Ethereum Smart Contracts"
• Saltzer & Schroeder (1975): "The Protection of Information in Computer Systems"
• Wooldridge & Jennings (1995): "Intelligent Agents: Theory and Practice"

Datasets¶

• SmartBugs (INESC-ID): Benchmark dataset for evaluation
• SolidiFI (TU Delft): Fault injection framework
• Etherscan: Contract source verification

Organizations¶

Supporting Institutions¶

Future Partners (Planned)¶

We welcome partnerships with: - Universities and research institutions - Blockchain security companies - Open-source foundations - Government cybersecurity agencies

Become a Contributor¶

1. Read CONTRIBUTING.md
2. Check open issues
3. Submit your first pull request
4. Join the community!

This file is updated regularly. Last update: December 2024