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
Andreea has delivered presentations at numerous industry conferences.
What is OrCa?
#team_conference_presentations_video_length | #team_conference_presentations_event_name
Finding Bugs in L2 Contracts with Fuzzing
#team_conference_presentations_video_length | #team_conference_presentations_event_name
Automated Transpilation of Imperative...
#team_conference_presentations_video_length | #team_conference_presentations_event_name