Email: [email protected]
Web: linardarquint.com
Hi, my name’s Linard and I’m a doctoral student at ETH Zurich under the supervision of Prof. Dr. Peter Müller. In my research, I develop techniques to prove that a program implements a security protocol and satisfies security properties, which also includes that cryptographic libraries are used correctly. At the moment, I’m interning with Amazon Web Services (AWS) in Portland, OR.