1. Symbolic Analysis and Stateful Fuzzing of Baseband Binaries: A Security Evaluation of 4G and 5G NR Non-Access Stratum Layers Restricted (Penn State Only) Author: Ranjbar, Ali Title: Symbolic Analysis and Stateful Fuzzing of Baseband Binaries: A Security Evaluation of 4G and 5G NR Non-Access Stratum Layers Graduate Program: Computer Science and Engineering Keywords: baseband firmwarebinary analysisstateful fuzzingvulnerability discovery File: Login to Download Committee Members: Syed Rafiul Hussain, Thesis Advisor/Co-AdvisorArslan Khan, Committee MemberChitaranjan Das, Program Head/Chair