Schedule. The following schedule is only an approximate and is subject to change.

	Date	Topics	Slides and readings
Week 1	1/8	Introduction	Slides
	1/10	x86 assembly language basics	Slides; intro to IA32
Week 2	1/15	Reverse engineering basics	RE basics; executable file formats;
	1/17		intro to x86-64; stack smashing
Week 3	1/22	Binary analysis overview	WYSINWYX: What You See Is Not What You eXecute; presenter: Raquel Alvarez BitBlaze: A New Approach to Computer Security via Binary Analysis; presenter: Muhammad Talha Imran
	1/24	Class canceled due to snow
Week 4	1/29	Static disassembly	Overview slides; Static Disassembly of Obfuscated Binaries
	1/31	Class canceled due to cold weather
Week 5	2/5	Static disassembly	Shingled Graph Disassembly: Finding the Undecideable Path; presenter: Yi Zheng Superset Disassembly: Statically Rewriting x86 Binaries Without Heuristics; presenter: Eric Pauley
	2/7	Static disassembly	Static Binary Rewriting without Supplemental Information; presenter: Tingwei Hua Recognizing Functions in Binaries with Neural Networks; presenter: Ryan Sheatsley
Week 6	2/12	Class canceled due to snow
	2/14	Static analysis	Principle of Program Analysis: Chapter 2
Week 7	2/19	Static analysis	Principle of Program Analysis: Chapter 2
	2/21	Binary static analysis	Analyzing Memory Accesses in x86 Executables; presenter: Michael Norris. Debin: Predicting Debug Information in Stripped Binaries; presenter: Michael Wheatman.
Week 8	2/26, 2/28	Class canceled due to instructor academic travel	Please work on your research project!
Week 9	3/5, 3/7	Spring break	Have a good break!
Week 10	3/12	Student research project presentation
	3/14	Static analysis using Datalog	Slides; Demo code; Dataflow Demo code
Week 11	3/19	Static analysis using Datalog	Slides; Demo code; Dataflow Demo code
Week 11	3/21	Static analysis using Datalog	What you always wanted to know about Datalog (and never dared to ask); presenter: Sun Hyoung Kim. Using Logic Programming to Recover C++ Classes and Methods from Compiled Executables; presenter: Sara Mahdizadeh Shahri.
Week 12	3/26	Static analysis using Datalog	Slides; Demo code; Dataflow Demo code
	3/28	Control-flow integrity	A Tough call: Mitigating Advanced Code-Reuse Attacks At The Binary Level; presenter: Seyed Armin Vakil Ghahani. Efficient Protection of Path-Sensitive Control Security; presenter: Soheil Khadirsharbiyani.
Week 13	4/2	Student research project presentation
	4/4	More on static analysis; software-based fault isolation	More on static analysis; SFI Survey
Week 14	4/9	Dynamic symbolic execution	Unleashing MAYHEM on Binary Code; presenter: Neeraj Karamchandani. Block Oriented Programming: Automating Data-Only Attacks; presenter: Kaiming Huang.
	4/11	Software-based fault isolation	SFI Survey
Week 15	4/16	Taint tracking	The Dynamics of Innocent Flesh on the Bone: Code Reuse Ten Years Later; presenter: Eralp Sahin. One Engine To Serve them All: Inferring Taint Rules Without Architectural Semantics; presenter: Tianrou Xia.
	4/18	Binary-level type inference	TIE: Principled Reverse Engineering of Types in Binary Programs; presenter: Alexandar Devic. Automatic Reverse Engineering of Program Data Structures from Binary Execution; presenter: Qing Gong.
Week 16	4/23	Binary code obfuscation	BinSim: Trace-based Semantic Binary Diffing via System Call Sliced Segment Equivalence Checking; presenter: Michael Howard Steward Jr.
	4/25	Student research project presentation