GN

01:06

Security Issues in a World of Thousand Rollups

Amrit Kumar

04:06

My Tools Don’t Work Here: Penetration Testing Browser-based Crypto Wallets

Justin Regele

04:03

How many audits do you need?

04:03

Unpacking the Debate: Trusted Execution Environments (TEEs) in Web3

Christoph Michel

04:17

One-click security for ZKP circuits

Zheng Leong Chua

04:10

Delivering the Verifiability that on-chain data deserves

Andreea Buterchi

04:47

Locations Of Price Manipulation Vulnerabilities

Niklas Kunkel

05:23

What, Me Worry? Preventing Slashing by Design

Yuguang Ipsen

04:34

Towards Secure, Trust-minimized Optimistic Rollups on Ethereum

Riad Wahby

03:18

Read-Only Reentrancy: 101 and How to Protect Yourself”

Ionut-Viorel Gingu

04:13

The importance of Web2/Infrastructure security in Web3

Frédéric ADAM

04:16

0 != 0 (in DeFi)

Ernesto Boado

03:41

A curious bug: Fuzzing for consensus-issues

Martin Holst Swende

04:19

Picus: Automated Verification of ZKP Circuits

Andreea Buterchi

15:12

Building scalable monitoring infrastructure from scratch

Arseniy Reutov

21:20

Circuit Breakers: The Magic Pill to DeFi’s Security Problem?

Philippe Dumonet

17:04

Incident Response for Web3: Monitoring, Automation, and Circuitbreakers in Protocol SecOps

Morgan Weaver

16:02

The Hacker Mentality: What makes one Succeed in the Bug Bounty World

Gonçalo / gmhacker

13:44

The Last Challenge Attack: Exploiting Fiat-Shamir to Attack a Plonk Verifier

Vesselin Velichkov

14:40

Stack Ranking the Best Audit Firms

Jack Sanford

17:51

RoundMe: rounding analysis made simpler

20:00

Judge – Jury – Executionooor, Behind the scenes of an audit contest judging process

Hrishikesh Bhat

25:15

The Wardens Journey

Alex The Entreprenerd

12:33

A Framework for Evaluating Audit Effectiveness

Jack Sanford

14:59

Formal Reasoning about Fairness of Liquid Staking Protocols

08:16

Security of Stablecoins Stabilization Algorithms

Dmitry Zakharov

--:--

Creation2Chaos: Under the hood of contract creation transactions

Dimitri Kamenski

20:17

Remedy – unified security platform by Hexens

Konstantin Nekrasov

19:40

Beyond Testing: The Power of Proof

Chandrakana Nandi

--:--

Non-trivial cases of the Inflation Attack

Konstantin Nekrasov

14:31

Security & Common Pitfalls Of Merkle Trees

Kirk Baird

12:39

Stories from the Auditing Trenches (including lessons for devs, lessons from top DeFi protocols)

Yannis Smaragdakis

16:24

Ethereum Smart Contract Auditor’s 2023 Rewind

Patrickd

14:15

In-Depth Exploration of Front-Running Protection

Tony Ke

--:--

Tips to master fuzzing

Víctor Martínez

15:55

Docker-based Auditor’s Toolbox: Enhancing Web3 Security Through Integrated Tooling

Deivitto

11:37

Assist Smart Contract Auditing with Large Language Model

Connie Lam

16:26

The Symbolic Solidity Debugger

Raoul Schaffranek

15:53

Slither: a static analysis tool for Vyper and Soliditya

Troy Sargent

16:28

Secureum Content Announcement

06:14

Venue Open

05:01

The Next Black Swan Event for Ethereum

Galen Marchetti

--:--

EthTrust Security Levels – building trust with standards

Chaals Nevile

--:--

Run Account Abstraction-powered DevSecOps pipelines to build more secure contracts

Emile Baizel

15:30

Scared Security Don’t Make No Security

George Kobakhidze

17:17

What did I Learn by Testing ERC-20 Tokens at Large?

Yliès Falcone

16:11

The spectrum of correctness

Fraser Brown

16:24

A Unified Framework for Formal Verification of Vyper Bytecode using Halmos

Lucas Goiriz

12:52

Proactive Security

Chandrakana Nandi

--:--

Test your tests: The do’s and don’ts of testing

Kurt Willis

14:12

Ethereum Protocol Vulnerabilities Unveiled

Frédéric ADAM

15:42

Predicting the impact of Ethereum upgrades on all deployed contracts

Neville Grech

14:48

Finding and Understanding Miscompilation Bugs in the Solidity Compiler

Bhargava Shastry

14:59

Compiler Safety

Hari

13:39

Cantina Competitions: A new era for web3 security

Alex The Entreprenerd, Hari

20:34

Locating Implementation Flaws of Blockchain VMs with Differential Fuzzing

Andy Zhou

15:51

Hardware pixie dust, or why your secure hardware implementation may not actually be secure

Deian Stefan

17:00

Automated detection of vulnerabilities in ZKP circuits

Alp Bassa

16:08

Auditing ZK: Dispatches from The Frontline

Ali Atiia

14:05

Introduction to ZK Security Research

David Theodore

16:50

Formal verification of EIP 4844

Thanh Hai Tran

15:59

Security Analysis of the Ethereum Fork Choice specification

Roberto Saltini

15:48

Introducing Attacknet

Benjamin Samuels

12:32

WTF is L1 security and how to think about it

Danny Ryan

17:08