CryptoVerif
کرپٹو ویریف برونو بلینچیٹ کے لکھے ہوئے حفاظتی پروٹوکول کے بارے میں خودکار استدلال کے لیے ایک سافٹ ویئر ٹول ہے۔ سپورٹڈ کرپٹوگرافک میکانزم یہ کرپٹوگرافک پرائمیٹوز پر حفاظتی مفروضوں کی وضاحت کے لیے ایک طریقہ کار فراہم کرتا ہے، جو خاص طور پر سمیٹرک انکرپشن، میسج کی تصدیق کے کوڈ، پبلک کلیدی انکرپشن، دستخط، ہیش افعال کو سنبھال سکتا ہے۔ کنکریٹ سیکیورٹی کریپٹو ویریف کا دعوی ہے کہ وہ ایک پروٹوکول کے خلاف کامیاب حملے کے امکان کا اندازہ کرتا ہے جو کہ ہر کرپٹوگرافک ابتدائی کو توڑنے کے امکان سے متعلق ہے، یعنی۔ یہ ٹھوس تحفظ قائم کر سکتا ہے۔ حوالہ جات بیرونی روابط کرپٹوگرافک سافٹ ویئر