printf("news\n")

Maat: Symbolic execution made easy

Trail of Bits Blog • 1645599608 • 12ft.io • archive.is • archive.org

Part 2: Improving crypto code in Rust using LLVM’s optnone

Trail of Bits Blog • 1643698825 • 12ft.io • archive.is • archive.org

Part 1: The life of an optimization barrier

Trail of Bits Blog • 1643180435 • 12ft.io • archive.is • archive.org

C your data structures with rellic-headergen

Trail of Bits Blog • 1642575612 • 12ft.io • archive.is • archive.org

Finding unhandled errors using CodeQL

Trail of Bits Blog • 1641884458 • 12ft.io • archive.is • archive.org

Toward a Best-of-Both-Worlds Binary Disassembler

Trail of Bits Blog • 1641366051 • 12ft.io • archive.is • archive.org

Celebrating our 2021 Open Source Contributions

Trail of Bits Blog • 1640934056 • 12ft.io • archive.is • archive.org

Disclosing Shamir’s Secret Sharing vulnerabilities and announcing ZKDocs

Trail of Bits Blog • 1640070004 • 12ft.io • archive.is • archive.org

Detecting MISO and Opyn’s msg.value reuse vulnerability with Slither

Trail of Bits Blog • 1639659649 • 12ft.io • archive.is • archive.org

What does your code use, and is it vulnerable? It-depends!

Trail of Bits Blog • 1639641614 • 12ft.io • archive.is • archive.org

MUI: Visualizing symbolic execution with Manticore and Binary Ninja

Trail of Bits Blog • 1637132455 • 12ft.io • archive.is • archive.org

How to choose an interesting project

Trail of Bits Blog • 1636675793 • 12ft.io • archive.is • archive.org

Motivating global stabilization

Trail of Bits Blog • 1636627196 • 12ft.io • archive.is • archive.org

Announcing osquery 5: Now with EndpointSecurity on macOS

Trail of Bits Blog • 1636506355 • 12ft.io • archive.is • archive.org

All your tracing are belong to BPF

Trail of Bits Blog • 1636457197 • 12ft.io • archive.is • archive.org

PrivacyRaven: Implementing a proof of concept for model inversion

Trail of Bits Blog • 1636418755 • 12ft.io • archive.is • archive.org

Write Rust lints without forking Clippy

Trail of Bits Blog • 1636417840 • 12ft.io • archive.is • archive.org

Discovering goroutine leaks with Semgrep

Trail of Bits Blog • 1636414125 • 12ft.io • archive.is • archive.org

Solar: Context-free, interactive analysis for Solidity

Trail of Bits Blog • 1617324759 • 12ft.io • archive.is • archive.org

A Year in the Life of a Compiler Fuzzing Campaign

Trail of Bits Blog • 1616497237 • 12ft.io • archive.is • archive.org

Un-bee-lievable Performance: Fast Coverage-guided Fuzzing with Honeybee and Intel Processor Trace

Trail of Bits Blog • 1616148015 • 12ft.io • archive.is • archive.org

Never a dill moment: Exploiting machine learning pickle files

Trail of Bits Blog • 1615806378 • 12ft.io • archive.is • archive.org

The Tao of Continuous Integration

Trail of Bits Blog • 1614335507 • 12ft.io • archive.is • archive.org

Serving up zero-knowledge proofs

Trail of Bits Blog • 1613717971 • 12ft.io • archive.is • archive.org

Confessions of a smart contract paper reviewer

Trail of Bits Blog • 1612508350 • 12ft.io • archive.is • archive.org

PDF is Broken: a justCTF Challenge

Trail of Bits Blog • 1612252228 • 12ft.io • archive.is • archive.org

Breaking Aave Upgradeability

Trail of Bits Blog • 1608116515 • 12ft.io • archive.is • archive.org

Reverie: An optimized zero-knowledge proof system

Trail of Bits Blog • 1607932227 • 12ft.io • archive.is • archive.org

High-fidelity build instrumentation with blight

Trail of Bits Blog • 1606297090 • 12ft.io • archive.is • archive.org

Smart (and simple) ways to prevent symlink attacks in Go

Trail of Bits Blog • 1606204804 • 12ft.io • archive.is • archive.org

Good idea, bad design: How the Diamond standard falls short

Trail of Bits Blog • 1604063958 • 12ft.io • archive.is • archive.org

Efficient audits with machine learning and Slither-simil

Trail of Bits Blog • 1603436451 • 12ft.io • archive.is • archive.org

Let’s build a high-performance fuzzer with GPUs!

Trail of Bits Blog • 1603346414 • 12ft.io • archive.is • archive.org

Osquery: Using D-Bus to query systemd data

Trail of Bits Blog • 1602662417 • 12ft.io • archive.is • archive.org

Detecting Iterator Invalidation with CodeQL

Trail of Bits Blog • 1602232222 • 12ft.io • archive.is • archive.org

PrivacyRaven Has Left the Nest

Trail of Bits Blog • 1602144036 • 12ft.io • archive.is • archive.org

Graphtage: A New Semantic Diffing Tool

Trail of Bits Blog • 1598598027 • 12ft.io • archive.is • archive.org

Using Echidna to test a smart contract library

Trail of Bits Blog • 1597647617 • 12ft.io • archive.is • archive.org

Sinter: New user-mode security enforcement for macOS

Trail of Bits Blog • 1597196476 • 12ft.io • archive.is • archive.org

Accidentally stepping on a DeFi lego

Trail of Bits Blog • 1596610803 • 12ft.io • archive.is • archive.org

Contract verification made easier

Trail of Bits Blog • 1594566046 • 12ft.io • archive.is • archive.org

Advocating for change

Trail of Bits Blog • 1592415197 • 12ft.io • archive.is • archive.org

Upgradeable contracts made safer with Crytic

Trail of Bits Blog • 1591948252 • 12ft.io • archive.is • archive.org

ECDSA: Handle with Care

Trail of Bits Blog • 1591861820 • 12ft.io • archive.is • archive.org

How to check if a mutex is locked in Go

Trail of Bits Blog • 1591689053 • 12ft.io • archive.is • archive.org

Breaking the Solidity Compiler with a Fuzzer

Trail of Bits Blog • 1591343424 • 12ft.io • archive.is • archive.org

Detecting Bad OpenSSL Usage

Trail of Bits Blog • 1590738606 • 12ft.io • archive.is • archive.org

Verifying Windows binaries, without Windows

Trail of Bits Blog • 1590565831 • 12ft.io • archive.is • archive.org

Emerging Talent: Winternship 2020 Highlights

Trail of Bits Blog • 1590133814 • 12ft.io • archive.is • archive.org

Reinventing Vulnerability Disclosure using Zero-knowledge Proofs

Trail of Bits Blog • 1590047427 • 12ft.io • archive.is • archive.org