Graduate Research Assistant
Current• Applying traditional software analysis techniques like symbolic execution and fuzzing to create new tools and approaches for testing Smart Contract on different Blockchain platform like Ethereum, Cardona, etc.• Researching how to reduce smart contracts’ search space for symbolic execution and fuzzing by using Static Analysis or Machine learning techniques.• Tested various research tools to check performance and reliability in finding vulnerabilities.