research
∙
08/04/2023
Incentivizing Gigaton-Scale Carbon Dioxide Removal via a Climate-Positive Blockchain
A new crypto token is proposed as an incentive mechanism to remove CO2 f...
share
research
∙
08/01/2023
CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems
We introduce a novel approach to automatically synthesize a mathematical...
research
∙
03/29/2022
Zero-Query Transfer Attacks on Context-Aware Object Detectors
Adversarial attacks perturb images such that a deep neural network produ...
research
∙
01/03/2019
Secure Two-Party Feature Selection
In this work, we study how to securely evaluate the value of trading dat...
research
∙
12/23/2015
