Trailofbits.com Website Review

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. WE DON’T JUST FIX BUGS, WE FIX SOFTWARE. When our research into the depths of code and devices exposes gaps in the market, we engineer Binary Ninja offers security researchers a real -and easy- choice of reversing platforms. Its accessible interface and powerful automated an*lyses are a force multiplier for a researcher’s human intuition. We want to accelerate adoption of Binary Ninja, so we’re developing Sienna Locomotive brings fuzzing and crash triage to developers who lack detailed knowledge of vulnerabilities, how fuzzers work, and how to configure them. It works on Windows, was built on open-source software, and incorporates new research in crash triage to make As a performer in DARPA's Leveraging the An*log Domain for Security program, we're writing program an*lysis tools to help protect low-resource systems from advanced cyber threats, such as RowHammer, which allow individual bits to get flipped in arbitrary program memory. The automated program an*lyzer we're engineering is built on Manticore, our Python symbolic execution platform. Manticore unlocks the power of symbolic execution for security researchers. It's pure Python with minimal dependencies that can operate on x86, x64, and ARM binaries and Ethereum smart contracts. Anyone with experience in exploitation or reversing can use the API to create specialized binary an*lysis or software security tools. Capture the flag (CTF) competitions provide an ideal platform for students to learn to think like attackers. And yet most schools and colleges lack the expertise to form and train CTF teams for competition. This guide closes the gap, and addresses the larger “Facebook, Security Firm Team Up to Port OS Monitor to Windows” “DARPA Helps Cadets, Midshipmen Prep for Cyber Mission”