Cover Image for Stellar Security Office Hours: Session #1
Cover Image for Stellar Security Office Hours: Session #1
Avatar for Runtime Verification Events
Runtime Verification is a formal methods pioneer advancing software correctness for the most critical systems.

Stellar Security Office Hours: Session #1

Google Meet
Registration
Welcome! Please choose your desired ticket type:
About Event

Building on Stellar? Talk security with the leading Stellar ecosystem audit team - no cost, no catch.

Runtime Verification is opening up free 1-on-1 sessions with the security researchers behind some of Soroban's most rigorously reviewed protocols and advanced tooling.

Bring your questions and your architecture and spend 30-60 minutes of focused time with engineers who understand Stellar security at the deepest level!

Areas we can dig into:

  • Modelling attack surfaces and building comprehensive threat models

  • Guidance on Stellar-oriented security tooling

  • Figuring out whether your codebase is ready for a formal audit

  • Going deeper with formal verification and fuzzing approaches tailored to your protocol


What this is (and isn't)

Think of these as working conversations, not a deliverable. Expect a focused, technical exchange with zero sales pressure - just unfiltered access to Stellar security experts and guidance you can put to use immediately.

Early concept or already live, the goal is to give you clear, practical answers.

🚨 Slots are limited, grab one while they last!


About Runtime Verification

RV's work runs deep in the Stellar ecosystem, from auditing the protocol itself, optimizing core SDKs, and serving as a leading Stellar Audit Bank partner for teams across the network.

As Stellar's official auditing partner, we bring that same formal-methods rigor to every conversation in these office hours!

Avatar for Runtime Verification Events
Runtime Verification is a formal methods pioneer advancing software correctness for the most critical systems.