ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2310.18834
  4. Cited By
Automating the Correctness Assessment of AI-generated Code for Security
  Contexts

Automating the Correctness Assessment of AI-generated Code for Security Contexts

28 October 2023
Domenico Cotroneo
Alessio Foggia
Cristina Improta
Pietro Liguori
R. Natella
ArXivPDFHTML

Papers citing "Automating the Correctness Assessment of AI-generated Code for Security Contexts"

4 / 4 papers shown
Title
Tadashi: Enabling AI-Based Automated Code Generation With Guaranteed
  Correctness
Tadashi: Enabling AI-Based Automated Code Generation With Guaranteed Correctness
Emil Vatai
Aleksandr Drozd
Ivan R. Ivanov
Yinghao Ren
M. Wahib
44
1
0
04 Oct 2024
Enhancing AI-based Generation of Software Exploits with Contextual
  Information
Enhancing AI-based Generation of Software Exploits with Contextual Information
Pietro Liguori
Cristina Improta
R. Natella
B. Cukic
Domenico Cotroneo
27
0
0
05 Aug 2024
Enhancing Robustness of AI Offensive Code Generators via Data
  Augmentation
Enhancing Robustness of AI Offensive Code Generators via Data Augmentation
Cristina Improta
Pietro Liguori
R. Natella
B. Cukic
Domenico Cotroneo
AAML
30
2
0
08 Jun 2023
Shellcode_IA32: A Dataset for Automatic Shellcode Generation
Shellcode_IA32: A Dataset for Automatic Shellcode Generation
Pietro Liguori
Erfan Al-Hossami
Domenico Cotroneo
R. Natella
B. Cukic
Samira Shaikh
32
27
0
27 Apr 2021
1