Introduction to Veracruz

Abstract

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

Key Topics

  • Project Goals and philosophy
  • Simplifying Attestation for the Client
  • Abstracting interfaces for WASM clients
  • Embedded Clients

Speakers

Christopher Haster

Research Engineer at Arm

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.

Read More

Derek Miller

Principal Research Engineer at Arm Limited

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.

Read More

Dominic Mulligan

Research Engineer at Arm Limited

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.

Read More

Shale Xiong

Research Engineer at Arm

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.

Read More