How it worksCompetitionsReviewsGuildsBountiesFellowshipPortfolioBlog
Sign in

neumo

@neumo
neumoxxneumoXX
Get a quote

I am all about trying to understand complex things and finding incoherences in them.

Biography

Hi all! I’m a security researcher from Barcelona with a background in Telecom Engineering and a passion for all things programming since the ZX Spectrum days.

The context

At the beginning of 2022 I joined Secureum Bootcamp Epoch ∞ and I’ve been learning and reviewing code ever since. The tech captivated me immediately, so after 14 years of working at the company I founded in 2009, I decided to sell my shares of the business in early 2023 and fully transition to web3 security. And that’s the best decision I’ve made in my life.
\

Since then I’ve been mainly reviewing solidity smart contracts in C4 and Sherlock contests and doing bug bounties in Immunefi. I also have a big interest in Formal Verification and have participated in several Certora Prover contests so far. If you want your code reviewed or formally verified, feel free to reach out, I’d be glad to work with you!

What you’ll get

You’ll work with someone with more than 20 years of software development experience and who is used to manage small teams and deal with customers.

Security portfolio

Name
Description

Blockswap Formal Verification Contest with Certora

A permissionless 3 pool liquid staking solution for Ethereum.

Read more

Notional Update #3

Private contest, Update #3 of Notional protocol in Sherlock. Report is private, so I link leaderboard.

Read more

Findings count

High Risk

4

Medium Risk

4

Low Risk

5

Informational

3

Services

CompetitionsReviewsBountiesGuildsFellowship

© 2024 Cantina. All rights reserved.