User:Barbieauglend: Difference between revisions

151 editsJoined 30 November 2016
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 ==

Revision as of 00:05, 8 October 2018