[Cryptography] Construction of cryptographic software.

[Henry Baker]

At 03:17 PM 12/2/2014, Tony Arcieri wrote:
>On Tue, Dec 2, 2014 at 1:44 PM, Ray Dillinger <bear at sonic.net> wrote:
>Would anybody else here like to share some of the techniques they use?
>
>https://cryptocoding.net/index.php/Coding_rules

Good set of rules.

Most of these rules can be incorporated into a strong type system that is capable of enforcing these rules.

There have been a large number of papers which discuss various typing systems which can be used for such purposes.

For example, check out the references in this paper:

http://research.microsoft.com/en-us/um/people/fournet/papers/modular-code-based-cryptographic-verification-ccs11.pdf
Size: 228 KB (233,053 bytes)