Now showing items 1-1 of 1

    • Enabling Machine-aided Cryptographic Design 

      Akinyele, Joseph (Johns Hopkins University, 2013-11-13)
      The design of cryptographic primitives such as digital signatures and public-key encryption is very often a manual process conducted by expert cryptographers. This persists despite the fact that many new generic or ...