Publications

Conference papers

Replicated state machines without replicated execution
IEEE Symposium on Security and Privacy, May 2020

PDF Video DOI

CHAINIAC: Proactive software-update transparency via collectively signed skipchains and verified builds
USENIX Security Symposium, August 2017

PDF Code Project Slides Video

Journal articles

Reducing metadata leakage from encrypted files and communication with PURBs
Proceedings on Privacy Enhancing Technologies, Vol. 2019, No. 4, July 2019

PDF Code Slides Video DOI Press Coverage Real-World Use

Axiom - DTLS-based secure IoT group communication
ACM Transactions on Embedded Computing Systems, 16(3), 66, April 2017

PDF Code Project DOI

Preprints

Crux: Locality-Preserving Distributed Services
arXiv:1405.0637, May 2018

Preprint

Talks

Reducing Metadata Leakage from Encrypted Files and Communication with PURBs
CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds

Experience

 
 
 
 
 
August 2019 – October 2019
Cambridge, UK

Research Intern

Confidential Computing Group, Microsoft Research

Information-flow control in smart contracts. Advisor: Santiago Zanella-Beguelin.
 
 
 
 
 
August 2018 – November 2018
Redmond, US

Research Intern

Systems Security and Privacy Group, Microsoft Research

Improving scalability of replicated state machines and, in particular, smart contracts in Ethereum using verifiable computation. Advisor: Srinath Setty.
 
 
 
 
 
January 2015 – June 2015
Stockholm, Sweden

External Master’s Thesis

Security Lab, RISE Swedish Institute of Computer Science

Securing group communication in the Internet-of-Things. Advisors: Marco Tiloca and Shahid Raza.
 
 
 
 
 
June 2014 – August 2014
Lausanne, Switzerland

Research Intern

Laboratory for cryptologic algorithms, EPFL

Integer factorization and analysis of public-key ecosystem weaknesses. Advisor: Arjen Lenstra.

Projects

*

Security of software-update systems

A software-update framework that provides decentralized enforcement of development and release processes, independent verification of source-to-binary correspondence, transparency via a collectively-signed update timeline, and efficient release validation by arbitrarily out-of-date clients.

The Collective Authority (Cothority) Framework

Joint DeDiS project that offers a framework for simulating and deploying decentralized and distributed cryptographic protocols.

tinygroupdtls

Lightweight DTLS implementation for the Contiki OS (TinyDTLS) with an extension for secure group communication. Our extension enables securing multicast messages and their corresponding unicast responses.

Teaching

I have supervised four master’s theses, three master’s and two bachelor’s semester projects, and served as a teaching assistant for the following courses at EPFL:

  • CS-119: Information, computation and communication (spring 2020)
  • CS-234: Technologies of societal self-organization (fall 2019)
  • CS-438: Decentralized systems engineering (fall 2017, 2018)
  • COM-402: Information security and privacy (spring 2017, 2018)
  • MATH-101(e): Analysis I (fall 2016)
  • COM-102: Advanced information, computation, communication II (spring 2016)

Service

I have served on the Program Committee of the following conferences and workshops:

  • CryBlock 2020, 2019: Workshop on Cryptocurrencies and Blockchains for Distributed Systems
  • BlockSys 2019: Workshop on Blockchain-enabled Networked Sensor Systems
  • ICBC 2019: IEEE International Conference on Blockchain and Cryptocurrency

I also have been an external reviewer and a sub-reviewer for:

Awards

The Doc.Mobility Fellowship from The Swiss National Science Foundation (2020)

EPFL EDIC Fellowship for Doctoral Studies (2015)

The Swedish Institute Scholarship (2013 - 2015)

Triple Scholar of Vladimir Potanin Fellowship Program (2009, 2011, 2012)