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/ …
-
-
Show this thread
-
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 …
Show this thread -
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 …
Show this thread
End of conversation
New conversation -
-
-
Cool! Re ML with MPC, Florian Apfelbeck did a project with a similar goal but different approach (SCALE-MAMBA as MPC platform, linear regression and neural network as ML algorithms) with
@OVioHQ,@imperialcollege and@Fetch_ai. Might be interesting.https://outlierventures.io/research/enabling-privacy-preserving-machine-learning/ …Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.