1 citations · 1 across the 4 of their papers we have counts for
4 papers
Delay-Induced Watermarking for Detection of Replay Attacks in Linear Systems
Christoforos Somarakis, Raman Goyal, Erfaun Noorani +1
A state-feedback watermarking signal design for the detection of replay attacks in linear systems is proposed. The control input is augmented with a random time-delayed term of the…
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…
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…
Information-Theoretically Secure Three-Party Computation with One Corrupted Party
Ye Wang, Prakash Ishwar, Shantanu Rane
The problem in which one of three pairwise interacting parties is required to securely compute a function of the inputs held by the other two, when one party may arbitrarily deviat…