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:
IACR Cryptol. ePrint Arch. (2022)
Keyphrases
</>
real world
wide range
high end
data sets
computationally expensive
parallel architectures
software design
software tools
parallel processing
cost effective
data mining
parallel algorithm
software development
highly efficient
theorem proving
information systems
parallel computation
neural network