Author:
Nigam Vivek,Talcott Carolyn,Aires Urquiza Abraão
Publisher
Springer International Publishing
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems;Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control;2023-05-09
2. So Near and Yet So Far – Symbolic Verification of Distance-Bounding Protocols;ACM Transactions on Privacy and Security;2022-05-31
3. Practical EMV Relay Protection;2022 IEEE Symposium on Security and Privacy (SP);2022-05
4. Specifying and Model Checking Distributed Control Algorithms at Meta-level;The Computer Journal;2021-09-22
5. Formal Impact Metrics for Cyber-physical Attacks;2021 IEEE 34th Computer Security Foundations Symposium (CSF);2021-06