The researchers have joined forces this month in the Maryland Cybersecurity Center to study pressing security issues in the area of encrypted databases.
The award recognizes outstanding IACR members for technical and professional contributions that advance the science, technology, and practice of cryptology and related fields.
He will develop next-generation programming languages that integrate strong correctness guarantees and verification technology with the aim of elevating the reliability of software.
