autocrypt

Automated cryptographic transformations and formal verification.

Name		Name	Last commit message	Last commit date
Latest commit History 112 Commits
BLS		BLS
examples		examples
notes		notes
proofs		proofs
resources		resources
trusted_crypto_paper		trusted_crypto_paper
.gitignore		.gitignore
CurrentRequirementsAndLimitations.txt		CurrentRequirementsAndLimitations.txt
ECTemplate1.txt		ECTemplate1.txt
ECTemplate2.txt		ECTemplate2.txt
ECTemplate3.txt		ECTemplate3.txt
ECTemplate4.txt		ECTemplate4.txt
ECTemplate5.txt		ECTemplate5.txt
ECTemplate6.txt		ECTemplate6.txt
ECTemplateFull.txt		ECTemplateFull.txt
ECTemplate_SymmOrAsymm1.txt		ECTemplate_SymmOrAsymm1.txt
ECTemplate_SymmOrAsymm2.txt		ECTemplate_SymmOrAsymm2.txt
ECTemplate_SymmOrAsymmFull.txt		ECTemplate_SymmOrAsymmFull.txt
FullTemplate.txt		FullTemplate.txt
README.md		README.md
SDLtoECConfig.py		SDLtoECConfig.py
SDLtoECConvert.py		SDLtoECConvert.py
ToDos_8-22-2013.rtf		ToDos_8-22-2013.rtf
ToDos_8-22-2013_CHECKLIST.rtf		ToDos_8-22-2013_CHECKLIST.rtf
sdlpath.py		sdlpath.py
story.txt		story.txt
tasks.txt		tasks.txt

Provide feedback