research
∙
11/26/2022
Safety Verification of Declarative Smart Contracts
Smart contracts manage a large number of digital assets nowadays. Bugs i...
share
research
∙
11/03/2022
AdaChain: A Learned Adaptive Blockchain
This paper presents AdaChain, a learning-based blockchain framework that...
research
∙
07/27/2022
Declarative Smart Contracts
This paper presents DeCon, a declarative programming language for implem...
research
∙
07/21/2022
Templating Shuffles
Cloud data centers are rapidly evolving. At the same time, large-scale d...
research
∙
05/09/2022
The Bedrock of BFT: A Unified Platform for BFT Protocol Design and Implementation
Byzantine fault-tolerant protocols cover a broad spectrum of design dime...
research
∙
10/12/2021
NetRep: Automatic Repair for Network Programs
Debugging imperative network programs is a challenging task for develope...
research
∙
07/22/2021
Qanaat: A Scalable Multi-Enterprise Permissioned Blockchain System with Confidentiality Guarantees
Today's large-scale data management systems need to address distributed ...
research
∙
01/21/2021
Saguaro: Efficient Processing of Transactions in Wide Area Networks using a Hierarchical Permissioned Blockchain
The next frontier for the Internet leading by innovations in mobile comp...
research
∙
10/13/2020
Session-layer Attack Traffic Classification by Program Synthesis
Writing classification rules to identify malicious network traffic is a ...
research
∙
09/09/2020
RapidLearn: A General Purpose Toolkit for Autonomic Networking
Software Defined Networking has unfolded a new area of opportunity in di...
research
∙
12/01/2018
Sunstar: A Cost-effective Multi-Server Solution for Reliable Video Delivery
In spite of much progress and many advances, cost-effective, high-qualit...
research
∙
02/20/2018