Cover Image for Stellar Security Office Hours: Session #3
Cover Image for Stellar Security Office Hours: Session #3
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 #3

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

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

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

​Select ONE time slot above, share your GitHub (if public) and we'll select teams on a FCFS basis.


​Then 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.