The Cantor-Schröder-Bernstein theorem
Intuitive proof of the Cantor-Schröder-Bernstein theorem
Hi there! Thanks for taking the time to visit. I am currently a postdoctoral fellow at the Systopia Lab at UBC, Vancouver.
I am interested in making systems more secure while maintaining high performance. My research primarily explores hardware-based security mechanisms, such as trusted execution environments (TEEs), that enable secure processing of plaintext data, while also investigating cryptographic approaches, such as homomorphic encryption (HE) and multi-party computation (MPC), that enable computation on encrypted data. I leverage both hardware- (such as in-memory processing) and software-based techniques to improve the performance, scalability, and practicality of these security solutions. Simply put, my research balances robust security with high performance
.
Prior to UBC, I was a postdoctoral researcher at the University of Neuchâtel (UniNE), Switzerland, where I equally completed my PhD in Computer Science on Enhancing Security and Performance in Trusted Execution Environments in February 2024, under the supervision of Prof. Pascal Felber, Dr. Valerio Schiavoni, and Prof. Alain Tchana.
In my free time I am an electronics hobbyist who loves tinkering with microcontrollers to build interesting automation projects; I recently got a 3D-printer, and I’ve been building some fun toy robots. When I’ve got a bit more breathing room, I dive into Kali Linux and explore the art of ethical hacking. I also manage The Tech Hub, a programming and technology blog.
I have been awarded a fellowship by the Swiss National Science Foundation!
Our paper on “PIM-CACHE: Content-Aware Copy with High-Efficiency” has been accepted at Middleware’26
Our paper on “IM-PIR: In-Memory Private Information Retrieval” has been accepted at Middleware’25
Our paper on “Practical Secure Aggregation by Combining Cryptography and Trusted Execution Environments” has been accepted at DEBS’25
Our paper titled “On Real-Time Guarantees of Intel SGX and Intel TDX” has been accepted at ECRTS’25. This was a joint effort with ABB Research.
Accepted paper at SRDS’24, Charlotte, USA
Posts on tech and research
Intuitive proof of the Cantor-Schröder-Bernstein theorem
automate your builds with make.
useful software for graduate research.
A selected list. See the full list of publications or my Google Scholar.
Secure and persistent ML with Intel SGX
Simbox fraud detection with the ELK stack
C++ implementation for different image processing algorithms
Embedded development with microcontrollers
3D-printed mini tank with dual N20 drive, ESP32-S3, and pan camera
Short assembly video for the 3D-printed mini tank.
3-inch FPV racing drone with ESP32-S3 flight controller
Interactive solar system in the browser