r/REMath

622 archived posts · Oct 2012 – Apr 2024

The mathematics behind program analysis and reverse engineering

r/REMath

Computer code is a complex logical artifact and high dimensional dynamical system whose extension, maintenance, comprehension, and verification is difficult but can be made easier by creating tools that aid humans in these domains. This subreddit is for people that want advance the field of machine language processing by working to advance ideas to help humans understand computer code of all types and sizes.

Created Oct 26, 2012 · restricted

6.6KMembers (last snapshot)

622Archived posts

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:

Other communities

Reddit Rebuilt is an independent, non-commercial archive and is not affiliated with Reddit, Inc. Content belongs to its original authors.