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

Emerging Talent: Winternship 2020 Highlights

blog.trailofbits.com | blog | #open-source | #security-tools | #tooling | #static-analysis | #trail-of-bits | #program-analysis | #slither | #internship | #manticore
📄 Raw .md⬇️ Download .md🔗 Original ↗

Summary

Highlights from Trail of Bits' 2020 Winternship: students improved Anvill, DeepState, Manticore, Mishegos, Crytic, and Slither, gaining industry experience and sometimes landing full-time roles.
Published
Collected

Related coverage

blog · hackenproof.com
How to use Slither for auditing smart contracts
A hands-on guide to Slither, the Python-based Solidity static analysis framework: installing via pip or Docker, pointing it at a contract, project or mainnet address, and reading its findings.
blog · blog.trailofbits.com
SequenceHash: multihashing for the rest of us
We're releasing SequenceHash and its sister function SequenceMAC, a pair of related hash constructions that bring secure multihashing to developers using hash functions other than Keccak.
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
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
Rust-proof your code with our new Testing Handbook chapter
Trail of Bits added a Rust testing chapter to its Testing Handbook: Miri, property testing, Clippy, zeroization, Kani model checking and dependency vetting, plus the rust-review Claude Code plugin.
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.
Back