Prof. Andrew Miller from C3SR was part of the team led by IBM to win the recent $14.7M grant for their project, titled PASCAL, funded by the Homomorphic Encryption Computing Techniques with Overhead Reduction (HECTOR) program of the Intelligence Advanced Research Projects Activity (IARPA).
As part of this effort, Andrew will lead the design of tools that enable reasoning about the security of the Blaze system.
Congratulations, Andrew!
