Verification of classical certificates via nested certificates and nested certificate paths.

Albert Levi, Mehmet Ufuk aglayan

Browse the full ICCCN paper archive.