One focus of this research area is to explore and harness the ultimate limits of algorithmic techniques for solving hard computational problems, particularly on graphs. Pushing forward the theoretical foundations in this area will allow us to reap the rewards in practice many times over. On the other hand, the hardness of certain computational problems also forms the basis of cryptography as we know it today.
Proceedings of the 33rd USENIX Security Symposium33rd USENIX Security Symposium
45th IEEE Symposium on Security and Privacy45th IEEE Symposium on Security and Privacy
Proceedings of the 16th ACM Workshop on Artificial Intelligence and Security (AISec '23)16th ACM Workshop on Artificial Intelligence and Security