Zibin Zheng

SliSEは複雑なスマートコントラクトにおける再入可能性の脆弱性検出を改善するよ。

GitHubからChatGPTを使ったいろんなプロジェクトを分析中。

新しいデータセットが、自然言語クエリを使う開発者のコード検索効率を改善するよ。

新しいツールがクロスチェーンスマートコントラクトの脆弱性を特定することを目指してるんだ。

新しいフレームワークがスマートコントラクトの状態戻り脆弱性の検出を改善するよ。

新しい方法が、フェデレーテッドラーニングにおけるデータプライバシーを保ちながら勾配推定を強化する。