3 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.CR2024★ 2 cited
Enhancing Security of AI-Based Code Synthesis with GitHub Copilot via Cheap and Efficient Prompt-Engineering
Jakub Res, Ivan Homoliak, Martin Perešíni +3
AI assistants for coding are on the rise. However one of the reasons developers and companies avoid harnessing their full potential is the questionable security of the generated co…
cs.AR2016★ 3 cited
HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems
Lukáš Charvát, Aleš Smrčka, Tomáš Vojnar
HADES is a fully automated verification tool for pipeline-based microprocessors that aims at flaws caused by improperly handled data hazards. It focuses on single-pipeline micropro…