89 citations · 103 across the 15 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.CR2023★ 1 cited
Incentivizing Gigaton-Scale Carbon Dioxide Removal via a Climate-Positive Blockchain
Jonathan Bachman, Sujit Chakravorti, Shantanu Rane +1
A new crypto token is proposed as an incentive mechanism to remove CO2 from the atmosphere permanently at gigaton scale. The token facilitates CO2 removal (CDR) by providing financ…
cs.SE2023
CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems
Ali Shokri, Alexandre Perez, Souma Chowdhury +6
We introduce a novel approach to automatically synthesize a mathematical representation of the control algorithms implemented in industrial cyber-physical systems (CPS), given the…