eloizStart a project
Research

Security research and developer tools.

Founder-authored work on static analysis, fuzzing, concolic execution, smart-contract review, and security tooling.

Every summary links to the original technical record.

Method

Source, runtime, tests, report.

Tools guide the investigation. Source code, observed runtime behavior, and reproducible tests support the final result.

  1. 1MapSource and execution model
  2. 2ExploreReachable paths and hypotheses
  3. 3ProveTests and source locations
  4. 4ReportEvidence, limits, and next action

Technical record

Research by Sergio Corrales.

These systems cover different parts of program analysis and security review. The original notes contain the complete technical detail.

Public frameworkFounder-led work at Inversive Labs

Eloizer

Static analysis for Solana programs

1Parse
2Detect
3Classify
4Report

Eloizer parses Rust and Anchor source, applies focused detectors, classifies each result, and produces reports with exact source locations.

  • Rust and Anchor
  • More than 50 detectors
  • CLI and CI output
Original technical note Source repository
Private R&D recordFounder-led work at Inversive Labs

Solaris

Coverage-guided fuzzing for sBPF

1Schema
2Harness
3Fuzz
4Reproduce

Solaris instruments sBPF execution, generates structured inputs, tracks the corpus, and preserves reproducible crashes for Solana program review.

  • Bytecode coverage
  • State-space exploration
  • Crash reproduction
Original technical note
Private R&D recordFounder-led work at Inversive Labs

Radiant

Concolic execution for Solana

1Test
2Symbolize
3Execute
4Report

Radiant combines concrete and symbolic execution to explore feasible paths, generate test inputs, and evaluate protocol invariants.

  • Path constraints
  • Cross-CPI analysis
  • State merging
Original technical note
Private R&D recordFounder-led research

Hypatia

Evidence-bound security research

1Context
2Explore
3Deep dive
4Scrutinize

Hypatia preserves scope, hypotheses, source locations, test evidence, decisions, and recovery state during AI-assisted security reviews.

  • Persistent evidence
  • Legal state transitions
  • Closure gates
Original technical note

External record

Profiles and repositories.

Public profiles and source repositories link directly to the work described on this site.

Security competitionsSeCoAlba on Code4renaTechnical recordResearch, tooling, and published reportsSource repositoriesProtocol and security engineering

Have a project in mind?

Tell us what you're building.

Tell us what you are building, where the system stands, and what needs to happen next. A founder will reply directly.

Start a project View our work