3 citations · 4 across the 2 of their papers we have counts for
3 papers
Codexity: Secure AI-assisted Code Generation
Sung Yong Kim, Zhiyu Fan, Yannic Noller +1
Despite the impressive performance of Large Language Models (LLMs) in software development activities, recent studies show the concern of introducing vulnerabilities into software…
Fairness-guided SMT-based Rectification of Decision Trees and Random Forests
Jiang Zhang, Ivan Beschastnikh, Sergey Mechtaev +1
Data-driven decision making is gaining prominence with the popularity of various machine learning models. Unfortunately, real-life data used in machine learning training may captur…
oo7: Low-overhead Defense against Spectre Attacks via Program Analysis
Guanhua Wang, Sudipta Chattopadhyay, Ivan Gotovchits +2
The Spectre vulnerability in modern processors has been widely reported. The key insight in this vulnerability is that speculative execution in processors can be misused to access…