Backward-Bounded DSE - Targeting Infeasibility Questions on Obfuscated Codes

IEEE Symposium on Security and Privacy via YouTube Direct link

Introduction

1

of 13

1 of 13

Introduction

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Backward-Bounded DSE - Targeting Infeasibility Questions on Obfuscated Codes