CryptoVerif
கிரிப்டோ வெரிஃப் என்பது புருனோ பிளான்செட் எழுதிய பாதுகாப்பு நெறிமுறைகள் பற்றிய தானியங்கி பகுத்தறிவுக்கான ஒரு மென்பொருள் கருவியாகும். ஆதரிக்கப்படும் கிரிப்டோகிராஃபிக் வழிமுறைகள் இது கிரிப்டோகிராஃபிக் பிரிமிடிவ்களில் பாதுகாப்பு அனுமானங்களைக் குறிப்பிடுவதற்கான ஒரு பொறிமுறையை வழங்குகிறது, இது குறிப்பிட்ட சமச்சீர் குறியாக்கம், செய்தி அங்கீகாரக் குறியீடுகள், பொது-விசை குறியாக்கம், கையொப்பங்கள், ஹாஷ் செயல்பாடுகள் ஆகியவற்றைக் கையாள முடியும். கான்கிரீட் பாதுகாப்பு கிரிப்டோ வெரிஃப் ஒவ்வொரு கிரிப்டோகிராஃபிக் பழங்காலத்தையும் உடைப்பதற்கான நிகழ்தகவுடன் தொடர்புடைய ஒரு நெறிமுறைக்கு எதிரான வெற்றிகரமான தாக்குதலின் நிகழ்தகவை மதிப்பீடு செய்வதாகக் கூறுகிறது, அதாவது. இது உறுதியான பாதுகாப்பை நிறுவ முடியும். குறிப்புகள் வெளிப்புற இணைப்புகள் கிரிப்டோகிராஃபிக் மென்பொருள்