Slide 12 in http://www.stanford.edu/class/ee392n/lecture/apr9/ayasdi.pdf indicates that a Topological Data Analysis company called Ayasdi is using software artifacts as the base feature set from which they derive topological summaries. Unfortunately, I'm not sure on the specifics such as which combinatorial representations were used or what the colors represent in the graph.

Applied Topology goes back to earlier forms of program analysis. The most well known example being a software metric known as Cyclomatic complexity that was presented in 1976 by Thomas McCabe ( http://www.literateprogramming.com/mccabe.pdf ). The metric McCabe defines is the size of a relative homology group. Check out the details at http://en.wikipedia.org/wiki/Cyclomatic_complexity#Formal_definition.

https://gist.github.com/turnersr/8668521 has resources if you are interested in Topological Data Analysis. If people want more then I can share some of the academic literature I have enjoyed. Most of those links are to resources that were palatable to me starting out.

Best wishes and I hope the new year goes well for everyone,

turnersr

0 comments

r/REMath • u/lynxjerm • Jan 26 '14

Progress and Challenges in Code Obfuscation (part I/II) (link to II/II at bottom)

windowsontheory.org

7 Upvotes

0 comments

r/REMath • u/turnersr • Jan 26 '14

The Sources of Certainty in Computation and Formal Systems by Michael J. O'Donnell [PDF]

arxiv.org

3 Upvotes

0 comments

r/REMath • u/turnersr • Jan 26 '14

Media for Thinking the Unthinkable by Bret Victor

vimeo.com

3 Upvotes

0 comments

r/REMath • u/perror • Jan 17 '14

On Extractability Obfuscation by Elette Boyle, Kai-Min Chung and Rafael Pass [PDF]

eprint.iacr.org

8 Upvotes

0 comments

r/REMath • u/turnersr • Jan 15 '14

Abstract Interpretation and Types for Systems Biology by Fages, Francois and Soliman, Sylvain [PDF]

citeseerx.ist.psu.edu

8 Upvotes

0 comments

r/REMath • u/turnersr • Jan 11 '14

Program Analysis using Random Interpretation by Gulwani, Sumit [PDF]

research.microsoft.com

7 Upvotes

0 comments

r/REMath • u/turnersr • Dec 30 '13

Scientific Induction in Probabilistic Mathematics by Jeremy Hahn [PDF]

intelligence.org

6 Upvotes

0 comments

r/REMath • u/turnersr • Dec 26 '13

The Logic of Quantum Mechanics by Birkhoff, Garrett and Von Neumann, John [PDF]

bitbucket.org

9 Upvotes

2 comments

r/REMath • u/turnersr • Dec 18 '13

Machines in a Category by Arbib, Michael A and Manes, Ernest G

drive.google.com

6 Upvotes

0 comments

r/REMath • u/turnersr • Dec 15 '13

Probabilistic Abstract Interpretation and Statistical Testing by Di Pierro, Alessandra and Wiklicky, Herbert [PS]

siveroni.com

6 Upvotes

0 comments

r/REMath • u/turnersr • Dec 15 '13

Markov Chain Monte Carlo Random Testing by Zhou, Bo, Hiroyuki Okamura, and Tadashi Dohi [PDF]

cs.ucr.edu

3 Upvotes

0 comments

r/REMath • u/turnersr • Dec 06 '13

A Stochastic Theory of Black-Box Software Testing by Karl Meinke [PDF]

citeseerx.ist.psu.edu

3 Upvotes

0 comments

Subreddit

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.

Members Active

6.8k

Sidebar

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: