The Veracruz framework, for defining flexible and efficient multi-party computations. Veracruz aims to support common use-cases for advanced cryptographic techniques like homomorphic encryption, secure-multi-party computations, and similar.
Learn more about Veracruz at Github https://github.com/veracruz-project/veracruz
Christopher Haster is a Research Engineer in the system and security group at Arm Research and a member of the Veracruz project. His focus is on resource constrained devices, with an interest in non-traditional systems and languages. His past work includes LittleFS, a power-resilient RAM-bounded filesystem, and Bento-boxes, a modular system for compartmentalizing software on microcontrollers.
Christopher Haster is a Research Engineer in the system and security group at Arm Research and a member of the Veracruz project. His focus is on resource constrained devices, with an interest in non-traditional systems and languages. His past work includes LittleFS, a power-resilient RAM-bounded filesystem, and Bento-boxes, a modular system for compartmentalizing software on microcontrollers.
Derek Miller is a principal research engineer in Arm’s Systems and Security Group. His background includes work in practical cryptography, confidential compute, and the boundaries between hardware and software design.
Derek Miller is a principal research engineer in Arm’s Systems and Security Group. His background includes work in practical cryptography, confidential compute, and the boundaries between hardware and software design.
Dominic Mulligan is a research engineer in the Systems and Security group at Arm Research, Cambridge, and a member of the Veracruz project. His research interests include confidential compute, distributed systems, and formal methods.
Dominic Mulligan is a research engineer in the Systems and Security group at Arm Research, Cambridge, and a member of the Veracruz project. His research interests include confidential compute, distributed systems, and formal methods.
Shale Xiong is a Research Engineer in the system and security group at Arm Research. He is a member of the Veracruz project. Prior to Arm, he received PhD in Computer Science from Verified Trustworthy Software Specification Group, Dept. of Computing, Imperial College, supervised by Prof. Philippa Gardner.
Shale Xiong is a Research Engineer in the system and security group at Arm Research. He is a member of the Veracruz project. Prior to Arm, he received PhD in Computer Science from Verified Trustworthy Software Specification Group, Dept. of Computing, Imperial College, supervised by Prof. Philippa Gardner.
