Author:
Abadi Martín,Gordon Andrew D.
Cited by
163 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Hardware and Software Cyber Security Tools;AI Tools for Protecting and Preventing Sophisticated Cyber Attacks;2023-08-10
2. Towards Reliable Distributed Quantum Computing on Quantum Interconnects;Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming;2023-03-13
3. Industrial Control Systems Security via Runtime Enforcement;ACM Transactions on Privacy and Security;2022-11-09
4. Research on semantics and algorithm of formal analysis tool Scyther;2022 IEEE 4th International Conference on Civil Aviation Safety and Information Technology (ICCASIT);2022-10-12
5. Temporal Variability of Temperature, Precipitation and Drought Indices in Hyper-Arid Region of Northwest China for the Past 60 Years;Atmosphere;2022-09-24