Secureum TrustX

Name: Secureum TrustX
Start: 2023-11-13T00:00:00.000Z
End: 2023-11-14T00:00:00.000Z
Location: Main Stage Secureum TrustX Istanbul

Nov 13, 2023Main Stage Secureum TrustX Istanbul65 videos

Secureum TrustX is a first-of-its-kind technical event dedicated to the Ethereum security ecosystem. Security is critical to Ethereum and its applications. TrustX is a flagship community event dedicated to Ethereum security.

Secureum TrustX

Main Stage

GN

Security Issues in a World of Thousand Rollups

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

How many audits do you need?

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

One-click security for ZKP circuits

Delivering the Verifiability that on-chain data deserves

Locations Of Price Manipulation Vulnerabilities

What, Me Worry? Preventing Slashing by Design

Towards Secure, Trust-minimized Optimistic Rollups on Ethereum

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

The importance of Web2/Infrastructure security in Web3

0 != 0 (in DeFi)

A curious bug: Fuzzing for consensus-issues

Picus: Automated Verification of ZKP Circuits

Building scalable monitoring infrastructure from scratch

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

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

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

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

Stack Ranking the Best Audit Firms

RoundMe: rounding analysis made simpler

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

The Wardens Journey

A Framework for Evaluating Audit Effectiveness

Formal Reasoning about Fairness of Liquid Staking Protocols

Security of Stablecoins Stabilization Algorithms

Creation2Chaos: Under the hood of contract creation transactions

Remedy – unified security platform by Hexens

Beyond Testing: The Power of Proof

Non-trivial cases of the Inflation Attack

Security & Common Pitfalls Of Merkle Trees

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

Ethereum Smart Contract Auditor’s 2023 Rewind

In-Depth Exploration of Front-Running Protection

Tips to master fuzzing

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

Assist Smart Contract Auditing with Large Language Model

The Symbolic Solidity Debugger

Slither: a static analysis tool for Vyper and Soliditya

Secureum Content Announcement

Venue Open

The Next Black Swan Event for Ethereum

EthTrust Security Levels – building trust with standards

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

Scared Security Don’t Make No Security

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

The spectrum of correctness

A Unified Framework for Formal Verification of Vyper Bytecode using Halmos

Proactive Security

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

Ethereum Protocol Vulnerabilities Unveiled

Predicting the impact of Ethereum upgrades on all deployed contracts

Finding and Understanding Miscompilation Bugs in the Solidity Compiler

Compiler Safety

Cantina Competitions: A new era for web3 security

Locating Implementation Flaws of Blockchain VMs with Differential Fuzzing

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

Automated detection of vulnerabilities in ZKP circuits

Auditing ZK: Dispatches from The Frontline

Introduction to ZK Security Research

Formal verification of EIP 4844

Security Analysis of the Ethereum Fork Choice specification

Introducing Attacknet

WTF is L1 security and how to think about it