tob_scott_a

Joined 3 years ago

Karma
77
Submissions
19
Member since
Nov 6
Senior Security Engineer, Cryptography @ Trail of Bits

https://blog.trailofbits.com/authors/scott-arciszewski/

View on Hacker News

Recent submissions

Comment · 1 month ago
When people question the efficacy of using AI for security work, they're often asking the wrong questions. (I blame the initial marketing hype around Claude Mythos for much of the unhelpful discourse.) And I don't just mean they're asking their AI the wrong questions, either.

Two problems that often arise when using LLM-based vulnerability assessment methodologies for a codebase are false positives and severity inflation.

As far as I can tell, false positives occur when the underlying language model pattern-matches a snippet of code with vulnerable, risky, or error-prone samples in its training data and/or context window. (Many SKILL.md files you find on GitHub are piles of Markdown describing anti-patterns, and occasionally TOML files describing roles the agent can assume when interpreting that Markdown.) It might be gesturing towards a real problem, but in practice, the signal-to-noise ratio can be extremely low without validation steps or expert feedback.

I don't quite understand the source of the usual severity inflation observed with LLM output, but I also haven't seen the training data, so it could just be a maladaptive behavior from the source material.

Regardless, the two problems are a symptom of the same systemic flaw: Insufficient rigor.

If you decide the work is done once you have "a result", you're doing yourself and your audience a disservice. It's imperative to have explicit mechanisms to ensure that the result is: a) real, b) relevant to the threat model of the application in scope, and c) measured appropriately in terms of both severity and difficulty. If you build the right mechanisms, you solve both symptoms in one fell swoop.

The post-patch-validation skill mentioned in the blog post was created as one of several mechanisms to ensure that the final output (i.e., what humans review) is actually worth anyone's time. We have other interesting AI experiments that I plan to open-source in the coming months (or in early 2027 at the latest).

Happy to answer any questions and hear any feedback anyone has on this skill.

Comment · 6 months ago
If you can't write it down, why would you expect it to be universal and enforceable? Different cultures exist and have different opinions on what "decency' means, after all.

A security researcher's ethical obligations are to protect users over vendors (barring any contractual agreement in place). From what has been discussed in this thread, they meet that bar.

Sure, they could have gone the extra mile to ensure the distros were in a good place to patch before they published the exploit. That's a kindness you can wish for, but don't disparage them for not going that extra mile. It's a bonus.

It's also possible that it simply didn't occur to them to do so this time. There's certainly lessons to be learned either way. I don't know that the right lessons will emerge from hostility.

Comment · 9 months ago
Comment · 2 years ago
Recommended for this list:

1. https://archiv.infsec.ethz.ch/education/fs08/secsem/bleichen... - This is necessary to scare newbies away from implementing textbook RSA

2. https://www.iacr.org/archive/eurocrypt2002/23320530/cbc02_e0... - Vaudenay's attack on CBC mode is essential to practitioners

3. https://mega-awry.io/pdf/mega-malleable-encryption-goes-awry... - A real world attack on Mega's encryption

Unfortunately, most interesting cryptanalysis results are easier to find as blog posts than academic papers.

For example: the Frozen Heart vulnerability in zero-knowledge proof systems that rely on the weak Fiat-Shamir transform.

https://blog.trailofbits.com/2022/04/13/part-1-coordinated-d...

https://blog.trailofbits.com/2022/04/15/the-frozen-heart-vul...

https://blog.trailofbits.com/2022/04/18/the-frozen-heart-vul...

These blog posts are great, but they aren't academic papers, so they may not qualify for your list.

Comment · 2 years ago
> I think that attitude vastly underestimates the complexity of a typical TLS implementation

If you ever get the impression that I'm underestimating the complexity of a typical TLS implementation, I promise you that I'm not. I speak to improvements, not panaceas.

Until the end of last year, I was one of the security engineers that the s2n team at AWS consulted on potential security issues. You will never hear me say anything will magically fix all our problems. Especially with TLS.

However, Rust does bring a lot to the table, so I feel I'm allowed to be excited about not reviewing another X.509 library written in C.

Comment · 2 years ago
woodruffw already wrote an excellent comment for this question: https://news.ycombinator.com/item?id=39131723

Rust isn't just memory-safety. The type system also coaxes developers towards eliminating some types of logic bugs.

Not all, granted, but it does move the needle.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton