
tamarin-prover
أداة تحقق رمزي للبروتوكولات الأمنية تستخدم إعادة الكتابة متعددة المجموعات وحل القيود لإثبات خصائص السرية والمصادقة والتكافؤ.
تحديثات تحريرية قصيرة من أدوات الأمن السيبراني المنشورة.

أداة تحقق رمزي للبروتوكولات الأمنية تستخدم إعادة الكتابة متعددة المجموعات وحل القيود لإثبات خصائص السرية والمصادقة والتكافؤ.

فريق أحمر للذكاء الاصطناعي محلي أولاً لأمن تطبيقات الويب وواجهات API وتطبيقات LLM. تفكير بأسلوب المهاجم، ونتائج مدعومة بالأدلة، ومهارات لوكلاء…

وكلاء اختبار اختراق بالذكاء الاصطناعي المستقل — استطلاع في الوقت الفعلي، واكتشاف الثغرات، وتنسيق الاستغلال. Go + TypeScript.

PEASS - مجموعة رائعة من نصوص تصعيد الصلاحيات (مع الألوان)

مستوى تحكم ذاتي الاستضافة لوقت التشغيل لوكلاء الذكاء الاصطناعي. راقب أو وافق عبر HITL أو احظر استدعاءات الأدوات المارقة قبل تنفيذها: تسريبات الأسرار،…

Weekly updated list of missing CVEs in nuclei templates official repository. Mainly built for bug bounty, but useful for penetration tests and…

خادم DNS سلبي يكتشف حاويات تخزين سحابية مكشوفة (AWS S3، GCP، Azure) عن طريق حل استعلامات DNS، وتتبع سلاسل CNAME، والإبلاغ عن عمليات استيلاء محتملة…

VPN شبكي مشفر من نظير إلى نظير للطب الشرعي عن بُعد للأجهزة المحمولة، يتيح الحصول على ADB لاسلكيًا و libimobiledevice، ومراقبة الشبكة، واكتشاف…

منصة تحليل مكونات ذكية تستخدم قوائم مكونات البرامج (SBOMs) لتحديد وتقليل مخاطر سلسلة توريد البرامج من خلال الكشف المستمر عن الثغرات وتطبيق السياسات.

وحدة تحكم فرز DFIR لمضيف Windows تسلسل جمع الأدلة، والجداول الزمنية المرتبطة بـ Sigma، وفحوصات YARA، وفحص المقابس والحسابات، وإثراء المؤشرات، ودرجة…

إطار عمل للاستطلاع المفتوح وأمن المعلومات على النطاقات يشغّل 26 وحدة متوازية لـ DNS، والمنافذ، والنطاقات الفرعية، وبيانات الاعتماد المسرّبة، ونقاط…

🔒 دمج وتوسيع ملفات hosts من عدة مصادر منسّقة بعناية. اختياريًا، اختر امتدادات للإباحية ووسائل التواصل الاجتماعي وفئات أخرى.