Trail of Bits Blog

Menu

Skip to content
  • Home

Category Archives: Internship Projects

MUI: Visualizing symbolic execution with Manticore and Binary Ninja November 17, 2021
Solar: Context-free, interactive analysis for Solidity April 2, 2021
Un-bee-lievable Performance: Fast Coverage-guided Fuzzing with Honeybee and Intel Processor Trace March 19, 2021
Reverie: An optimized zero-knowledge proof system December 14, 2020
Efficient audits with machine learning and Slither-simil October 23, 2020
Let’s build a high-performance fuzzer with GPUs! October 22, 2020
Osquery: Using D-Bus to query systemd data October 14, 2020
Detecting Iterator Invalidation with CodeQL October 9, 2020
PrivacyRaven Has Left the Nest October 8, 2020
Detecting Bad OpenSSL Usage May 29, 2020

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

  • Interactive decompilation with rellic-xref
  • Themes from Real World Crypto 2022
  • Improving the state of go-fuzz
  • Amarna: Static analysis for Cairo programs
  • The Frozen Heart vulnerability in PlonK
  • The Frozen Heart vulnerability in Bulletproofs
  • The Frozen Heart vulnerability in Girault’s proof of knowledge
  • Coordinated disclosure of vulnerabilities affecting Girault, Bulletproofs, and PlonK
  • Towards Practical Security Optimizations for Binaries
  • Optimizing a smart contract fuzzer
  • Maat: Symbolic execution made easy
  • Part 2: Improving crypto code in Rust using LLVM’s optnone
  • Part 1: The life of an optimization barrier
  • C your data structures with rellic-headergen
  • Finding unhandled errors using CodeQL

Yearly Archive

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

Categories

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

Loading Comments...