Skip to content
Hallway
0:00 / 0:00

#programsynthesis#reverseengineering

Program Synthesis in Reverse Engineering - Rolf Rolles at Fastly Security Speaker Series

Fastly

2.6K subscribers • 1 video on Hallway

YouTube
  • Recommended by 1 person: 1 in engineering communities.
  • Presented by Rolf Rolles

Advanced. Deep dive for people who know the field.

2.8K views10 years ago1 recommendation

SecurityComputer scienceReverse engineeringAlgorithms

Rolf Rolles explains how to apply program synthesis techniques to solve complex reverse engineering and deobfuscation problems.

Rolf Rolles breaks down how to use program synthesis for reverse engineering purposes at Fastly's Security Speaker Series.

Why it's here

1 person recommends this

What people say. Recommended as a practical guide to using program synthesis in reverse engineering.

u/mttdin r/ProgrammingLanguages • Recommends

On “Tandoph: A compiler synthesizer for simple languages”

…itbucket.io/papers/program_synthesis_now.pdf - https://www.microsoft.com/en-us/research/publication/program-synthesis/ + Topics in Programming Languages: Program Synthesis (lots of great references!) - https://www.classes.cs.uchicago.edu/archive/2016/spring/32001-1/ + Type-Driven Program Synthesis - Strange Loop 2018; Nadia Polikarpova - link to this video + Program Synthesis: Opportunities for the Next Decade - ICFP 2015 - link to this video * Compilation, Optimization + Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis - 1st Summit on Advances in Programming Languages (SNAPL 2015) - http://drops.dagstuhl.de/opus/volltexte/2015/5016/ + Future Directions f…
10View on Reddit