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(a)supraoracles.com _______________________________________________ FMIndia mailing list -- fmindia(a)cmi.ac.in To unsubscribe send an email to fmindia-leave(a)cmi.ac.in https://fmindia.cmi.ac.in/ _______________________________________________