Login / Signup
CirC: Compiler infrastructure for proof systems, software verification, and more.
Alex Ozdemir
Fraser Brown
Riad S. Wahby
Published in:
IEEE Symposium on Security and Privacy (2022)
Keyphrases
</>
artificial intelligence
management system
general purpose
distributed systems
building blocks
complex systems
mission critical
data sets
multimedia
expert systems
mobile devices
peer to peer
computing environments
autonomous systems
distributed storage