LOCALPKI: A User-Centric Formally Proven Alternative to PKIX.

Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel

Browse the full SECRYPT paper archive.