Publisher
Springer Nature Switzerland
Reference40 articles.
1. Alturki, M.A., Ban Kirigin, T., Kanovich, M., Nigam, V., Scedrov, A., Talcott, C.: On the formalization and computational complexity of resilience problems for cyber-physical systems. In: Theoretical Aspects of Computing–ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings, pp. 96–113. Springer, Berlin (2022)
2. Arora, S., Barak, B.: Complexity Theory: A Modern Approach. Cambridge University Press Cambridge (2009)
3. Ban Kirigin, T., Comer, J., Kanovich, M., Scedrov, A., Talcott, C.: Technical report: Time-bounded resilience (2024). arXiv:2401.05585
4. Banescu, S., Ochoa, M., Pretschner, A.: A framework for measuring software obfuscation resilience against automated attacks. In: 2015 IEEE/ACM 1st International Workshop on Software Protection, pp. 45–51 (2015)
5. Bauer, E.: Design for Reliability: Information and Computer-Based Systems. Wiley, New York (2011)