Trail of Bits Blog

Menu

Skip to content
  • Home

Category Archives: DARPA

Graphtage: A New Semantic Diffing Tool August 28, 2020
Reinventing Vulnerability Disclosure using Zero-knowledge Proofs May 21, 2020
Two New Tools that Tame the Treachery of Files November 1, 2019
The Good, the Bad, and the Weird October 26, 2018
Protecting Software Against Exploitation with DARPA’s CFAR September 10, 2018
McSema: I’m liftin’ it March 14, 2017
The Smart Fuzzer Revolution February 16, 2017
Shin GRR: Make Fuzzing Fast Again November 2, 2016
A fuzzer and a symbolic executor walk into a cloud August 2, 2016
Your tool works better than mine? Prove it. August 1, 2016

Post navigation

← Older posts

About Us

Since 2012, Trail of Bits has helped secure some of the world’s most targeted organizations and products. We combine high-­end security research with a real­ world attacker mentality to reduce risk and fortify code.

Read more at www.trailofbits.com

Subscribe via RSS

RSS Feed RSS - Posts

Recent Posts

  • Solar: Context-free, interactive analysis for Solidity
  • A Year in the Life of a Compiler Fuzzing Campaign
  • Un-bee-lievable Performance: Fast Coverage-guided Fuzzing with Honeybee and Intel Processor Trace
  • Never a dill moment: Exploiting machine learning pickle files
  • The Tao of Continuous Integration
  • Serving up zero-knowledge proofs
  • Confessions of a smart contract paper reviewer
  • PDF is Broken: a justCTF Challenge
  • Breaking Aave Upgradeability
  • Reverie: An optimized zero-knowledge proof system
  • High-fidelity build instrumentation with blight
  • Smart (and simple) ways to prevent symlink attacks in Go
  • Good idea, bad design: How the Diamond standard falls short
  • Efficient audits with machine learning and Slither-simil
  • Let’s build a high-performance fuzzer with GPUs!

Yearly Archive

  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012

Categories

  • Apple (13)
  • Attacks (7)
  • Audits (1)
  • Authentication (5)
  • Binary Ninja (11)
  • Blockchain (46)
  • Capture the Flag (11)
  • CodeQL (1)
  • Compilers (22)
  • Conferences (27)
  • Containers (2)
  • Cryptography (30)
  • Crytic (2)
  • Cyber Grand Challenge (7)
  • DARPA (19)
  • Dynamic Analysis (12)
  • Education (14)
  • Empire Hacking (7)
  • Engineering Practice (11)
  • Events (5)
  • Exploits (26)
  • Fuzzing (29)
  • Go (4)
  • Guides (9)
  • Internship Projects (26)
  • iVerify (4)
  • Kubernetes (2)
  • Linux (1)
  • Machine Learning (1)
  • Malware (7)
  • Manticore (14)
  • McSema (11)
  • Meta (10)
  • Mitigations (9)
  • osquery (21)
  • Paper Review (11)
  • Press Release (22)
  • Privacy (8)
  • Products (5)
  • Program Analysis (15)
  • Research Practice (13)
  • Reversing (12)
  • Rust (3)
  • SafeDocs (1)
  • Sinter (1)
  • Sponsorships (12)
  • Static Analysis (21)
  • Symbolic Execution (15)
  • Training (1)
  • Year in Review (4)
  • Zero Knowledge (1)
My Tweets
Trail of Bits Blog
Proudly powered by WordPress Theme: Everyday.