research
∙
04/17/2023
Unpacking How Decentralized Autonomous Organizations (DAOs) Work in Practice
Decentralized Autonomous Organizations (DAOs) have emerged as a novel wa...
share
research
∙
03/27/2023
On the Positivity of the Discrete Green's Function for Unstructured Finite Element Discretizations in Three Dimensions
The aim of this paper is twofold. First, we prove L^p estimates for a re...
research
∙
10/04/2022
Coordinated Science Laboratory 70th Anniversary Symposium: The Future of Computing
In 2021, the Coordinated Science Laboratory CSL, an Interdisciplinary Re...
research
∙
06/08/2022
Hidden Markov Models with Momentum
Momentum is a popular technique for improving convergence rates during g...
research
∙
04/24/2022
Exploring Security Practices of Smart Contract Developers
Smart contracts are self-executing programs that run on blockchains (e.g...
research
∙
12/27/2021
Mechanics-based Analysis on Flagellated Robots
We explore the locomotion of soft robots in granular medium (GM) resulti...
research
∙
07/09/2021
Publicly Auditable MPC-as-a-Service with succinct verification and universal setup
In recent years, multiparty computation as a service (MPCaaS) has gained...
research
∙
03/09/2021
Simple Flagellated Soft Robot for Locomotion near Air-Fluid Interface
A wide range of microorganisms, e.g. bacteria, propel themselves by rota...
research
∙
02/28/2021
Hierarchical Inducing Point Gaussian Process for Inter-domain Observations
We examine the general problem of inter-domain Gaussian Processes (GPs):...
research
∙
01/19/2021
Safer Illinois and RokWall: Privacy Preserving University Health Apps for COVID-19
COVID-19 has fundamentally disrupted the way we live. Government bodies,...
research
∙
01/06/2021
Adaptive Synthetic Characters for Military Training
Behaviors of the synthetic characters in current military simulations ar...
research
∙
03/27/2020
An Empirical Analysis of Privacy in the Lightning Network
Payment channel networks, and the Lightning Network in particular, seem ...
research
∙
02/16/2019
Brief Note: Asynchronous Verifiable Secret Sharing with Optimal Resilience and Linear Amortized Overhead
In this work we present hbAVSS, the Honey Badger of Asynchronous Verifia...
research
∙
12/03/2018
TxProbe: Discovering Bitcoin's Network Topology Using Orphan Transactions
Bitcoin relies on a peer-to-peer overlay network to broadcast transactio...
research
∙
05/28/2018
Dandelion++: Lightweight Cryptocurrency Networking with Formal Anonymity Guarantees
Recent work has demonstrated significant anonymity vulnerabilities in Bi...
research
∙
04/14/2018
Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contract Execution
Smart contracts are applications that execute on blockchains. Today they...
research
∙
06/03/2015
Celeste: Variational inference for a generative model of astronomical images
We present a new, fully generative model of optical telescope image sets...
research
∙
01/05/2014