Posts by Collection

experience

Samsung Research India Bangalore

Published: May 15, 2018

University of Vienna

Published: December 05, 2018

Microsoft Research India

Published: July 01, 2019

CertiK

Published: May 16, 2022

Carnegie Mellon University

Published: August 29, 2022

CertiK

Published: February 06, 2023

Carnegie Mellon University

Published: May 08, 2023

projects

Low-rate TCP Targetted DoS Attack Simulation

Published: January 01, 2018

CollabChain

Published: November 01, 2018

Embedded OS

Published: September 01, 2023

Verified Datalog Engine

Published: November 01, 2023

publications

Blockchain Research and Applications: A Systematic Mapping Study

Published in , 2019

CollabChain: Blockchain-Backed Trustless Web-Based Volunteer Computing Platform

Published in , 2019

Breeding Unicorns: Developing Trustworthy and Scalable Randomness Beacons

Published in , 2020

Celestial: A Smart Contracts Verification Framework

Published in , 2021

Owl: Compositional Verification of Security Protocols via an Information-Flow Type System

Published in , 2023