Samuel Gross
Praktikant at .
Zurich, Zurich, Switzerland
Summary
🤩
RockstarSamuel Gross is a Zurich-based software engineer with 11 years of hands-on experience, currently working as a praktikant while contributing to advanced open-source security tooling. He has made substantive back-end contributions to high-profile projects such as Trail of Bits' Manticore symbolic execution engine—fixing syscall emulation and kernel constant handling—and Google's Fuzzilli JavaScript engine fuzzer, where he refactored program representations and added benchmarking and provenance features. Comfortable working close to systems and tooling, he combines low-level Linux syscall expertise with pragmatic code-structure improvements that aid maintainability and analysis. Samuel’s background suggests a knack for making complex program-analysis systems more accurate and easier to evolve, an asset for teams building security, fuzzing, or symbolic-execution infrastructure.
11 years of coding experience
Github Skills (23)
javascript10
python10
architecture10
testing10
binarydiff10
system-calls10
sys10
fuzzing10
symbolic-execution10
swift10
architectures10
emulation10
program-analysis10
performance-monitor9
performance-analytics9
Programming languages (8)
Github contributions (5)
googleprojectzero/fuzzilli
Sep 2020 - Sep 2021
A JavaScript Engine Fuzzer
Role in this project:
Back-end Developer
Back-end DeveloperContributions:4 releases, 457 reviews, 8 commits in 1 year
Contributions summary:Samuel focused on refactoring the Fuzzilli JavaScript Engine Fuzzer to improve code structure and maintainability. Their contributions included making programs immutable by introducing a `Code` struct and related changes, improving the overall reasoning about programs. They added a benchmarking suite to evaluate the performance of code generation. Further work included implementing program origin identification, enhancing the fuzzer's capabilities, and refactoring the state synchronization mechanisms.
javascript-enginesecurityjavascriptfuzzingfuzzer
trailofbits/manticore
May 2017 - May 2017
Symbolic execution tool
Role in this project:Back-end Developer
Back-end DeveloperContributions:5 commits, 5 PRs, 5 comments in 3 days
Contributions summary:Samuel contributed to the Manticore symbolic execution tool by addressing several system call-related issues. Their work included fixing incorrect syscall numbers and implementing missing system calls, like `sys_readv` and `sys_ioctl`. They also ensured the correct values for constants like `AT_PHENT` within the context of the Linux system model. These changes directly improved the tool's ability to emulate and analyze programs that rely on system calls.
symbolic-executionbinary-analysispythonsmtethereum
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.