プログラムの検証

CodeBC: A More Secure Large Language Model for Smart Contract Code Generation in Blockchain

Authors: Lingxiang Wang, Hainan Zhang, Qinnan Zhang, Ziwei Wang, Hongwei Zheng, Jin Dong, Zhiming Zheng | Published: 2025-04-28 | Updated: 2025-05-07
プログラムの検証
性能評価
脆弱性分析
2025.04.28 2025.05.12
Literature Database

LLM Censorship: A Machine Learning Challenge or a Computer Security Problem?

Authors: David Glukhov, Ilia Shumailov, Yarin Gal, Nicolas Papernot, Vardan Papyan | Published: 2023-07-20
セキュリティ分析
プログラムの検証
攻撃手法
2023.07.20 2025.05.12
Literature Database

How Secure is Code Generated by ChatGPT?

Authors: Raphaël Khoury, Anderson R. Avila, Jacob Brunelle, Baba Mamadou Camara | Published: 2023-04-19
セキュリティ分析
プログラムの検証
脆弱性予測
2023.04.19 2025.05.12
Literature Database

Combining Generators of Adversarial Malware Examples to Increase Evasion Rate

Authors: Matouš Kozák, Martin Jureček | Published: 2023-04-14
プログラムの検証
マルウェア検出手法
生成的敵対ネットワーク
2023.04.14 2025.05.12
Literature Database

A Review of Machine Learning Applications in Fuzzing

Authors: Gary J Saavedra, Kathryn N Rodhouse, Daniel M Dunlavy, Philip W Kegelmeyer | Published: 2019-06-13 | Updated: 2019-10-09
セキュリティテスト
プログラムの検証
強化学習
2019.06.13 2025.05.13
Literature Database

NEUZZ: Efficient Fuzzing with Neural Program Smoothing

Authors: Dongdong She, Kexin Pei, Dave Epstein, Junfeng Yang, Baishakhi Ray, Suman Jana | Published: 2018-07-15 | Updated: 2019-07-12
トレーニングデータ生成
プログラムの検証
モデルの設計や精度
2018.07.15 2025.05.13
Literature Database