Sonya Schriner
Fishers, Indiana, United States
Summary
🤩
Rockstar🎓
Top SchoolSonya Schriner is a software and security engineer with six years of experience applying rigorous computer science and mathematics training from Purdue to research-driven development. She has a strong background in program analysis and binary security from her work at Trail of Bits, where she contributed significant functionality to the well-known Manticore symbolic execution engine (including /proc/self/maps support and string-handling models). Sonya focuses on machine learning applications for compilers, binary translation, networking, and signal processing, and she pursues publication- and patent-oriented R&D. Comfortable in both academic and production settings, she combines theory-first thinking with hands-on backend implementation and test-driven improvements. Colleagues describe her as relentlessly optimistic, quick to embrace difficult challenges, and continually learning new techniques to bridge research and practical security tooling.
6 years of coding experience
4 years of employment as a software developer
Non-degree (Pre-University) High School Running Start (Dual Credit Coursework), Non-degree (Pre-University) High School Running Start (Dual Credit Coursework) at Indiana University IndianapolisBachelor of Science - BS Computer Science, Bachelor of Science - BS Computer Science at Purdue University
Github Skills (11)
memory-management10
symbolic-execution10
strings10
python10
binarydiff10
program-analysis10
testing9
c119
c179
z38
rust6
Programming languages (4)
Github contributions (5)
trailofbits/manticore
Mar 2020 - Sep 2022
Symbolic execution tool
Role in this project:
Back-end Developer & Security Engineer
Back-end Developer & Security EngineerContributions:17 reviews, 53 commits, 23 PRs in 2 years 5 months
Contributions summary:Sonya primarily contributed to the core functionality of the Manticore symbolic execution tool. They implemented support for /proc/self/maps, a key feature for memory mapping analysis. Furthermore, the user worked on symbolic model creation, notably for the strcpy function, and integrated strncpy as well, demonstrating a deep understanding of memory manipulation within the context of program analysis. Their work involved updating models and tests to improve the tool's capabilities related to string handling and memory behavior. They also made improvements to error messages.
symbolic-executionbinary-analysispythonsmtethereum
trailofbits/ManticoreUI
Jul 2021 - Aug 2022
The Manticore User Interface with plugins for Binary Ninja and Ghidra
Contributions:12 reviews, 10 commits, 3 PRs in 1 year 1 month
user-interfaceghidramanticorebinary-ninjaninja
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.