Sound & Efficient Generation of DOP Exploits via Programming Language Synthesis [pdf](ilyasergey.net)19 points by matt_d 1 year ago | 0 comments
Mostly Automated Proof Repair for Verified Libraries [pdf](ilyasergey.net)24 points by ghuntley 3 years ago | 6 comments
![Screenshot of ilyasergey.net: Sound & Efficient Generation of DOP Exploits via Programming Language Synthesis [pdf]](https://hn.urlbox.com/shots/renders/2025/2/2/9e2910ba-01a4-4319-8d23-023687683fb7.jpg)
![Screenshot of ilyasergey.net: Mostly Automated Proof Repair for Verified Libraries [pdf]](https://hn.urlbox.com/shots/renders/2023/6/23/de2c61e2-18ad-4538-8515-420f7ba4bef6.jpg)