CLAASP - هو اختصار لـ "مكتبة التشفير للتحليلات الآلية للبدائيات المتماثلة"، وهي المكتبة الأولى من نوعها والمصممة لتكون منصة معيارية تتسم بقابلية التطوير وسهولة الاستخدام والفعالية والأوتوماتيكية بالكامل. وقد بُنيت مكتبة CLAASP بناءً على نظام الحاسوب الجبري "SageMath" ولغة البرمجة "Python3"، علماً أن تطويره استغرق أكثر من أربع سنوات. وتتضمن المكتبة مجموعةً من الأدوات التي توظف أحدث تقنيات التحليل التشفيري المعنية بتبسيط المهام اليدوية لمصممي ومحللي خوارزميات التشفير المتماثل.
أول مكتبة برمجية مفتوحة المصدر على مستوى العالم متخصصة في تقدير المستوى الأمني لمخططات التشفير ما بعد الكمي، بما يتضمن أساليب التبادل الرئيسية وتشفير المفاتيح العامة والتواقيع.
ويهدف هذا المشروع إلى إرساء الأساس اللازمة لإنشاء مكتبة "CryptographicEstimators" لتكون مشروعاً تعاونياً عالمي النطاق، وتهدف المكتبة إلى تعزيز العمل التعاوني وتصميم البرمجيات عالية الجودة وتسهيل الوصول إليها وتقديم تطبيقات الويب سهلة الاستخدام.
هو إطار عمل جديد في مجال الحوسبة الآمنة متعددة الأطراف، ويمتلك القدرة على توفير الأمن الفعال لخدمات التعلم الآلي المخصص للحفاظ على الخصوصية (PPMLaaS). وبناءً على إطار "SCALE-MAMBA" الذي لم يعد مستعملاً الآن، نقترح استخدام إطار عمل الشبكات العصبية الاصطناعية والحوسبة متعددة الأطراف (FANNG-MPC )، والذي يمثل نظاماً جديداً معني بالبيانات ومجموعة جديدة من المكتبات والتعليمات القادرة على تنفيذ العديد من مهام التعلم الآلي. ويقدم إطار FANNG ما يلي: 1) إطار دعم جديد لقواعد البيانات؛ 2) تعليمات جديدة لبروتوكول Garbling وتخزين بروتوكول Gabled Circuits دون الاتصال بالشبكة؛ 3) دعم المعالجة الترشيحية والمصفوفات الثلاثية و4) العديد من وظائف التعلم الآلي الجديدة. ونهدف إلى تسهيل عملية التكامل مع خدمات (TAAS)، ما يسمح للمستخدمين بفصل مرحلة عدم الاتصال عن مرحلة الاتصال كلما أمكن. أما بالنسبة للأداء، يقدم إطار FANNG أداءً مشابهاً للبروتوكولات المخصصة الأخرى، وفي نفس الوقت يوفر المرونة والديناميكية التي تتسم بها أطر الحوسبة متعددة الأطراف للأغراض العامة.
يعتمد مستوى أمن مخططات التشفير المتماثل الكامل (FHE) على الصعوبة المفترضة في تمييز المعادلات الناجمة عن مستويات الضوضاء الصغيرة الصادرة عن بيانات الـ "tuple" العشوائية. وإن المشكلة التي تنشأ عن هذه العملية هي زيادة مستوى الضوضاء، إذ إنها تزداد طالما استمرت العمليات وبالتالي تحد من عدد العمليات المتماثلة. ومن أجل زيادة عدد العمليات المدعومة، يمكننا العمل على تحسين معايير مخطط التشفير المتماثل الكامل. ومع ذلك، يفرض اختيار المعايير مساومة مستوى الأمن (وحدات النصوص المشفرة الصغيرة) مع مستوى هامش الخطأ (وحدات النصوص المشفرة الكبيرة)، ما يُظهر صعوبةً في إيجاد مجموعة مثالية من المعايير لمخطط FHE محدد. ونشير إلى أن اختيار المعايير يتطلب معرفة متخصصة في كل مخطط من مخططات التشفير المتماثل الكامل (FHE)، وبالتالي نوفر أداة مؤتمتة تسهل عملية إنشاء المعايير في جميع الخطوات الخاصة بمخططات BGV وBFV. وتم تصميم مولد المعايير لخدمة الباحثين والمهتمين باستخدام مخططات BGV/BFV للحوسبة الآمنة، وهو لا يتطلب مستوى عالٍ من الفهم للبنية الأساسية لمخططات التشفير المتماثل الكامل (FHE).
يمثل TLS بروتوكولاً للتشفير يستخدم أنظمة التشفير لتقديم الضمانات الأمنية،
ويعد "TigerTLS" استخداماً متوافقاً مع معايير الإصدار 1.3 لبروتوكول TLS. ويُكتَب هذا البروتوكول استخدام لغة RUST (الخادم والعميل) ولغة C++ (العميل فقط).
كما تم تصميم هيكليته للحفاظ على استقلالية إطار التشفير ونموذج إدارة الثقة وأداة حالة البروتوكول كلٍ على حدة، والهدف من ذلك هو الاتسام بالمرونة اللازمة في وجه التوجه الكبير نحو التشفير ما بعد الكمي والمنهجيات البديلة في إدارة الثقة، فضلاً عن نموذج البنية التحتية الرئيسية القياسي والتغييرات التي قد تطرأ على أداة تحديد الحالة في التغييرات المستقبلية على معيار TLS.
مكتبة مخصصة تسمح باستخدام مكتبات التشفير المتوفرة لتوليد النواقل لاختبارات الأسئلة المعروفة (KAT)، وتُستخدم نواقل الاختبار هذه للتحقق من أن الأوليات متماثلة في السلوك،
كما تضمن أن جميع التطبيقات متساوية ومتوافقة مع المعيار المتبع، وتساعد المكتبة في تحديد لغة تبادل موحدة لنواقل الاختبار.
يمكن العثور على المكتبة هنا
تعد مكتبة SIBC مشروعاً مشتركاً بين الباحثين جورا آدج وخورخيه شافيز ساب وخيسوس تشي دومينغيز وفرانسيسكو رودريغيز هينريكيز.
وهي مكتبة تستخدم لغة بايثون لتوفير واجهة سهلة الاستخدام تسمح بحساب العديد من الأوليات وبروتوكولات التشفير القائمة على الأيزوجيني. تدعم النسخة الحالية من مكتبة SIBC بروتوكول CSIDH لتبادل المفاتيح والقائم على الأيزوجيني، وذلك باستخدام الصيغ التقليدية وصيغ "Velusqrt" والإحداثيات الإسقاطية لمنحنى مونتغمري ×. وفضلاً عن ذلك، يتم تنفيذ أوليات التشفير بشكل ثابت فيما يتعلق بعدد العمليات، حيث يشير إجراء الوقت الثابت إلى أن وقت التشغيل لا يعتمد على المدخلات.
هو إطار عمل كبير لاختبار تطبيقات بروتوكول TLS تلقائياً للبحث عن الثغرات الأمنية المختلفة والامتثال لنظام RFC. ويعد TLS بروتوكول التشفير الأكثر شعبية ودراسةً، وهذا الإطار عبارة عن مجموعة من الأدوات التي تجمع بين الأساليب المختلفة مثل "fuzzing" والاختبار التكاملي والتحليل الإحصائي لاختبار وتقييم جودة وأمن بروتوكول TLS. وبالإضافة إلى ذلك، يجسد في اختباره مجموعة كبيرة من المعارف بناءً على العديد من الأوراق البحثية والهجمات المعروفة والعقبات الشائعة أمام المبرمجين.