Taxonomy of of certifiably robust approaches against \(\ell_p\) adversary. Full details available in SoK

This is the accompanying website of SoK: Towards Effective Automated Vulnerability Repair.

Tools: We provide current AVR tools status and summarize issues in open source. Also, we provide recommendations for good practice

Case Studies: In the case studies page, we provide the analysis of some extended cases and the reason why/why not be repaired.