[PDF][PDF] Proving Security of Cryptographic Protocols using Automated Planning
A Pozanco, A Polychroniadou… - FinPlan …, 2021 - videos.icaps-conference.org
FinPlan 2021, 2021•videos.icaps-conference.org
Lately, financial institutions have started implementing cryptographic protocols for various
privacy-related use cases. One of the key aspects in applying these protocols consists of
proving that they are secure. This paper presents ongoing work on using Automated
Planning for that task. This analysis serves two purposes. On one side, it can help
cryptographic practitioners to analyze some properties of their protocols. On the other hand,
it can help automated planning work on unsolvability to enrich the type of domains they test …
privacy-related use cases. One of the key aspects in applying these protocols consists of
proving that they are secure. This paper presents ongoing work on using Automated
Planning for that task. This analysis serves two purposes. On one side, it can help
cryptographic practitioners to analyze some properties of their protocols. On the other hand,
it can help automated planning work on unsolvability to enrich the type of domains they test …
Abstract
Lately, financial institutions have started implementing cryptographic protocols for various privacy-related use cases. One of the key aspects in applying these protocols consists of proving that they are secure. This paper presents ongoing work on using Automated Planning for that task. This analysis serves two purposes. On one side, it can help cryptographic practitioners to analyze some properties of their protocols. On the other hand, it can help automated planning work on unsolvability to enrich the type of domains they test their systems on.
videos.icaps-conference.org
以上显示的是最相近的搜索结果。 查看全部搜索结果