CryptoVerif
क्रिप्टोवेरिफ ब्रूनो ब्लैंचेट द्वारा लिखित सुरक्षा प्रोटोकॉल के बारे में स्वचालित तर्क के लिए एक सॉफ्टवेयर उपकरण है। समर्थित क्रिप्टोग्राफिक तंत्र यह क्रिप्टोग्राफिक आदिम पर सुरक्षा मान्यताओं को निर्दिष्ट करने के लिए एक तंत्र प्रदान करता है, जो विशेष रूप से सममित एन्क्रिप्शन, संदेश प्रमाणीकरण कोड, सार्वजनिक-कुंजी एन्क्रिप्शन, हस्ताक्षर, हैश कार्यों को संभाल सकता है। कंक्रीट सुरक्षा क्रिप्टोवेरिफ प्रत्येक क्रिप्टोग्राफिक आदिम को तोड़ने की संभावना के सापेक्ष एक प्रोटोकॉल के खिलाफ सफल हमले की संभावना का मूल्यांकन करने का दावा करता है, अर्थात। यह ठोस सुरक्षा स्थापित कर सकता है। संदर्भ बाहरी लिंक क्रिप्टोग्राफिक सॉफ्टवेयर