SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool Paper)

Namrata Jain, Kosuke Kaneko, Subodh Sharma

研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

フィンガープリント

「SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool Paper)」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Computer Science