#SecAlgo

This directory currently contains some preliminary work for a project whose
goal is the creation of of higher-level abstractions for encryption and other
security functions in order to help address the problem of security tool
misuse among developers of secure software.

Working Protocols Examples (as of 1/31/2017): 
    * ProtocolImplementations/New/ds.da
    * ProtocolImplementations/New/ns-sk.da
    * ProtocolImplementations/New/ns-pk.da
    * ProtocolImplementations/New/or.da
    * ProtocolImplementations/New/wl.da
    * ProtocolImplementations/New/ya.da
    * ProtocolImplementations/New/eke.da
    * ProtocolImplementations/New/eap_archie.da
    * ProtocolImplementations/New/dhke-1.da
    * ProtocolImplementations/New/iso9798-3-4.da
    * ProtocolImplementations/New/sdh.da