Mastering Threat Modeling on Stellar: A Step-by-Step Security Blueprint for Soroban Smart Contracts
Security shouldn't be an afterthought in smart contract development. In this session, we'll walk through practical threat modeling techniques, including STRIDE, the framework now required by the Stellar Foundation, to help you identify vulnerabilities early, reduce development risk, and build more resilient contracts from the ground up. ---- About Certora Certora is the security assurance partner trusted by the most advanced teams in Web3 to ship with confidence. As an official Stellar auditing partner, we actively support the Stellar ecosystem by helping teams build secure, resilient smart contracts from day one. Check Certora Security Resources for Soroban Builders → https://www.certora.com/ecosystem/ste...

▶︎
Over the Shoulder - How AI is Reshaping Web3

▶︎
🔐 Securing Squads v4: Inside the Certora Audit | Solana Smart Contract Security

▶︎
AI Meets Verification: Introducing Certora AI Composer

▶︎
How DeFi Hacks Have Changed in the Last 5 Years & What This Means for Protocols

▶︎
AI's Disruption of Infrastructure Operations

▶︎
How to Secure Bridges in DeFi

▶︎
40K LEGENDS - TRAZYN THE INFINITE | Warhammer 40,000 Lore/History

▶︎
Checking Specifications - What's the Quality of My Rules?

▶︎
Solana Wallet Security for Builders: Multi-Sig Best Practices & Operational Safety

▶︎
Are We Securing the Wrong Layer? Oracles, Governance & the Real DeFi Security Risks in 2025

▶︎
Solana Wallet Security for Builders: Multi-Sig Best Practices & Operational Safety

▶︎
HOLY ROSARY TODAY THURSDAY, JUNE 11, 2026 ST. JUDE THADDEUS & LUMINOUS MYSTERIES | DAILY HOLY ROSARY

▶︎
I turned an old van into a 2-STORY tiny house
![Nicholas Carlini - Black-hat LLMs | [un]prompted 2026](https://i.ytimg.com/vi/1sd26pWhfmg/hqdefault.jpg?sqp=-oaymwE9CNACELwBSFryq4qpAy8IARUAAAAAGAElAADIQj0AgKJDeAHwAQH4Af4JgALQBYoCDAgAEAEYciBmKDYwDw==&rs=AOn4CLBn1sRfbeYcMnkqD2mtRZhq1TO6JQ)
▶︎
Nicholas Carlini - Black-hat LLMs | [un]prompted 2026

▶︎
Der Todesstern ist richtig dumm

▶︎
Galactic Command

▶︎
Something is jamming GPS over Europe. Here's what we found

▶︎
Dive into Formal Verification - Prepare for Uniswap V4's $100K Competition!

▶︎
What's New in CVL2

▶︎
