Hammurabi: A Framework for Pluggable, Logic-Based X.509 Certificate Validation Policies.
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
Browse the full CCS paper archive.