Trail of Bits Blog

Menu

Skip to content

Home

Published November 16, 2021 at 2880 × 1800

Solving the challenge with Manticore

Trackbacks are closed, but you can post a comment.

Leave a ReplyCancel reply

Search

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

Recent Posts

Don’t overextend your Oblivious Transfer
Security flaws in an SSO plugin for Caddy
Holy Macroni! A recipe for progressive language enhancement
Secure your Apollo GraphQL server with Semgrep
iVerify is now an independent company!
The Engineer’s Guide to Blockchain Finality
Can you pass the Rekt test?
Use our suite of eBPF libraries
A mistake in the bulletproofs paper could have led to the theft of millions of dollars
How AI will affect cybersecurity: What we told the CFTC
The future of Clang-based tooling
Announcing the Trail of Bits Testing Handbook
Fuzzing on-chain contracts with Echidna
Trail of Bits’s Response to OSTP National Priorities for AI RFI
Evaluating blockchain security maturity

Yearly Archive

2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012

Categories