Papamanthou will provide leadership to the unique center that joins computer scientists and engineers with researchers from across campus in fields such as economics, supply-chain management and the social sciences.
The Council was created by the Maryland General Assembly in 2015 and is charged with reviewing the state’s cyber readiness and developing a comprehensive plan to respond to and recover from attacks.
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.