2 papers
cs.CR2020
Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations
Ipsita Koley, Saurav Kumar Ghosh, Soumyajit Dey +6
We consider the problem of securing a given control loop implementation of a cyber-physical system (CPS) in the presence of Man-in-the-Middle attacks on data exchange between plant…
cs.DC2017
An Executable Sequential Specification for Spark Aggregation
Yu-Fang Chen, Chih-Duo Hong, Ondřej Lengál +3
Spark is a new promising platform for scalable data-parallel computation. It provides several high-level application programming interfaces (APIs) to perform parallel data aggregat…