Internship announcement for static analysis of smart contracts
Title: Static Analysis of EVM Bytecodes to determine an access specification of public entry functions Typically a smart contract has public entry functions that get called by the transactions. The scope of this internship is to determine "What data may be accessed by a public entry function?" using a standard program analysis technique. The internship involves finding the best research & tools available for such a project and implementing this static analysis and integrating into Supra technology stack. Time period: >= 4 months Remote Work Company: Supra Oracles, https://supra.com/ Contact: r.ramesh@supraoracles.com
If you are interested in this internship, use the following link to apply officially on the company's website: https://supra.com/careers/5154677004/ Do not send your resume's to r.ramesh@supraoracles.com, as it will be ignored. Those who have already sent resumes to this e-mail should also apply on the above link. On 2024-04-16 14:26, M Praveen wrote:
Title: Static Analysis of EVM Bytecodes to determine an access specification of public entry functions
Typically a smart contract has public entry functions that get called by the transactions. The scope of this internship is to determine "What data may be accessed by a public entry function?" using a standard program analysis technique. The internship involves finding the best research & tools available for such a project and implementing this static analysis and integrating into Supra technology stack.
Time period: >= 4 months
Remote Work
Company: Supra Oracles, https://supra.com/
Contact: r.ramesh@supraoracles.com
_______________________________________________ FMIndia mailing list -- fmindia@cmi.ac.in To unsubscribe send an email to fmindia-leave@cmi.ac.in
https://fmindia.cmi.ac.in/ _______________________________________________
participants (2)
-
M Praveen -
praveenm