Here's a brief recap of summer internship projects @trailofbits:
Alan added ensemble fuzzing to DeepState
https://blog.trailofbits.com/2019/09/03/deepstate-now-supports-ensemble-fuzzing/ …
Aditi rewrote binaries to fix crypto bugs
https://blog.trailofbits.com/2019/09/02/rewriting-functions-in-compiled-binaries/ …
Jim made machine learning private with MPChttps://blog.trailofbits.com/2019/10/04/multi-party-computation-on-machine-learning/ …
-
Show this thread
-
Sai ported KLEE to run on binaries
https://blog.trailofbits.com/2019/08/30/binary-symbolic-execution-with-klee-native/ …
Henry built crash triage tools for Binary Ninja
https://blog.trailofbits.com/2019/08/29/reverse-taint-analysis-using-binary-ninja/ …
Mike independently reimplemented MLS in Rust
https://blog.trailofbits.com/2019/08/06/better-encrypted-group-chat/ …
Patrick wrote the new best C++ SQLite wrapperhttps://blog.trailofbits.com/2019/08/26/wrappers-delight/ …1 reply 1 retweet 7 likesShow this thread -
Dan Guido Retweeted Empire Hacking
Not blogged (yet):
Anne wrote a TLA+ spec for CBC Casper
Roy built a toolset to measure fuzzer performance
Luke improved the UX and squashed bugs in Manticore
Ankur wrote an EVM backend for Slither
8 of them shared their work at @EmpireHacking:https://twitter.com/EmpireHacking/status/1160972005384097793 …Dan Guido added,
2 replies 1 retweet 6 likesShow this thread
Dan Guido Retweeted Trail of Bits
We're now hiring again for our second class of interns this year: our winternships! Winternships are low-risk: scheduled over winter break, remote, ~3-6 weeks, and a single, small project. Read more and apply here:https://twitter.com/trailofbits/status/1179826529649545216 …
Dan Guido added,
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.