AUTHOREA
Log in Sign Up Browse Preprints

August 31, 2021
Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities
Ahmed Bhayat , Lucas Cordeiro , Giles Reger , et al.
April 28, 2021
Multi-core synthesis and maximum satisfiability applied to optimal sizing of solar ph...
Alessandro Trindade , Edilson Galvão , Lucas Cordeiro , et al.