News2

I successfully defended my master’s thesis at the Information Security Group of ETH Zurich, titled “Mechanized Data Consistency Models for Distributed Database Transactions”, with a perfect score (6/6)!