Pedro Alves profile picture

Pedro Alves

PhD in Computer Science

Privacy-preserving computing ยท Homomorphic encryption ยท CUDA / GPGPU

๐Ÿ‡ง๐Ÿ‡ท Brazil

About Me

I am Pedro Alves, a PhD in Computer Science with a passion for privacy-preserving technologies, homomorphic encryption, and secure cloud computing.

My research focuses on developing efficient implementations of cryptographic schemes, particularly homomorphic encryption, to enable computation over encrypted data without compromising privacy. I have worked extensively with GPGPU implementations using CUDA to accelerate cryptographic operations.

I am passionate about open-source software and believe in making privacy-preserving technologies accessible to everyone.

Onwards!

Education

PhD in Computer Science

2023

Computer Science ยท Institute of Computing, University of Campinas

Thesis: Cryptographic engineering of privacy-preserving algorithms

This is a compilation thesis composed of published or under revision papers that explore different aspects of privacy-preserving computing, such as the efficient implementation of primitives, protocols, and applications. Our work offers a framework for an always-encrypted database, which can store ciphertexts and answer encrypted queries without decryption. In the same direction, we also study the case of large-scale data collection from smart meters. On the other hand, we also present papers that explore the efficient implementation of the arithmetic used by modern fully homomorphic encryption schemes, such as BFV and CKKS. We experiment with different methods targeting the CUDA architecture and show how the cryptosystems can be accelerated through the proper choice for the data structure, locality, and algorithm used on the polynomial multiplication.

View in Unicamp Repository โ†’

Master's Degree

2016

Computer Science ยท Institute of Computing, University of Campinas

Thesis: Efficient GPGPU implementation of the Leveled Fully Homomorphic Encryption scheme YASHE

This work investigates strategies to efficiently implement the leveled fully homomorphic encryption scheme YASHE. It employs the CUDA platform to provide parallel processing capabilities and the Chinese Remainder Theorem to replace expensive big integer arithmetic by simpler instructions natively supported in hardware. Moreover, this work offers a comparison between the Fast Fourier Transform and the Number-Theoretic Transform for reducing the complexity of polynomial multiplication. As a result of this research, the cuYASHE library was developed and made available to the community. When compared with the state-of-the-art implementation in CPU, GPU and FPGA, it shows speed-ups for all operations. In particular, there was an improvement between 6 and 35 times for polynomial multiplication. This operation is performance-critical for evaluating any function over encrypted data, demonstrating that GPUs are an appropriate technology for bootstrapping privacy-preserving cloud computing environments.

View in Unicamp Repository โ†’

Bachelor's Degree

2010

Applied Mathematics ยท Institute of Mathematics, Statistics and Scientific Computing (IMECC), University of Campinas

Publications

Academic papers, conference proceedings, and research output

Conference 2016

A framework for searching encrypted databases

XVI Brazilian Symposium on Information and Computational Systems Security

Best paper runner-up!
Conference 2016

Efficient GPGPU implementation of the Leveled Fully Homomorphic Encryption scheme YASHE

Congress of the Brazilian Computer Society

Thesis 2016

Efficient GPGPU implementation of the Leveled Fully Homomorphic Encryption scheme YASHE

Institute of Computing, University of Campinas

Conference 2011

Ray tracing in GPGPUs

12th International Congress of the Brazilian Geophysical Society

Projects

Open source projects and contributions

Project 2022

TFHE-rs

Pure Rust implementation of TFHE for boolean and integer arithmetics over encrypted data. Core cryptographic library with Rust, C, and WASM APIs. Contributor to this major open-source project by Zama, implementing programmable bootstrapping and advanced FHE features.

RustTFHEHomomorphic EncryptionCryptographyOpen Source
View on GitHub โ†’
Project 2024

Farewell

Decentralized application (dApp) for posthumous encrypted messages using smart contracts on fhEVM. Features check-in mechanism, grace period, encrypted message storage, and delivery system. Deployed on Ethereum Sepolia testnet as a proof-of-concept.

BlockchainfhEVMSolidityPrivacySmart Contracts
View on GitHub โ†’

Get in Touch