Daniel specializes in blockchain security audits across various verticals.
He has conducted academic research in automated analysis, specifically within mobile ecosystems such as iOS and Android.
In addition to his academic accomplishments, Daniel brings years of software engineering experience from IMDEA, where he developed a library detection system for iOS applications. He also has experience teaching cybersecurity and data protection at the Schaffhausen Institute of Technology.
Daniel is a PhD candidate in Computer Science at the University of Verona.
At Veridise, Daniel serves as Core LLZK Developer, software engineer and security auditor, with extensive experience in auditing smart contracts and zero-knowledge applications. Daniel has particular experience with fuzzing analysis.
Experience overview
Experience
C++, Circom, Rust, Solidity, Soroban, arkworks, AWS, ethers, Firebase Security Rules
Specialities
Smart Contracts, Zero Knowledge, Infrastructure
Previous work
Academic work
- LibKit: Detecting Third-Party Libraries in iOS Apps, D Domínguez-Álvarez, A de la Cruz, A Gorla, J Caballero
- Release practices for ios and android apps, D Domínguez-Álvarez, A Gorla
- On the usage of programming languages in the ios ecosystem, D Domínguez-Álvarez, A Gorla, J Caballero
- ReChan: an automated analysis of Android app release notes to report inconsistencies, D Domínguez-Álvarez, D Toniuc, A Gorla
Full audit reports
- InceptionLRT, 20 May 2024, Bridge contract for cross-chain transfers
- Togg, May 2024, NFT marketplace
- Ankr protocol, 17 Apr 2024, BNB staking pool contract
- Range Protocol, Mar 2024, Vertex Vault
Conference presentations
Daniel has delivered presentations at numerous conferences
ZK10: Pushing the limits in the automated detection...
71 min | ZK10 summit 2023