No edit summary |
(Adding VB) |
||
Line 26: | Line 26: | ||
* [https://wiki.chaosdorf.de/images/b/b9/Barbie_slides_wout.pdf H2HC2017 Sao Paulo (Slides)] | * [https://wiki.chaosdorf.de/images/b/b9/Barbie_slides_wout.pdf H2HC2017 Sao Paulo (Slides)] | ||
* [https://www.blackhoodie.re/archive/ #Blackhoodie17 Luxembourg] | * [https://www.blackhoodie.re/archive/ #Blackhoodie17 Luxembourg] | ||
* [https://chaosdorf.de/~barbieauglend/Analysing-compiled-binaries-using-logic.pdf VB2018 Paper on Using automated Theorem Proving to Analyze Malware] | |||
* [https://chaosdorf.de/~barbieauglend/final_preso.pdf and the full slide deck] | |||
== Can be also found == | == Can be also found == |