ETH Denver hackathon project, Eman HERAWY and Karolina GORNA

1. The specifications
generator for security tests
ETH Denver 2023 - Eman HERAWY & Karolina GORNA

2. Problem
Blockchains developers
do not perform security
checks (lack of
knowledge, waist of
time for them)
According to
Chainalysis, $4B
stolen in crypto
hacks in 2022
Context Problem
How to help
blockchain
developer to write
security tests ?
Problem
statement
2

3. Our solution
Geni helps you to generate the tests specifications
from your smart contract which are required to run
security tools.
3

4. Why now ?
Blockchain
security solutions
are too
complicated or
expensive.
4
Let’s make
security open
source and
accessible to
everyone !
Save time.

5. 5
Tools :
● Echidna
● Foundry
Tools inside an
aggregator :
● Echidna
● Foundry
● Manticore
● Halmos
Environments :
- Hardat
- Foundry
Environments :
- Hardat
- Foundry
- Truffle
- Brownie
Now Future
Blockchain developer,
Founder @Arabs in Blockchain,
Co-Founder @NoonDAO & @ABW
GBA Egypt Chaper Lead,
TechWomen22 Fellow,
Devcon 5 Scholar Alumni @Ethereum
Foundation
Software Security Engineer at
Ledger,
Ex-Blockchain Partner by KPMG,
Former President of
KRYPTOSPHERE® France

6. CREDITS: This presentation template was created by Slidesgo, and
includes icons by Flaticon, and infographics & images by Freepik
Thanks!
Do you have any questions?
Please keep this slide for attribution
Demo : Youtube link
GitHub repo : https://github.com/EmanHerawy/Geni
6