research
∙
04/11/2023
TREBUCHET: Fully Homomorphic Encryption Accelerator for Deep Computation
Secure computation is of critical importance to not only the DoD, but ac...
share
research
∙
03/30/2023
RPU: The Ring Processing Unit
Ring-Learning-with-Errors (RLWE) has emerged as the foundation of many i...
research
∙
07/22/2022
Towards the shortest DRAT proof of the Pigeonhole Principle
The Pigeonhole Principle (PHP) has been heavily studied in automated rea...
research
∙
03/17/2020
