Arun K
Security Engineer at Google
New York, New York, United States
Summary
👤
Senior🎓
Top SchoolArun K is a Security Engineer based in New York with 11 years of experience focused on application security and vulnerability management, currently working at Google after several senior security roles at Amazon. He combines hands-on offensive and defensive skills—from threat modeling and penetration testing taught as a graduate TA to building secure reference models and CloudFormation templates for AWS services during an Amazon internship. Arun contributes to open-source security tooling, notably improving the Manticore symbolic execution engine’s EVM support and stability, demonstrating expertise in low-level vulnerability analysis for smart contracts. His background in applied cryptography and digital forensics, coupled with a BTech in Computer Science and an MS in Cyber Security from NYU, gives him a strong foundation in both theory and practical controls. Known for streamlining legacy tooling and refactoring complex code paths, he brings a pragmatic approach to hardening systems at scale.
11 years of coding experience
8 years of employment as a software developer
Indian School Wadi Kabir (CBSE)Master of Science - MS Cyber Security, Master of Science - MS Cyber Security at New York UniversitySANS Technology InstituteBachelor of Technology - BTech Computer Science & Engineering, Bachelor of Technology - BTech Computer Science & Engineering at National Institute of Technology Calicut
English, Malayalam, Hindi
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (9)
evm10
symbolic-execution10
python10
ethereum10
binarydiff9
solidity9
program-analysis8
z37
testing6
Programming languages (6)
Github contributions (5)
trailofbits/manticore
Nov 2017 - Apr 2018
Symbolic execution tool
Role in this project:
Back-end Developer
Back-end DeveloperContributions:8 commits, 8 PRs, 2 comments in 4 months
Contributions summary:Arun primarily focused on improving the Manticore symbolic execution tool's functionality and stability. They addressed several issues through code changes, including fixing bugs related to EVM (Ethereum Virtual Machine) operations and Solidity compilation. The user also implemented improvements in the tool's output generation, and streamlined legacy CLI flags, and refactored EVM code.
symbolic-executionbinary-analysispythonsmtethereum
arunjohnkuruvilla/RansomwareHoneypot
Apr 2017 - Apr 2017
Contributions:182 commits, 179 pushes, 2 branches in 17 days
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.