PPhying中文
Curated security research, vulnerabilities, advisories and tools for practitioners.

Summer interns 2023 recap

blog.trailofbits.com | blog | #ai-security | #fuzzing | #llm | #zero-knowledge | #trail-of-bits | #internship | #gdb | #pytorch | #circomference
📄 Raw .md⬇️ Download .md🔗 Original ↗

Summary

Trail of Bits interns built Circomference for scalable ZK circuit determinacy checking, ETW fuzzing for Windows, GDB/pwndbg improvements, and explored LLMs and PyTorch for security.
Published
Collected

Related coverage

blog · blog.trailofbits.com
Auditing in the age of (good enough) AI
Trail of Bits explains how agents built tooling and a Lean model for the Miden zkVM audit, finding a flaw enabling Falcon signature forgery and yielding 95 machine-checked proofs.
blog · blog.trailofbits.com
Work For Us: Fall and Winter Internship Opportunities
Trail of Bits recruits fall and winter interns to work remotely on security tooling, with past interns contributing to MAST and APT1 malware analysis and earning paid, publishable experience.
blog · blog.quarkslab.com
Internship Offers for the 2026-2027 Season
The internship 2026-2027 season at Quarkslab is open! Our internship positions cover a wide range of topics and expertise, and aim at tackling new challenges in various fields.
blog · blog.trailofbits.com
Your AI agent fixed the bug, but what else did it change?
We’re publishing patching-bugs and regression-hunt, two plugins that let engineers delegate patch development and regression checks to agents.
blog · blog.trailofbits.com
1Password's AI patching benchmark is misleading
Trail of Bits says 1Password's FLAWED benchmark misstates AI patch quality, mixing wrong-fix prompts and no-test trials into a 26% clean-fix headline, and ships two agent skills for better fixes.
blog · blog.trailofbits.com
A “proof” of Fermat’s Last Theorem that fits the margin
Trail of Bits found a Lean ≤4.33.1 bug: String.Pos.Raw.extract returns a full string where its spec says empty — enough to 'prove' Fermat's Last Theorem. Not a soundness flaw; fixed in 4.34.0-rc1.
Back