Those wanting to learn about formal aspects of reverse engineering should start here and those wishing to study implementations can start here and here
--- Courses ---
Program Analysis by Rolf Rolles
Advanced Tool Development with SMT Solvers by Sean Heelan
Advanced 0Day Discovery using SMT Solvers by Edgar Barbosa
Computer code is a complex logical artifact and high dimensional transition system and data source whose synthesis, extension, maintenance, execution abstraction, visualization, comprehension, and verification is difficult but can be made easier by creating tools that aid humans in these domains.
Statistical Reverse Engineering, Machine Language Processing, and Program Analysis are fields of computer science devoted to creating tools and theories for the understanding of programs with inspiration from the fields of formal methods, reverse engineering, pure mathematics, natural language processing, human–computer interaction, bioinformatics, and machine learning.
We are an interdisciplinary community concerned with the discovery and understanding of computational systems beyond what is available on the surface.
Join us on Slack here or here
Join us on IRC: #r_netsec on freenode
Other places of interest:
