Andreea specializes in blockchain security audits across various verticals and participates in the development of our in-house vulnerability detection tool in the zero-knowledge space.
She has conducted academic research in formal methods and decentralized applications.
In addition to her academic accomplishments, Andreea brings extensive experience from the Max Planck Institute for Software Systems and Amazon, where she focused on formal methods and data analysis.
Andreea earned her B.Sc. and M.Sc. degrees in Computer Science.
Experience overview
Experience
Go, Leo, Rust, Solidity, Sui Move, NEAR
Specialities
Smart Contracts
Previous work
Academic work
- Decentralized Application for Rating Internet Resources, January 2021, Andreea Buțerchi, Andrei Arusoaie
Full audit reports
- Arcane Finance, Feb 2024, RFQ Contract, decentralized exchange protocol
- 0xMeowProtocol, Dec 2023, over-collateralized lending platform
- GoodEntry, Nov 2023, ge-v2 vaults, position manager and AMM
- Tonic, Feb 2023, Tonic-Perps on-chain contracts
- Parallel Foundation, June 2022, OMNI Money Market Protocol
Conference presentations
Conference presentations
Andreea has delivered presentations at numerous industry conferences.
ZK Security: An Automated Approach
18 min
|
ZK Accelerate 2024
Finding Vulnerabilities with the Push of a Button
16 min
|
Avalanche Summit II
Picus: Automated Verification of ZKP Circuits
15 min
|
Secureum