climbing, airsports, and computers. security at @blocks. ex @trailofbits, ex @matasano

NYC
Joined March 2008
Yan Ivnitskiy retweeted
My students made a game for you all to hone your metrocard swiping skills: Swipe Unlimited (coming soon)
4
16
3
140
Yan Ivnitskiy retweeted
Trail of Bits donates $100,000 to support young researchers through @SummerC0n blog.trailofbits.com/2018/06…
3
29
8
107
Yan Ivnitskiy retweeted
We're hiring a Python engineer to work on our open-source Manticore project full time. Remote OK, apply here: jobs.lever.co/trailofbits/5b…
Yan Ivnitskiy retweeted
I’ll be presenting "Blockchain Autopsies - Analyzing Ethereum Smart Contract Deaths" at Blackhat! Learn to reverse EVM, understand vulns, and analyze the world computer ledger #BHUSA @BlackHatEvents blackhat.com/us-18/briefings…
Yan Ivnitskiy retweeted
Excited to be speaking at @NorthSec_io in just a few days! Stop by if you're interested in binary analysis, blockchain, virtual machines, symbolic execution, etc :) nsec.io/schedule/#session-20…
3
17
Had a great time @GrehackConf .Thanks @yan for the slick Manticore intro. Impressive stuff: binary symbolic execution has never been easier. Currently thinking of how to get llvm IR from it... #Grehack17
1
3
11
Yan Ivnitskiy retweeted
Automatic bugfinding for the blockchain. Check out our ekoparty slides github.com/trailofbits/prese…. It's a symbolic executor for EVM! (@Montyly)
18
24
Yan Ivnitskiy retweeted
New release of the manticore analysis thing. Check it out here: github.com/trailofbits/manti… ... man man man manticore ni ni ni nin niniiiiiiii
10
8
Yan Ivnitskiy retweeted
We're giving access to Manticore, our symbolic execution framework, at @InfiltrateCon. Find @dguido or @markmossberg. #youkillityoueatit
5
8
24
Yan Ivnitskiy retweeted
Longform Podcast #189: Maciej Ceglowski (@baconmeteor), founder of @Pinboard and writer longform.org/posts/longform-…
2
4
So proud of @TommyCaldwell1 and @KJorgeson for conquering El Capitan. You remind us that anything is possible. -bo
174
1,890
13
1,976
Yan Ivnitskiy retweeted
A shallow survey of formal methods for C code: imperialviolet.org/2014/09/0…
9
40
55
We surveyed 10,752 people about data visualization. The results:
32
1,062
1
641
Yan Ivnitskiy retweeted
Dear DARPA: Challenge Accepted. darpa.mil/NewsEvents/Release…
1
9
8
Yan Ivnitskiy retweeted
Well said, @preston_wood. unyieldingly.com/?p=1000 Thank you.
3
5
industrial/EBM legends Front 242 playing NYC, Chicago and Tampa this fall: brooklynvegan.com/archives/2…
2
3
Yan Ivnitskiy retweeted
LLVM now has a foundation to look over it: blog.llvm.org/2014/04/the-ll…
Yan Ivnitskiy retweeted
If New Zealand left the ‘Five Eyes’, the remaining countries would be forced to call themselves the ‘Four Eyes’, like a big bunch of nerds
1
38
47