CryptoVerif
ক্রিপ্টোভেরিফ হল ব্রুনো ব্ল্যানচেট রচিত নিরাপত্তা প্রোটোকল সম্পর্কে স্বয়ংক্রিয় যুক্তির জন্য একটি সফ্টওয়্যার সরঞ্জাম। সমর্থিত ক্রিপ্টোগ্রাফিক প্রক্রিয়া এটি ক্রিপ্টোগ্রাফিক আদিমগুলির উপর নিরাপত্তা অনুমানগুলি নির্দিষ্ট করার জন্য একটি প্রক্রিয়া সরবরাহ করে, যা বিশেষভাবে প্রতিসম এনক্রিপশন, বার্তা প্রমাণীকরণ কোড, পাবলিক-কী এনক্রিপশন, স্বাক্ষর, হ্যাশ ফাংশন পরিচালনা করতে পারে। কংক্রিট নিরাপত্তা ক্রিপ্টোভেরিফ প্রতিটি আদিম ক্রিপ্টোগ্রাফিক ভাঙার সম্ভাবনার সাথে সম্পর্কিত একটি প্রোটোকলের বিরুদ্ধে সফল আক্রমণের সম্ভাবনা মূল্যায়ন করার দাবি করে, অর্থাৎ। এটি সুনির্দিষ্ট নিরাপত্তা প্রতিষ্ঠা করতে পারে। তথ্যসূত্র বাইরের লিঙ্ক ক্রিপ্টোগ্রাফিক সফ্টওয়্যার