Sayali Kate

According to our database, Sayali Kate authored at least 4 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

PHYSFRAME: type checking physical frames of reference for robotic systems.

Sayali Kate, Michael Chinn, Hongjun Choi, Xiangyu Zhang, Sebastian G. Elbaum

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

2020

Software-based Realtime Recovery from Sensor Attacks on Robotic Vehicles.

Hongjun Choi, Sayali Kate, Yousra Aafer, Xiangyu Zhang, Dongyan Xu

Proceedings of the 23rd International Symposium on Research in Attacks, 2020

Cyber-Physical Inconsistency Vulnerability Identification for Safety Checks in Robotic Vehicles.

Hongjun Choi, Sayali Kate, Yousra Aafer, Xiangyu Zhang, Dongyan Xu

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2018

Phys: probabilistic physical unit assignment and inconsistency detection.

Sayali Kate, John-Paul Ore, Xiangyu Zhang, Sebastian G. Elbaum, Zhaogui Xu

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018