A Winter’s Tale: Improving messages and types in GDB’s Python API - By Matheus Branco Borella, University of São Paulo
As a winter associate at Trail of Bits... https://blog.trailofbits.com/2023/04/18/a-winters-tale-improving-types-and-messages-in-gdbs-python-api/ #internshipprojects

Harnessing the eBPF Verifier - By Laura Bauman
During my internship at Trail of Bits, I prototyped a harness that... https://blog.trailofbits.com/2023/01/19/ebpf-verifier-harness/ #internshipprojects #linux #ebpf

Keeping the wolves out of wolfSSL - By Max Ammann
Trail of Bits is publicly disclosing four vulnerabilities that affec... https://blog.trailofbits.com/2023/01/12/wolfssl-vulnerabilities-tlspuffin-fuzzing-ssh/ #internshipprojects #cryptography #fuzzing

Look out! Divergent representations are everywhere! - By Andreas Kellas
Trail of Bits recently published a blog post about a signed inte... https://blog.trailofbits.com/2022/11/10/divergent-representations-variable-overflows-c-compiler/ #internshipprojects #researchpractice #uncategorized #binaryninja #codeql

Stranger Strings: An exploitable flaw in SQLite - By Andreas Kellas
Trail of Bits is publicly disclosing CVE-2022-35737, which affec... https://blog.trailofbits.com/2022/10/25/sqlite-vulnerability-july-2022-library-api/ #internshipprojects #attacks

Porting the Solana eBPF JIT compiler to ARM64 - By Andrew Haberlandt 
During my summer internship at Trail of Bits, I worked on th... https://blog.trailofbits.com/2022/10/12/solana-jit-compiler-ebpf-arm64/ #engineeringpractice #internshipprojects #uncategorized #blockchain #crytic

Magnifier: An Experiment with Interactive Decompilation - By Alan Chang
Today, we are releasing Magnifier, an experimental reverse engineeri... https://blog.trailofbits.com/2022/08/25/magnifier-an-experiment-with-interactive-decompilation/ #internshipprojects #programanalysis #staticanalysis

MUI: Visualizing symbolic execution with Manticore and Binary Ninja - By Alan Chang, University of Oxford
During my summer internship, I had the wonderf... https://blog.trailofbits.com/2021/11/17/mui-visualizing-symbolic-execution-with-manticore-and-binary-ninja/ #internshipprojects #symbolicexecution #binaryninja #manticore

Solar: Context-free, interactive analysis for Solidity - We’re hiring for our Research + Engineering team! 
By Aaron Yoo, University of Cal... https://blog.trailofbits.com/2021/04/02/solar-context-free-interactive-analysis-for-solidity/ #internshipprojects #blockchain

Un-bee-lievable Performance: Fast Coverage-guided Fuzzing with Honeybee and Intel Processor Trace - By Allison Husain, UC Berkeley
Today, we are releasing an experimental coverage-guided fuzzer called... https://blog.trailofbits.com/2021/03/19/un-bee-lievable-performance-fast-coverage-guided-fuzzing-with-honeybee-and-intel-processor-trace/ #internshipprojects #researchpractice #fuzzing

Reverie: An optimized zero-knowledge proof system - Zero-knowledge proofs, once a theoretical curiosity, have recently seen widespread deployment in blo... https://blog.trailofbits.com/2020/12/14/reverie-an-optimized-zero-knowledge-proof-system/ #internshipprojects #cryptography

Efficient audits with machine learning and Slither-simil - by Sina Pilehchiha, Concordia University
Trail of Bits has manually curated a wealth of data—years o... https://blog.trailofbits.com/2020/10/23/efficient-audits-with-machine-learning-and-slither-simil/ #internshipprojects #machinelearning #smartcontracts #experiment #slither #audits #tools

Let’s build a high-performance fuzzer with GPUs! - by Ryan Eberhart, Stanford University
TL;DR: Can we use GPUs to get 10x performance/dollar when fuzz... https://blog.trailofbits.com/2020/10/22/lets-build-a-high-performance-fuzzer-with-gpus/ #internshipprojects #experiment #internship #fuzzing #remill #gpu

Osquery: Using D-Bus to query systemd data - by Rachel Cipkins, Stevens Institute of Technology
During my summer internship at Trail of Bits I ... https://blog.trailofbits.com/2020/10/14/osquery-using-d-bus-to-query-systemd-data/ #internshipprojects #osquery

Detecting Iterator Invalidation with CodeQL - by Kevin Higgs, Montgomery Blair High School
Iterator invalidation is a common and subtle class of C... https://blog.trailofbits.com/2020/10/09/detecting-iterator-invalidation-with-codeql/ #internshipprojects #staticanalysis #codeql

PrivacyRaven has left the nest - By Suha S. Hussain, Georgia Tech
If you work on deep learning systems, check out our new tool, Priva... https://blog.trailofbits.com/2020/10/08/privacyraven-has-left-the-nest/ #internshipprojects #machinelearning #privacy #testing #python #tools

Detecting Bad OpenSSL Usage - by William Wang, UCLA
OpenSSL is one of the most popular cryptographic libraries out there; even i... more: https://blog.trailofbits.com/2020/05/29/detecting-bad-openssl-usage/ #internshipprojects #programanalysis #cryptography

Emerging Talent: Winternship 2020 Highlights - The Trail of Bits Winternship is our winter internship program where we invite 10-15 students to joi... more: https://blog.trailofbits.com/2020/05/22/emerging-talent-winternship-2020-highlights/ #internshipprojects