Subscribe
AUGUSTA, Ga. – AvengerCon VIII, Army Cyber’s homegrown hacker convention returned for its eighth iteration, and its first at the Georgia Cyber Innovation & Training Center, February 28 and 29, and day one consisted of training workshops.
Intro to Symbolic Execution
By Jeremy Blackthorne, Boston Cybernetics Institute
This is an 80% hands-on course with many demos, examples, exercises, and solutions. Exercises will be mostly x64 and ARM binaries for Linux, but we will also apply it to other architectures, such as MIPS and PowerPC. Although the theory behind symbolic execution is fascinating, we will minimally cover it and instead focus on the practical applications of symbolic execution.
Students are provided a preconfigured VM with all necessary tools and exercises. The instructor’s computer screen and voice will also be recorded during the day and provided for reference. Students can then review the recordings during the course and retain them for use afterwards.
| Date Taken: | 02.28.2024 |
| Date Posted: | 03.01.2024 16:49 |
| Photo ID: | 8265426 |
| VIRIN: | 240228-O-PX639-4358 |
| Resolution: | 6720x4480 |
| Size: | 5.73 MB |
| Location: | AUGUSTA, GEORGIA, US |
| Web Views: | 21 |
| Downloads: | 2 |
This work, AvengerCon VIII - Intro to Symbolic Execution workshop [Image 17 of 17], by Steven Stover, identified by DVIDS, must comply with the restrictions shown on https://www.dvidshub.net/about/copyright.
No keywords found.
