3 papers
cs.CR2026
Function Recovery Attacks in Gate-Hiding Garbled Circuits using SAT Solving
Chao Yin, Zunchen Huang, Chenglu Jin +2
Semi-Private Function Evaluation (SPFE) enables joint computation while protecting both input data and the function itself. A practical instantiation is gate-hiding garbled circuit…
cs.SE2026
On the Abolition of the "ICSE Paper" and the Adoption of the "Registered Proposal" and the "Results Report"
Fabio Massacci, Winnie Mbaka
To address the 'novelty-vicious cycle' and the 'replicability crisis' of the field (both discussed in the survey) we propose abolishing the "ICSE paper" as we know it and replacing…
cs.SE2026
Repairing vulnerabilities without invisible hands. A differentiated replication study on LLMs
Maria Camporese, Fabio Massacci
Background: Automated Vulnerability Repair (AVR) is a fast-growing branch of program repair. Recent studies show that large language models (LLMs) outperform traditional techniques…