Nov 14, 2023
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
Show all 42
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
Nov 13, 2023
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
Show all 23
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