The evolution of program analysis approaches in the era of AI

Efficient Normalized Reduction and Generation of Equivalent Multivariate Binary...

Arnau Gàmez-Montolio (City, University of London; Activision Research), Enric Florit (Universitat de Barcelona), Martin Brain (City, University of London), Jacob M. Howe (City, University of London)

Applying Accessibility Metrics to Measure the Threat Landscape for...

John Breton, AbdelRahman Abdou (Carleton University)

Faster Secure Comparisons with Offline Phase for Efficient Private...

Florian Kerschbaum (University of Waterloo), Erik-Oliver Blass (Airbus), Rasoul Akhavan Mahdavi (University of Waterloo)

SynthDB: Synthesizing Database via Program Analysis for Security Testing...

An Chen (University of Georgia), Jiho Lee (University of Virginia), Basanta Chaulagain (University of Georgia), Yonghwi Kwon (University of Virginia), Kyu Hyung Lee (University of Georgia)

The evolution of program analysis approaches in the era of AI

View More Papers

Efficient Normalized Reduction and Generation of Equivalent Multivariate Binary...

Applying Accessibility Metrics to Measure the Threat Landscape for...

Faster Secure Comparisons with Offline Phase for Efficient Private...

SynthDB: Synthesizing Database via Program Analysis for Security Testing...