Miro Haller

Our society increasingly relies on technology in all aspects of life without always understanding the implications and consequences. As more and more devices are connected, the boundaries between physical and digital systems blur, which gives rise to a plethora of security and privacy issues.

It is essential that we analyze wide-deployed cryptographic systems and challenge their claimed security properties. Considering how difficult it is to update the cryptography of such systems due to backward compatibility and their large scale, it is essential to design applications carefully today. Now is the time to build a solid, secure, privacy-preserving foundation with cryptographic agility based on which humanity can enjoy the miracles of digital progress without fearing data misuse, suffering from censorship, or otherwise becoming victim to cybercriminal activities. Privacy-preserving computation and advanced cryptographic techniques — such as multi-party computation and zero-knowledge proofs — often enable us to design data-driven applications that respect privacy in theory. However, in practice, the development of such solutions faces many challenges: side-channel attacks, sparse tool support, diverse requirements, and highly complex processes hinder wide adoption.

I want to contribute to increasing security and spreading privacy without compromising on practicality or usability. I am excited to question and improve the status quo by putting existing systems to the test and contributing ideas to improve or replace them. I am very grateful to get the opportunity to work on these goals during my Ph.D. at UCSD, advised by Nadia Heninger.