Alexander Remie
Blockchain Security Engineer at ChainSecurity
Zurich, Zurich, Switzerland
Summary
🤩
RockstarAlexander Remie is a blockchain security engineer with a decade of experience securing smart contracts and blockchain infrastructure, currently based in Zurich and working at ChainSecurity. His career spans hands-on roles from Solidity development to leading blockchain security teams at Trail of Bits, where he progressed to Principal Security Engineer. He blends deep technical auditing skills with DevOps and backend expertise, evidenced by contributions to the prominent crytic/slither static analyzer—improving deterministic test output and CI reliability. Alexander is comfortable across the full lifecycle of security work: building, testing, and automating tools that make large-scale audits reproducible and defensible. His background includes early backend and full-stack roles, giving him pragmatic engineering instincts when translating complex protocol risks into actionable mitigations. Colleagues know him for bringing rigor to testing processes and for quietly improving developer workflows that reduce recurring security mistakes.
10 years of coding experience
9 years of employment as a software developer
Github Skills (14)
json10
sh10
script10
static-analysis10
shell10
solidity10
ethereum10
scripting10
testing10
githubaction-workflow9
github-ci9
vyper9
docker8
dockers8
Programming languages (9)
Github contributions (5)
crytic/slither
Oct 2018 - Mar 2022
Static Analyzer for Solidity and Vyper
Role in this project:
Backend & DevOps Engineer
Backend & DevOps EngineerContributions:38 commits, 8 PRs, 11 pushes in 3 years 5 months
Contributions summary:Alexander primarily focused on improving the automated testing and build processes for the `slither` static analyzer. They updated the Travis CI test script to compare JSON outputs instead of line counts, improving test reliability. Further contributions included developing a shell script to generate and store the expected JSON test outputs, making it easier to validate the analyzer's functionality. The user also refined the process of generating and verifying test outputs to ensure deterministic and consistent results.
static-analyzerethereumsoliditysmart-contractsanalyzer
rmi7/public-ipv4
Mar 2017 - Sep 2023
Contributions:1 PR, 2 pushes, 1 comment in 6 years 7 months
ipv4addressipv6verifyipv4-address
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.