I get computers 'putin'
Joined October 2014
- Tweets 1,224
- Following 293
- Followers 684
- Likes 1,325
41 Photos and videos
16 Jan 2020
I've been seeing a lot of complaints that CVE-2020-0601 didn't have a fancy logo and website, so my colleagues @trailofbits and I did our best to pitch in.
whosecurve.com/
1
4
34
4 Jan 2020
RSVP before the entropy runs out
2 Jan 2020
Next week is Real World Crypto 2020 right on @trailofbits's home turf, NYC. If you're in town and want to enjoy free food, drinks, and a venue brimming with high quality entropy come and join us on Thursday January 9 from 7-10pm at Prohibition: evite.me/S3NVbKZR8x
5
14
31 Dec 2019
Before 2019 ends, I wanted to release my current research with @trailofbits: Umberto, a "poststructural fuzzer" built with fancy Haskell tricks. It lets you apply simple mutators (defined on numbers or strings) inside large structures (like xml entities)
github.com/trailofbits/umber…
1
13
40
31 Dec 2019
Related: contributing should be relatively easy, and I'm very open to PRs. Supporting JSON is ~one line of code, supporting your favorite format probably is as well.
1
31 Dec 2019
Bonus: github.com/trailofbits/umber… is probably the craziest code I wrote this year. I can't hope to explain it in a tweet, but I'm working on a blog post that should be out soon.
1
if someone ever tries to tell you something "because godel" direct 'em to this paper. not only are most "popular" uses of "godel incompleteness" dead wrong, but it turns out, a good 2/3 of the "proper" uses of it make it out to be too strong as well.
The standard story is that Godel's second incompleteness theorem stopped Hilbert's program dead in its tracks, because one could not prove the consistency of PA within itself. But a lovely new paper from Artemov argues that this isn't what G2 proved at all! 1/2
3
7
32
20 Nov 2019
My team is hiring! If you want to discover, analyze, and explain bugs in cryptographic software, link below has details. Incredible people, fascinating problems, lots of flexibility, great benefits
jobs.lever.co/trailofbits/e9…
3
4
JP retweeted
6 Nov 2019
The Fine Structure Constant, a thread.
(1/137)
47
333
1,384
25 Oct 2019
This summer, I mentored @anneouyang while she did some incredible work rigorously analyzing CBC Casper. This kind of work is critical for broad adoption of proof of stake, and imo doesn't receive nearly as much attention as it should.
25 Oct 2019
Formal Analysis of the CBC Casper Consensus Algorithm with TLA blog.trailofbits.com/2019/10…
1
5
29
JP retweeted
im a big bearded javascript guy and my avatar is a funko pop and my bio says some shit like "I Make Internets."
7
166
2,188
Is there anyone with an arxiv account that can endorse a @trailofbits employee for "cs.CR"? We have papers we want to publish. DM me, thanks!
6
9
24 Aug 2019
24 Aug 2019
just letting everyone know that I make non-meme music also and have a soundcloud soundcloud.com/sendcomfort
JP retweeted
19 Aug 2019
Echidna's latest release lets you fuzz for assertion violations even if you don't write any explicit tests (!), and recycles return value constants, as detailed in our analysis of the MakerDAO contracts: forum.openzeppelin.com/t/usi…
github.com/crytic/echidna/re…
3
5
8 Jul 2019
RSA is the manual memory management of cryptography. Fun in the 20th century, but it's time to stop.
2
8
JP retweeted
1 Jul 2019
Use siderophile to quickly identify the ideal fuzz targets in a Rust codebase blog.trailofbits.com/2019/07…
12
25