# 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:

| Project | Contribution | License |
|---------|--------------|---------|
| [Slither](https://github.com/crytic/slither) | Static analysis engine | AGPL-3.0 |
| [Mythril](https://github.com/ConsenSys/mythril) | Symbolic execution | MIT |
| [Echidna](https://github.com/crytic/echidna) | Property-based fuzzing | AGPL-3.0 |
| [Foundry](https://github.com/foundry-rs/foundry) | Testing toolkit | MIT/Apache-2.0 |
| [Halmos](https://github.com/a16z/halmos) | Symbolic testing | AGPL-3.0 |
| [Aderyn](https://github.com/Cyfrin/aderyn) | Rust-based analyzer | MIT |
| [Ollama](https://github.com/jmorganca/ollama) | Local LLM runtime | MIT |

### 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

| Institution | Type | Contribution |
|-------------|------|--------------|
| UNDEF | University | Thesis supervision |
| IUA | University | Academic support |
| UTN-FRVM | University | Resources |

### 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](./CONTRIBUTING.md)
2. Check [open issues](https://github.com/fboiero/MIESC/issues)
3. Submit your first pull request
4. Join the community!

---

*This file is updated regularly. Last update: December 2024*
