Jonas Rudloff
Results
1
comments of
Jonas Rudloff
Thanks! More details will come soon. However the idea is simple: Analyse gadgets with unicorn, solve ropchains using z3, and doing all this almost architecture independent.