Login / Signup
Efficient Proofs of Software Exploitability for Real-world Processors.
Matthew Green
Mathias Hall-Andersen
Eric Hennenfent
Gabriel Kaptchuk
Benjamin Perez
Gijs Van Laer
Published in:
Proc. Priv. Enhancing Technol. (2023)
Keyphrases
</>
real world
wide range
software design
data sets
software development
software package
parallel execution
case study
synthetic data
software systems
parallel algorithm
software architecture
efficient implementation
software tools
parallel architectures