Jonathan Salwan

4 Followers

7 SlideShares 4 Followers

7 SlideShares 4 Followers

symbolic execution reverse engineering obfuscated code triton concolic execution binary instrumentation program analysis software verification binary analysis llvm pin dba dbi symbolic execution concolic execution rop tools return oriented programming rop rop chain generation software testing execution concolic

Aktivität
Info

Software testing and concolic execution LSE 2013

Vor 10 Jahren • 1022 Aufrufe

Course lecture - An introduction to the Return Oriented Programming

Vor 9 Jahren • 1729 Aufrufe

Covering a function using a Dynamic Symbolic Execution approach

Vor 9 Jahren • 888 Aufrufe

St hack2015 dynamic_behavior_analysis_using_binary_instrumentation_jonathan_salwan

Vor 9 Jahren • 290 Aufrufe

Sstic 2015 detailed_version_triton_concolic_execution_frame_work_f_saudel_jsalwan

Vor 8 Jahren • 590 Aufrufe

Dynamic Binary Analysis and Obfuscated Codes

Vor 8 Jahren • 469 Aufrufe

How Triton can help to reverse virtual machine based software protections

Vor 7 Jahren • 424 Aufrufe

symbolic execution reverse engineering obfuscated code triton concolic execution binary instrumentation program analysis software verification binary analysis llvm pin dba dbi symbolic execution concolic execution rop tools return oriented programming rop rop chain generation software testing execution concolic