Artur Cygan
Principal Security Engineer at Trail of Bits
Contact Info
Other
Summary
🤩
Rockstar🎓
Top SchoolArtur Cygan is a Principal Security Engineer with 11 years of experience focusing on backend systems, tooling, and security for blockchain and low-level platforms. He progressed through senior engineering and leadership roles at Trail of Bits and earlier startups, blending hands-on development with security research and programmatic fuzzing. A prolific open-source contributor, Artur has improved notable projects like Echidna (Ethereum smart-contract fuzzer), solc-select, Ecto, and Erlang/OTP—demonstrating fluency across Solidity tooling, Elixir, and Erlang internals. His contributions often sit at the intersection of correctness and developer ergonomics, from fuzzing gas-price behaviors to refining ABI/byte parsing and debugging tooling for AArch64. He holds an MS in Computer Science from Georgia Tech and a BS from AGH, pairing formal training with practical, cross-language systems experience. Colleagues describe him as a pragmatic engineer who elevates security by shipping robust developer tools, not just reports.
11 years of coding experience
9 years of employment as a software developer
Master of Science - MS Computer Science, Master of Science - MS Computer Science at Georgia Institute of TechnologyBachelor of Science - BS Applied Computer Science, Bachelor of Science - BS Applied Computer Science at AGH University of Krakow
Github Skills (44)
pwd10
debugging10
debug10
solidity10
erlang10
nix10
back-end-development10
python10
elixir10
testing10
evm10
binarydiff10
otp10
dbg10
data-mapping10
Programming languages (19)
Github contributions (5)
crytic/echidna
Aug 2019 - Jan 2023
Ethereum smart contract fuzzer
Role in this project:
Backend & Security Engineer
Backend & Security EngineerContributions:2 releases, 126 reviews, 111 commits in 3 years 5 months
Contributions summary:Artur contributed to the Echidna smart contract fuzzer, primarily focusing on enhancing its configuration, coverage optimization, and testing capabilities. They implemented features like version display, configuration parsing, and test case fixes. Additionally, the user made modifications to the transaction gas price fuzzing mechanism. These changes improved the fuzzing capabilities and overall functionality of the Echidna tool.
smart-contractethereumsecuritytestingcontract
crytic/solc-select
Dec 2020 - Feb 2021
Manage and switch between Solidity compiler versions
Role in this project:Full-stack Developer
Full-stack DeveloperContributions:1 release, 4 reviews, 13 commits in 1 month
Contributions summary:Artur contributed to the development of the `solc-select` tool, focusing on enhancing its functionality and maintainability. They added support for Linux environments and reworked the interface. Furthermore, the user fixed bugs, updated the README, and transformed the tool into a Python package, adding features and fixing minor issues.
ethereumsoliditycompilersolcsmart-contracts
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.