James Larisch, Waqar Aqeel, Michael Lum, Yaelle Goldschlag, Leah Kannan, Kasra Torshizi, Yujie Wang, Taejoong Chung, Dave Levin, Bruce M. Maggs, Alan Mislove, Bryan Parno, Christo Wilson. Hammurabi: A Framework for Pluggable, Logic-Based X.509 Certificate Validation Policies. In Heng Yin, Angelos Stavrou, Cas Cremers, Elaine Shi, editors, Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022. pages 1857-1870, ACM, 2022. [doi]
Abstract is missing.