Scivik
Scivik is an automated toolchain that formally verifies the functional correctness of Yul, the intermediate representation of Ethereum smart contracts.
Portfolio
CArmor
CArmor is a compiler extension that splits a C program into two partitions according to security annotations.
Continuous Quantum Secure Dialogue (CQSD) Protocol
An efficient and secure quantum communication protocol
Serverlessnet
An IoT network prototyping software with the integration of serverless architecture