Posts by Collection

ins

portfolio

CArmor

CArmor is a compiler extension that splits a C program into two partitions according to security annotations.

Scivik

Scivik is an automated toolchain that formally verifies the functional correctness of Yul, the intermediate representation of Ethereum smart contracts.

Serverlessnet

An IoT network prototyping software with the integration of serverless architecture

publications

[QIP 2020] Communication over Continuous Quantum Secure Dialogue using Einstein-Podolsky-Rosen States [PDF] [Poster]

Shaokai Lin, Zichuan Wang, Lior Horesh

With the emergence of quantum computing and quantum networks, many communication protocols that take advantage of the unique properties of quantum mechanics to achieve a secure bidirectional exchange of information, have been proposed. In this study, we propose a new quantum communication protocol, called Continuous Quantum Secure Dialogue (CQSD), that allows two parties to continuously exchange messages without halting while ensuring the privacy of the conversation. Compared to existing protocols, CQSD improves the efficiency of quantum communication. In addition, we offer an implementation of the CQSD protocol using the Qiskit framework. Finally, we conduct a security analysis of the CQSD protocol in the context of several common forms of attack.

talks

teaching

Teaching experience 1

Undergraduate course, University 1, Department, 2014

This is a description of a teaching experience. You can use markdown like any other post.

Teaching experience 2

Workshop, University 1, Department, 2015

This is a description of a teaching experience. You can use markdown like any other post.