منشورات من Trail of Bits
| عنوان الورقة | المؤلف(ون) | تاريخ النشر |
|---|---|---|
| اكتشاف التحويلات الضمنية في OpenVPN2 باستخدام CodeQL | Paweł Płatek | Sep 2025 |
| منع الاستيلاء على الحسابات في بورصات العملات المشفرة المركزية: الممارسات الموصى بها | Shaun Mirani, Kelly Kaoudis, and Evan Sultanik | Feb 2025 |
| العودية المدفوعة بالمدخلات: مخاطر أمنية مستمرة | Alexis Challande and Brad Swain | Dec 2024 |
| تقييم معايير OpenSearch | Evan Downing, Riccardo Schirone, Francesco Bertolaccini, and Ronald Eytchison | Aug 2024 |
| لغات السياسات Cedar وRego وOpenFGA: تقييم مقارن لأمن اللغة | Ian Smith and Kelly Kaoudis | Aug 2024 |
| نحو تقييمات شاملة للمخاطر وضمان الأنظمة القائمة على الذكاء الاصطناعي | Heidy Khlaaf | Mar 2023 |
| هل سلاسل الكتل لامركزية؟ مركزيّات غير مقصودة في دفاتر الأستاذ الموزعة | Evan Sultanik et al. | Jun 2022 |
| هل تحتاج حقًا إلى سلسلة كتل؟ تقييم المخاطر التشغيلية | Evan Sultanik and Mike Myers | Jun 2022 |
| الرابط | الوصف |
|---|---|
| دليل الاختبار | أدلة لتكوين وأتمتة أدوات التحليل الثابت والديناميكي |
| ZKDocs | توثيق تفاعلي حول أنظمة إثباتات المعرفة الصفرية |
| بناء عقود ذكية آمنة | أفضل الممارسات لتطوير عقود ذكية آمنة |
| دليل CTF الميداني | دليل ميداني للفوز في مسابقات التقاط العلم |
| دليل أمان Ruby الميداني | دليل أمان عملي للغة Ruby |
| عنوان العرض التقديمي | المؤلف(ون) | السنة |
|---|---|---|
| اكتشاف تجاوزات السعة المخفية في Go: التشويش خارج حدود المصرّف | Kevin Valerio | 2026 |
| Buttercup: اكتشاف وإصلاح الأخطاء بشكل مستقل على نطاق واسع في البرمجيات مفتوحة المصدر | Ronald Eytchison | 2025 |
| Buttercup: مستقبل حل Trail of Bits لتحدي DARPA للأمن السيبراني بالذكاء الاصطناعي | Trent Brunson | 2025 |
| Buttercup وتحدي DARPA للأمن السيبراني بالذكاء الاصطناعي، Ringzer0 | Henrik Brodin, Ronald Eytchison | 2025 |
| تجربتنا في المنافسة في تحدي الأمن السيبراني بالذكاء الاصطناعي | Michael Brown et al. | 2025 |
| Buttercup وتحدي DARPA للأمن السيبراني بالذكاء الاصطناعي، CSAW | Ronald Eytchison | 2024 |
| تدابيرك الوقائية هي فرصي | Yarden Shafir | 2023 |
| اكتشاف أخطاء التباين من خلال التحليل الهجين لتدفق التحكم والبيانات | Kelly Kaoudis, Henrik Brodin, Evan Sultanik | 2023 |
| النقاط العمياء: تحديد مدخلات البرنامج القابلة للاستغلال | Henrik Brodin, Evan Sultanik, and Marek Surovič |
| --- | --- | --- | | اختبار الطفرات باستخدام Slither: طريقة جديدة لاكتشاف المشكلات عالية الخطورة | Guillermo Larregay | 2025 | | بروتوكول سياق النموذج الخاص بـ Slither: تزويد نماذج اللغات الكبيرة (LLMs) بحقيقة أساسية من التحليل الثابت | Ben Samuels | 2025 | | مشكلة الـ 1.5 مليار دولار: كيف يمكن للبورصات بناء تخزين بارد أكثر أمانًا | Benjamin Samuels | 2025 | | كيف تصبح مدققًا للعقود الذكية | nisedo | 2025 | | اختبر اختباراتك: ما يجب وما لا يجب فعله في الاختبار | Kurt Willis | 2023 | | Slither: أداة تحليل ثابت لـ Vyper و Solidity | Troy Sargent | 2023 | | Roundme: تحليل التقريب بشكل أبسط | Josselin Feist | 2023 | | العقود الذكية: النسخة التجريبية | Nat Chin | 2023 | | الفيزينغ مثل مهندس أمن | Nat Chin | 2023 | | اكتب عقودًا ذكية أفضل باستخدام واجهة Python البرمجية الخاصة بـ Slither | Troy Sargent | 2022 | | بناء Cairo آمن | Filipe Casal, Simone Monica | 2022 | | كيف تفيز كالمحترفين | Josselin Feist, Nat Chin | 2022 | | إزالة الغموض عن الفيزينغ (Fuzzing) | Nat Chin | 2022 | | بناء محلل ثابت عملي للعقود الذكية | Josselin Feist | 2021 | | اختبار العقود الذكية والتحقق منها: من النظرية إلى التطبيق | Josselin Feist | 2021 | | التكامل الآمن مع رموز ERC20 | Josselin Feist | 2021 | | اكتشاف هجمات استبدال المعاملات باستخدام Manticore | Sam Moelius | 2020 | | اختراقات DeFi والتهديدات المستقبلية: دور الاقتصاد في تصميم البروتوكولات الآمنة | Dan Guido | 2020 | | أخطاء مذهلة وكيفية سحقها؛ أو، جرائم Solidity | Evan Sultanik | 2019 | | SlithIR: تحليل أمني عالي الدقة باستخدام تمثيل وسيط (IR) لـ Solidity | Josselin Feist | 2019 | | Slither: إطار عمل للتحليل الثابت للعقود الذكية | Josselin Feist | 2019 | | ما الذي أحسنته البلوكتشين | Dan Guido | 2019 | | أمن المعلومات التقليدي لشركات البلوكتشين | Dan Guido | 2019 | | الاختبار القائم على الخصائص للعقود الذكية | JP Smith | 2018 | | تشريح لغة برمجة غير آمنة | Evan Sultanik | 2018 | | مخاطر ترقية العقود الذكية والتوصيات | Josselin Feist | 2018 | | Blackhat Ethereum | Ryan Stortz, Jay Little | 2018 | | تشريح جثث البلوكتشين - تحليل وفيات العقود الذكية | Jay Little | 2018 | | Rattle - إطار عمل للتحليل الثنائي لـ EVM في إيثيريوم | Ryan Stortz | 2018 | | تأمين القيمة على سلسلة كتل إيثيريوم | Dan Guido | 2018 | | التحليل الثنائي، تعرّف إلى البلوكتشين | Mark Mossberg | 2018 | | الاكتشاف التلقائي للأخطاء البرمجية في البلوكتشين | Felipe Manzano, Josselin Feist | 2017 |
| عنوان العرض | المؤلف(ون) | السنة |
|---|---|---|
| دعم البرمجة ذات الزمن الثابت في LLVM | Julius Alexandre | 2025 |
| تقييم مقارن شامل لأدوات تقليص البرمجيات | Michael D. Brown, Adam Meily, Eric Kilmer, Ronald Eytchison | 2024 |
| إعادة استخدام تحليلات LLVM في MLIR: وأيضًا ذهابًا وإيابًا عبر برج التمثيلات الوسيطة (IRs) | Henrich Lauko | 2024 |
| VAST: MLIR لتحليل برامج C/C++ | Henrich Lauko | 2022 |
| تقييم مقارن شامل لأدوات إعادة كتابة الثنائيات x86-64 | Michael D. Brown | 2022 |
| حول تحسين الحسابات المتزامنة المتكافئة | Henrich Lauko, Lukáš Korenčik, Peter Goodman | 2022 |
| عنوان العرض | المؤلف(ون) | السنة |
|---|---|---|
| إصابة QUIC في الصميم: تحطيم أداء QUIC بهجوم Hash DoS | Paul Bottinelli | 2025 |
| واحد، اثنان، TEE: الثقة في الأرقام تلتقي بأمن العتاد | Paul Bottinelli | 2025 |
| هجمات Fiat-Shamir الضعيفة على أنظمة الإثبات الحديثة | Jim Miller | 2024 |
| بناء مكتبة Rust للتحقق من المسارات لمكتبة PyCA Cryptography | William Woodruff | 2024 |
| تنفيذ التحقق من مسارات X.509 في Python | William Woodruff | 2024 |
| توخَّ الحذر مع MAc-then-SIGn | Marc Ilunga | 2023 |
| مت، PGP، مت | William Woodruff | 2022 |
| بجدية، توقفوا عن استخدام RSA | Ben Perez | 2019 |
| أفضل الممارسات للتشفير في Python | Paul Kehrer | 2019 |
| تحليل تصادم MD5 في Flame | Alex Sotirov | 2012 |
| عنوان العرض | المؤلف(ون) | السنة |
|---|---|---|
| المعايير القابلة للتكرار: استكشاف مقارن بين OpenSearch و Elasticsearch | Evan Downing | 2025 |
| هندسة الأمن المبنية على الأدلة | Dan Guido | 2019 |
| مراقبة أحداث أمن Linux باستخدام osquery | Alessandro Gario | 2019 |
| osql: فرع osquery الموجه نحو المجتمع | Stefano Bonicatti, Mark Mossberg | 2019 |
| البدء مع osquery | Lauren Pearl, Andy Ying | 2018 |
| الميزات الخارقة لـ osquery | Lauren Pearl | 2018 |
| مختبرات osquery السرية (Skunkworks) | Mike Myers | 2018 |
| ابنِه واكسره وأصلحه | Andrew Ruef | 2014 |
| عنوان العرض | المؤلف(ون) | السنة |
|---|---|---|
| مقدمة إلى Semgrep و تمارين Semgrep التدريبية | Maciej Domański, Matt Schwager, Spencer Michaels | 2024 |
| مقدمة لطيفة في معظمها إلى LLVM | William Woodruff | 2022 |
| JWTs، ولماذا هي سيئة | Rory M | 2021 |
| بهجة الاختراق | Sophia D'Antoine | 2017 |
| كيف تلعب CTF - الحصول على أجهزة الآخرين واستخدامها (OPC) | Jay Little | 2014 |
| الأمن منخفض المستوى | Andrew Ruef | 2014 |
| الأمن وعملك | Andrew Ruef | 2014 |
| المجيء بلا شيء إلى الحفلة | Vincenzo Iozzo | 2013 |
| من برج عاجي إلى آخر | Vincenzo Iozzo | 2012 |
| عنوان العرض | المؤلف(ون) | السنة |
|---|---|---|
| العودة إلى غابة المئة فدان | Stefan Edwards | 2019 |
| السباحة مع سمكة kubectl | Stefan Edwards | 2019 |
| عنوان العرض | المؤلف(ون) | السنة |
|---|---|---|
| كيف جعلنا Trail of Bits أصيلًا في الذكاء الاصطناعي (حتى الآن) | Dan Guido | 2026 |
| تسليح تغيير حجم الصور ضد أنظمة الذكاء الاصطناعي الإنتاجية | Kikimora Morozova, Suha Sabi Hussain | 2025 |
| حقن الأوامر غير المباشر: مناهج اختبار معمارية لأنظمة الذكاء الاصطناعي والتعلم الآلي في العالم الحقيقي | Will Vandevanter | 2025 |
| من الملفات متعددة الصيغ إلى حقن الأوامر: التحليل لا يزال تنفيذًا (ونموذج اللغات الكبيرة لديك لم تصله المذكرة) | Evan Sultanik | 2025 |
| الذكاء الاصطناعي المتقدم في الأمن السيبراني: المخاطر والفرص | Dan Guido, Riccardo Schirone | 2025 |
| حاضر الذكاء الاصطناعي والأمن ومستقبلهما | Evan Downing | 2024 |
| استغلالات التعلم الآلي المحتضنة: زرع أبواب خلفية في خطوط أنابيب التعلم الآلي باستخدام أخطاء معالجة المدخلات | Suha Sabi Hussain | 2024 |
| نماذج تهديد شاملة للتعلم الآلي | Adelin Travers | 2024 |
| استخدام خوارزميات التعلم الآلي القائمة على الرسوم البيانية لتحليل البرمجيات |
| عنوان العرض | المؤلف(ون) | السنة |
|---|---|---|
| تصعيد الصلاحيات في macOS عبر Traceroute6 | Paweł Płatek | 2025 |
| الهندسة العكسية لـ Swift | Ryan Stortz | 2016 |
| أمن تطبيقات iOS الحديثة | Sophia D'Antoine, Dan Guido | 2016 |
| مشروع استخبارات ثغرات الأجهزة المحمولة | Dan Guido | 2012 |
| حكاية تهديدات الأجهزة المحمولة | Vincenzo Iozzo | 2012 |
| عنوان العرض | المؤلف(ون) | السنة |
|---|---|---|
| دواخل Python - لنتحدث عن القواميس | Dominik Czarnota | 2019 |
| التنقيح منخفض المستوى باستخدام Pwndbg | Dominik Czarnota | 2018 |
| أمور غير آمنة يجب تجنبها في Python | Dominik Czarnota | 2018 |
| عنوان العرض | المؤلف(ون) | السنة |
|---|---|---|
| القنوات الجانبية للعتاد في البيئات الافتراضية | Sophia D'Antoine | 2015 |
| استغلال التنفيذ خارج الترتيب | Sophia D'Antoine | 2015 |
| عنوان العرض | المؤلف(ون) | السنة |
|---|---|---|
| التصديقات: جيل جديد من التوقيعات على PyPI | William Woodruff | 2025 |
| السنوات الخمس القادمة لأمن سلسلة التوريد على PyPI | William Woodruff | 2024 |
| PEP 740 و PyPI: إرساء أساس تتبع المنشأ للنظام البيئي لـ Python | William Woodruff | 2024 |
| تخيّل مستقبل قائم على انعدام الثقة (zero-trust) لـ PyPI | William Woodruff | 2024 |
| منشأ البناء: دروس (حتى الآن) من Homebrew | Joe Sweeney | 2024 |
| كيف يبدو توقيع الكود لنظام تغليف بالكامل؟ | William Woodruff | 2023 |
| تأمين نظام الحزم لديك باستخدام النشر الموثوق | William Woodruff | 2023 |
| النشر الموثوق: دروس من PyPI | William Woodruff | 2023 |
| توقيع كود سهل الاستخدام للنظام البيئي لـ Python باستخدام Sigstore | William Woodruff | 2023 |
| Sigstore لتغليف Python: الخطوات التالية للتبني |
| عنوان العرض | المؤلف(ون) | السنة |
|---|---|---|
| تقشير طبقات 'Shlayers' في برمجيات macOS الخبيثة | Josh Watson, Erika Noerenberg | 2019 |
| إعادة النظر في مشروع استخبارات الثغرات | Dan Guido | 2013 |
| --- | --- | --- | --- |
| Risky Biz | Dan Guido | Feb 2026 | الذكاء الاصطناعي في Trail of Bits |
| What's in the SOSS? 53 | Michael Brown | Feb 2026 | AIxCC وButtercup |
| Insecure Agents 18 | Kikimora Morozova | Dec 2025 | حقن الأوامر في الذكاء الاصطناعي |
| Risky Biz | Keith Hoodlet | Sep 2025 | حقن الأوامر في الذكاء الاصطناعي |
| Zero Signal | Keith Hoodlet | Sep 2025 | أمن الذكاء الاصطناعي |
| Unsupervised Learning | Michael Brown | Aug 2025 | AIxCC |
| Security Weekly 342 | Will Vandevanter | Aug 2025 | الإفصاح عن ثغرات NVIDIA |
| CTF Radiooo 01E | Michael Brown & Evan Downing | Aug 2025 | AIxCC |
| Click Here Show | Dan Guido | Jun 2025 | هجمات التحكم عن بعد في Zoom |
| Security Weekly 336 | Artur Cygan | Jun 2025 | Fuzzing للرموز الشريطية |
| Protect AI | Keith Hoodlet | Jun 2025 | أمن MCP |
| Open Source Security | William Woodruff | May 2025 | أمان Zizmor وGitHub Actions |
| MLSecOps | Keith Hoodlet | Apr 2025 | أمن الذكاء الاصطناعي/التعلم الآلي |
| Risky Biz 786 | Tjaden Hess | Apr 2025 | التشفير وسلسلة الكتل |
| Security Weekly 323 | Keith Hoodlet | Mar 2025 | الذكاء الاصطناعي التوليدي في أمن التطبيقات |
| Xyonix | Keith Hoodlet | Mar 2025 | أمن الذكاء الاصطناعي/التعلم الآلي |
| The Impulsive Thinker | Dan Guido | Feb 2025 | التنوع العصبي |
| Bugcrowd | Keith Hoodlet | Oct 2024 | التحيز في الذكاء الاصطناعي/التعلم الآلي |
| Risky Biz | Dan Guido | Oct 2024 | التشفير ما بعد الكمي |
| Risky Biz 759 | Dan Guido | Aug 2024 | تحدي DARPA للسيبراني بالذكاء الاصطناعي |
| Resilience Rundown | Josiah Dykstra | May 2024 | التحيز في الأمن |
| Risky Biz | Dan Guido | Apr 2024 | أدوات المصدر المفتوح |
| MLSecOps March 20 | William Woodruff | Mar 2024 | أمن سلسلة التوريد |
| yWhales | Dan Guido | Dec 2023 | أمن سلسلة الكتل |
| Risky Biz 707 | Dan Guido | May 2023 | أمن التعلم الآلي |
| ASW 229 | Nick Selby | Feb 2023 | نمذجة التهديدات، تدقيقات السحابة الأصلية |
| Risky Biz 690 | Dan Guido | Jan 2023 | الإفصاح عن الثغرات |
| Risky Biz 672 | Dan Guido | Jul 2022 | أمن سلسلة الكتل |
| Cloud Security Reinvented | Nick Selby | Jun 2022 | أمن السحابة |
| Skiff Office Hours | Dan Guido | Mar 2022 | تقنية الخصوصية |
| Risky Biz 652 | Dan Guido | Jan 2022 | إثباتات المعرفة الصفرية |
| Secureum Safecast #3 | Josselin Feist | Nov 2021 | أمن سلسلة الكتل |
| Secureum Safecast #2 | Dan Guido | Oct 2021 | أمن سلسلة الكتل |
| Press Freedom Foundation | Dan Guido | Jul 2021 | أمن الأجهزة المحمولة وiVerify |
| Employee Cycle | Hannah Hanks | Mar 2021 | أول توظيف في PeopleOps |
| Risky Biz 614 | Dan Guido | Feb 2021 | iVerify |
| Building Better Systems 6 | Dan Guido | Jan 2021 | ما أصابته سلسلة الكتل |
| WCBS 880 | Dan Guido | Sep 2020 | سنوات الفجوة وتوظيف المتدربين |
| Risky Biz 594 | Dan Guido | Aug 2020 | أمن Apple |
| Epicenter 346 | Dan Guido | Jun 2020 | أمن العقود الذكية |
| Absolute AppSec 97 | Stefan Edwards | May 2020 | نمذجة التهديدات |
| Unchained 170 | Dan Guido | May 2020 | أمن DeFi |
| Risky Biz 580 | Dan Guido | Apr 2020 | التصويت عبر الهاتف المحمول |
| Absolute AppSec 91 | Stefan Edwards | Apr 2020 | التصويت عبر الهاتف المحمول |
| Zero Knowledge 122 | Ben Perez | Mar 2020 | مراجعات التشفير، إثباتات المعرفة الصفرية |
| Changelog | Dan Guido | Jan 2020 | AlgoVPN |
| Risky Business 559 | Stefan Edwards | Oct 2019 | Kubernetes |
| FOSS Weekly 545 | William Woodruff | Sep 2019 | تحسينات أمان PyPI |
| Podcast.__init__ 225 | William Woodruff | Aug 2019 | أمان PyPI وتجربة المستخدم والاستدامة |
| Absolute AppSec 68 | Stefan Edwards, Bobby Tonic | Aug 2019 | Kubernetes |
| Hashing it Out 53 | Dan Guido | Jul 2019 | اختبار العقود الذكية |
| Absolute AppSec 60 | Stefan Edwards | May 2019 | أندرويد ولغات البرمجة |
| Absolute AppSec 55 | Stefan Edwards | Apr 2019 | اختبار الأمان |
| Hashing it Out 35 | Dan Guido, Josselin Feist | Jan 2019 | فشل EIP-1283 في إيثيريوم |
| Risky Biz 526 | JP Smith | Jan 2019 | التشفير ما بعد الكمي في مسابقات CTF |
| Absolute AppSec 37 | Stefan Edwards | Nov 2018 | لغات البرمجة، symbex |
| Risky Biz 510 | Lauren Pearl | Aug 2018 | هندسة أمان المصدر المفتوح |
| Absolute AppSec 34 | Stefan Edwards | Oct 2018 | اختبار الأمان، سلسلة الكتل |
| The Smartest Contract 15 | JP Smith | Aug 2018 | أدوات أمان Trail of Bits والتدقيق |
| Zero Knowledge 16 | JP Smith | Mar 2018 | أمن العقود الذكية |
| Risky Biz 488 | JP Smith | Feb 2018 | اختبار العقود الذكية باستخدام Manticore |
| Risky Biz 474 | Dan Guido | Oct 2017 | كيفية هندسة برمجيات آمنة |
| Georgian Partners 47 | Dan Guido | May 2017 | AlgoVPN وTor |
| VUC 643 | Dan Guido | Apr 2017 | AlgoVPN |
| Risky Biz 449 | Dan Guido | Mar 2017 | سلامة تدفق التحكم |
| Risky Biz 425 | Dan Guido | Sep 2016 | ملخص أخبار الأسبوع |
| Risky Biz 421 | Dan Guido | Aug 2016 | اختراق السيارات وأخبار الأسبوع |
| Risky Biz 416 | Dan Guido | Jul 2016 | تحدي DARPA السيبراني الكبير |
| Risky Biz 399 | Dan Guido | Feb 2016 | Apple ضد FBI |
| Risky Biz 348 | Dan Guido | Jun 2015 | تحدي DARPA السيبراني الكبير |
| Risky Biz 370 | Dan Guido | Feb 2015 | تحدي DARPA السيبراني الكبير |
| العنوان | المتحدثون | التاريخ |
|---|---|---|
| أهم أخطاء TEE التي يجب إصلاحها قبل المراجعة | Tjaden Hess, Paul Bottinelli, & Jules Drean | Dec 2025 |
| بناء أنظمة تشفير آمنة من طرف إلى طرف | Marc Ilunga & Fredrik Dahlgren | Dec 2025 |
| بعد Wiretap وBattering RAM: ما الذي يتغير للبنية التحتية لسلسلة الكتل القائمة على TEE | Tjaden Hess & Andy Campbell | Nov 2025 |
| غوص عميق في أمن MCP: من الهجمات إلى الدفاع | Keith Hoodlet, Cliff Smith, Vineeth Sai Narajala, Manish Bhatt | Jul 2025 |
| مراجعات الأمان: أفضل الممارسات مع Trail of Bits | Chris Dahlheimer, Lindsay Rakowski, & Vanessa Gennarelli | Mar 2025 |
| إتقان أبحاث الويب باستخدام Burp Suite | Keith Hoodlet, Cliff Smith, & James Kettle | Jun 2024 |
| مقدمة إلى CodeQL: أمثلة وأدوات وتكامل CI | Filipe Casal & Fredrik Dahlgren | Mar 2024 |
| مقدمة إلى Semgrep | Maciej Domanski & Matt Schwager | Jan 2024 |
| الموضوع | الجهة | التاريخ |
|---|---|---|
| قائمة مواد الذكاء الاصطناعي الآلية لعمليات الذكاء الاصطناعي/التعلم الآلي | U.S. Army PEO IEW&S | Dec 2023 |
| أمن البرمجيات مفتوحة المصدر: مجالات التركيز طويل الأجل وتحديد الأولويات | ONCD, CISA, NSF, DARPA, OMB | Nov 2023 |
| فهم الآثار المترتبة على الأمن القومي للذكاء الاصطناعي | Whitehouse OTSP | Jul 2023 |
| المساءلة والتنظيم ومراجعات الذكاء الاصطناعي | NTIA | Jun 2023 |
| إطار شامل لتقييم المخاطر لضمان الذكاء الاصطناعي في المجالات الأخلاقية والقانونية والاجتماعية | DARPA | Jun 2023 |
| فهم أمن أسواق العملات المشفرة | CFTC | Mar 2023 |
| تنظيم برمجيات الاختراق والمراقبة | وزارة التجارة | Jul 2015 |
نظرات متعمقة في كيفية عمل العملاء مع Trail of Bits: التحدي، منهجنا، والنتائج. مستوى الجهد يقاس بأسابيع عمل المهندسين.
| العميل | التركيز | التاريخ | مستوى الجهد | دراسة الحالة |
|---|---|---|---|---|
| Turnkey | البنية التحتية لـ TEE وAWS Nitro Enclaves | Jun 2026 | 8 | 📖 |
| Vanta | مراجعة بنية العزل متعدد المستأجرين | Nov – Dec 2025 | 6 | 📖 |
| Scopely | تقييم تصميم عدالة PRNG في Monopoly GO! | Dec 2024 | 2 | 📖 |
| Hugging Face | تقييم أمني قبل إصدار Gradio 5.0 | Jun – Jul 2024 | 4 | 📖 |
| Scroll | مراجعات أمان دوائر zkEVM | Apr – Sep 2023 | 45.8 | 📖 |
الشركات التي سمحت لنا بالحديث عن أعمالنا تجدها هنا. ويبقى العديد منها سريًا.
تعاقد العملاء التاليون مع Trail of Bits لإجراء 5 مراجعات أمنية أو أكثر:
| المنتج | التاريخ | مستوى الجهد | الإعلان | التقرير |
|---|---|---|---|---|
| MobileCoin | Jul 2022 | 2 | 📄 | |
| Fog Protocol | Jan 2021 | 4 | 📄 | |
| MobileCoin BFT | Oct 2020 | 4 | 📄 | |
| MobileCoin | Aug 2020 | 4 | 📄 |
| --- | --: | :-: | --- | :-: | | Offchain Labs Arbitrum ArbOS 60/61 | Jul 2026 | 24 | | 📄 | | Offchain Labs Reward Distributor Fixes | Jun 2026 | 0.8 | | 📄 | | Offchain Labs Stylus SDK | Apr 2026 | 9 | | 📄 | | Offchain Labs Arbitrum Quorum Changes | Feb 2026 | 1.2 | | 📄 | | Offchain Labs Arbitrum Nitro External DA | Jan 2026 | 4 | | 📄✅ | | Offchain Labs Arbitrum ArbOS 50 and 51 (Fusaka) | Dec 2025 | | | 📄 | | Offchain Labs Arbitrum Chains Genesis File Generator | Dec 2025 | 1.6 | | 📄✅ | | Offchain Labs Upgrade Executor | Jul 2025 | 0.2 | | 📄 | | Offchain SetCoreGovernorQuorumAction | Jun 2025 | 1.2 | | 📄 | | Offchain Arbitrum Mint/Burn Precompile | Jun 2025 | 1.8 | | 📄✅ | | Offchain Arbitrum Block Hash Pusher | Jun 2025 | 1.8 | | 📄 | | Offchain ArbOS 40 Nitro | May 2025 | 6 | | 📄 | | Offchain Reward Distributor Fixes | Apr 2025 | 0.8 | | 📄 | | Offchain Sequencer Liveness | Mar 2025 | 3 | | 📄 | | Offchain Custom Fee Bridge & EIP-7702 | Mar 2025 | 1 | | 📄 | | Offchain Geth 14.4 Pectra | Mar 2025 | 0.8 | | 📄 | | Offchain Custom Fee Exchange Rate | Mar 2025 | 1 | | 📄 | | Offchain Security Council Rotation | Mar 2025 | 1.6 | | 📄 | | Offchain DisableGateway USDT | Mar 2025 | 0.4 | | 📄 | | Offchain BoLD Fixes | Dec 2024 | 0.8 | | 📄 | | Offchain Stylus Emergency Fixes | Oct 2024 | 2 | | 📄 | | Offchain BoLD History Commits | Oct 2024 | 2 | | 📄 | | Offchain Nitro with BoLD | Oct 2024 | 2.6 | | 📄 | | Offchain Stylus | Sep 2024 | 2 | | 📄✅ | | Offchain RARI | Aug 2024 | 0.6 | | 📄 | | Offchain Office Hours Action | Aug 2024 | 0.6 | | 📄 | | Offchain Timeboost Auction | Aug 2024 | 3 | | 📄 | | Offchain Orbit Actions | Aug 2024 | 1 | | 📄 | | Offchain USDC Gateway | Jul 2024 | 2 | | 📄 | | Offchain BoLD & DAC Rewards | Jun 2024 | 3 | | 📄 | | Offchain Arbitrum Stylus | May 2024 | 47 | | 📄 | | Offchain L1-L3 Teleporter | Apr 2024 | 2 | | 📄 | | Offchain ArbOS 31 | Apr 2024 | 2 | | 📄 | | Offchain ArbOS 30 Nitro | Apr 2024 | 6 | | 📄 | | Offchain BoLD | Apr 2024 | 5 | | 📄 | | Offchain ArbOS | Feb 2024 | 4 | | 📄 | | Offchain Arbitrum | Jan 2024 | 2 | | 📄 | | Offchain Token Bridge Creator | Dec 2023 | 6 | | 📄 | | Offchain Custom Fee Token | Sep 2023 | 3 | | 📄 | | Offchain Arbitrum Challenge v2 | Aug 2023 | 20 | | 📄✅ |
| المنتج | التاريخ | مستوى الجهد | الإعلان | التقرير |
|---|---|---|---|---|
| Reserve Protocol Solidity 4.0.0 | Jun 2025 | 3.6 | 📄✅ | |
| Reserve Protocol Solana DTFs | Apr 2025 | 2 | 📄✅ | |
| Reserve Folio Solidity-Based Contracts | Apr 2025 | 2 | 📄✅ | |
| Reserve Protocol | Aug 2022 | 8 | 📄, ✅ | |
| Reserve Protocol | Mar 2019 | 1 | 📄 |
| المنتج | التاريخ | مستوى الجهد | الإعلان | التقرير |
|---|---|---|---|---|
| Scroll Feynman Upgrade Smart Contract Changes | Jul 2025 | 1 | 📄 | |
| Scroll Euclid Phase 2 | Apr 2025 | 4 | Scroll | 📄✅🔖 |
| Scroll Euclid Phase 1 | Apr 2025 | 3 | Scroll | 📄✅🔖 |
| Scroll zstd Compression | Jun 2024 | 12 | 📄✅ | |
| Scroll ZkEVM 4844 Blob | Apr 2024 | 6 | 📄✅ | |
| Scroll ZkEVM Wave 3 | Sep 2023 | 9 | 📄✅ |
| المنتج | التاريخ | مستوى الجهد | الإعلان | التقرير |
|---|---|---|---|---|
| Uniswap v4 Core | Jul 2024 | 6 | 📄✅ | |
| Uniswap Browser Extension | Feb 2024 | 6 | 📄✅ | |
| Uniswap | Sep 2023 | 4 | 📄✅ | |
| Uniswap Mobile Wallet | Aug 2022 | 4 | 📄✅ | |
| Uniswap V3 Staker | Jun 2021 | 2 | ||
| Uniswap V3 | Mar 2021 | 10 | Uniswap | 📄 |
| المنتج | التاريخ | مستوى الجهد | الإعلان | التقرير |
|---|---|---|---|---|
| ArmorLock | Apr 2022 | 6 | ||
| Optimus ROM | Jan 2022 | 4 | ||
| Secure Transport | Apr 2020 | 4 | ||
| Western Digital Sweet B | Jan 2020 | 4 | Western Digital | 📄 |
| SanDisk X600 | May 2019 | 6 | ثغرات متعددة في SanDisk X600 | 📄 |
| المنتج | التاريخ | مستوى الجهد | الإعلان | التقرير |
|---|---|---|---|---|
| YOLOv7 | Oct 2023 | 4 | 📄 | |
| SafeTensors | Mar 2023 | 2 | 📄 |
| المنتج | التاريخ | مستوى الجهد | الإعلان | التقرير |
|---|---|---|---|---|
| MAGIC Grants Monero FCMP ++ Crypto | Jul 2026 | 2 | 📄✅ | |
| Ripple Labs XRP Ledger Confidential Transfer | Apr 2026 | 6 | 📄✅ | |
| HyperLink AWS Nitro TEE | Mar 2026 | 2.2 | 📄✅ | |
| Open Home Foundation SecureTar v3 | Mar 2026 | 1 | 📄✅ | |
| Obsidian Sync | Dec 2025 | 2 | 📄✅ | |
| NEAR One PedPop+ | May 2025 | 4 | 📄 | |
| NEAR One MPC Chain Signatures | Mar 2025 | 6 | 📄 |
| المنتج | التاريخ | مستوى الجهد | الإعلان | التقرير |
|---|---|---|---|---|
| KEDA | Dec 2022 | 6 | OSTIF | 📄 |
| Terraform Enterprise | Nov 2022 | 6 | ||
| Nomad Enterprise | Nov 2022 | 6 | ||
| HashiCorp Cloud | Jun 2022 | 9 | ||
| Tekton | Mar 2022 | 4 | اكتملت مراجعة أمان Tekton | 📄 |
| Linkerd | Feb 2022 | 4 | 📛📄✅ | |
| CoreDNS | Jan 2022 | 4 | 📄 | |
| Terraform Enterprise | Nov 2021 | 6 |
| المنتج | التاريخ | مستوى الجهد | الإعلان | التقرير | المجموعة العامة |
|---|---|---|---|---|---|
| Panoptic | May 2024 | 9 | 📄 | ||
| Curvance | Mar 2024 | 5 | 📄 | الثوابت العامة |
| المنتج | التاريخ | مستوى الجهد | الإعلان | التقرير |
|---|---|---|---|---|
| Gemini Smart Wallet | Aug 2025 | 4 | 📄✅🔖 | |
| Otim Smart Wallet | Mar 2025 | 3 | 📄✅ | |
| dappOS v2 wallet | Jul 2023 | 3 | 📄✅ | |
| WalletConnect v2.0 | Mar 2023 | 4 | WalletConnect | 📄✅ |
| Phantom Wallet | Nov 2022 | 2 | ||
| GameStop iOS Web Wallet | Nov 2022 | 1 | ||
| GameStop Wallet | Mar 2022 | 2 | محفظة GameStop | |
| RAILGUN |
| المنتج | التاريخ | مستوى الجهد | الإعلان | التقرير |
|---|---|---|---|---|
| Folks Finance Protocol | Nov 2022 | 6 | 📄✅ | |
| wXTZ | Nov 2020 | 4 | 📄 | |
| wALGO | Nov 2020 | 4 | 📄 | |
| Meld Gold | Jul 2020 | 2 | ||
| Pixel | Dec 2019 | 4 | ||
| Algorand | Mar 2019 | 14 | نجاح وزخم Algorand |
| المنتج | التاريخ | مستوى الجهد | الإعلان | التقرير |
|---|---|---|---|---|
| Ava Labs AvalancheGo | Aug 2025 | 10 | 📄 | |
| Alkimiya Silica V2 | Jun 2022 | 6 | ||
| Ava Labs | Apr 2022 | 8 | ||
| Flare Network | Mar 2021 | 8 |
| ---| --: | :-: | --- | :-: | | ZetaChain Bitcoin Inscriptions | Jan 2025 | 2 | | 📄✅ | | Nomic | Nov 2024 | 10 | Nomic | 📄✅ | | STAS SDK | Oct 2021 | 4 | | | | STAS-JS SDK | Sep 2021 | 4 | | | | Bitcoin SV | Jan 2021 | 6 | | | Zcoin | Jul 2020 | 2 | Zcoin | 📄 | | Zcash | Apr 2020 | 3 | Electric Coin Co. | 📄 | | Zcash | Nov 2019 | 6 | NU3, Blossom, and Sapling security reviews| 📄 | | Zcash | Nov 2019 | 6 | | 📄 | | Paymail Protocol | Nov 2019 | 7 | | | | Simple Ledger | Oct 2019 | 3 | | | | Bitcoin SV | Nov 2018 | 12 | | | RSKj | Nov 2017 | 6 | RSK security audit results | 📄 |
| ---| --: | :-: | --- | :-: | | Arcus Labs Rootchain v5 Smart Contracts | Jun 2026 | 2 | | 📄✅ | | Kiln Lagoon Vault Diff Review | May 2026 | 1 | | 📄✅ | | Franklin Templeton BenjiSwap Differential Review | Apr 2026 | 1.2 | | 📄✅ | | Gensyn Buyback-and-Burn Vault | Apr 2026 | 1 | | 📄✅ | | Gensyn Bridged Token | Apr 2026 | 0.2 | | 📄 | | Gensyn ERC-20 Token | Sep 2025 | 0.2 | | 📄 | | Gensyn Delphi Dynamic Paramutuel Markets | Apr 2026 | 3.4 | | 📄✅ | | Shape TokenLock | Mar 2026 | 0.4 | | 📄✅ | | Aave v4 | Feb 2026 | 6 | | 📄✅ | | VeChain VeChainThor Hayabusa Upgrade | Oct 2025 | 6 | | 📄✅ | | Franklin Templeton BenjiSwap Contract | Oct 2025 | 1 | | 📄✅ | | Radius Technology EVMAuth | Oct 2025 | 1.2 | | 📄✅ | | Shape Buyback Contract | Sep 2025 | 0.4 | | 📄✅ | | Starkware StarkEx Diff | Aug 2025 | 0.2 | | 📄 | | Shape Token Contract | May 2025 | 1 | | 📄✅ | | CAP Labs Covered Agent Protocol | May 2025 | 9 | | 📄✅ | | Fabric Labs Zipper Protocol | May 2025 | 1 | | 📄✅ | | Lagrange LAToken | Apr 2025 | 3 | | 📄 | | Serai DEX | Apr 2025 | 3 | | 📄✅ | | Automata | Feb 2025 | 8 | | 📄✅ | | Bunni v2 | Jan 2025 | 8 | | 📄✅ | | Everstake Staking | Jan 2025 | 3 | | 📄✅ | | Parabol Smart Contracts Updates | Jan 2025 | 0.4 | | 📄 | | BeethovenX Sonic Staking | Jan 2025 | 1 | | 📄✅ | | Balancer v3 | Dec 2024 | 6 | | 📄✅ | | ULTI | Dec 2024 | 1 | | 📄✅ | | EthStaker Deposit CLI | Dec 2024 | 4 | | 📄✅ | | Plume | Nov 2024 | 1 | | 📄✅ | | Treehouse tETH Protocol | Sep 2024 | 4 | | 📄✅ | | Elixir Protocol | Aug 2024 | 4 | | 📄✅ | | Onchain Pass | Aug 2024 | 1 | | 📄✅ | | Taraxa Ficus Bridge | Jul 2024 | 1.6 | | 📄✅ | | Devcon Auction Raffle | Jun 2024 | 1 | | 📄✅ | | Aladdin f(x) Oracle | Jun 2024 | 2 | | 📄✅ | | AiLayer 6079 Contracts | May 2024 | 3 | | 📄✅ | | Hydrogen Rover Protocol | May 2024 | 0.45 | | 📄 | | Lisk Smart Contracts | May 2024 | 4 | | 📄✅ | | Parabol Smart Contracts | May 2024 | 2 | | 📄✅ | | Wonderland Prophet | May 2024 | 4 | | 📄✅ | | SEDA Chain Token Migration | Mar 2024 | 1 | | 📄✅ | | Lisk Smart Contracts | Mar 2024 | 4.6 | | 📄✅ | | Bondex Smart Contracts | Mar 2024 | 0.6 | | 📄 | | Aladdin f(x) Protocol | Mar 2024 | 4 | | 📄✅ | | Puffer Finance Contracts | Mar 2024 | 1.2 | | 📄✅ | | Intuition | Mar 2024 | 2 | | 📄 | | Helios Global | Feb 2024 | 1 | | 📄✅ | | ScopeLift Stealth Addresses | Feb 2024 | 1 | | 📄✅ | | MetaLayer Blast | Jan 2024 | 4 | | 📄✅ | | Unibot Router | Dec 2023 | 1.6 | | 📄✅ | | Acronym Foundation | Dec 2023 | 4 | | 📄✅ | | Pyth Entropy | Dec 2023 | 4 | | 📄 | | Immutable Bridge | Nov 2023 | 2 | | 📄✅ | | Salty.IO Protocol | Oct 2023 | 6 | | 📄✅ | | Spiko Smart Contracts | Oct 2023 | 1 | | 📄✅ | | Hyperlane v3 | Sep 2023 | 2 | | 📄✅ | | Elixir Contracts | Sep 2023 | 2 | | 📄✅ | | NZDD token | Aug 2023 | 0.6 | | 📄✅ | | Immutable | Aug 2023 | 4 | | 📄✅ | | Sandclock | Jul 2023 | 8 | | 📄✅ | | Arcade | Jul 2023 | 8 | | 📄✅ | | Nested Tetris/HyVM | Jun 2023 | 1 | | 📄✅ | | Franklin Templeton | May 2023 | 4 | | 📄✅ | | Prysm | Apr 2023 | 8 | | 📄✅ | | Ajna Protocol | Apr 2023 | 12 | | 📄✅ | | Raft | Apr 2023 | 2 | | 📄✅ | | MYSO v2 | Apr 2023 | 2 | MYSO | 📄✅ | | Smardex AMM | Apr 2023 | 2 | | 📄✅ | | Waymont | Mar 2023 | 1 | | | | Atlendis | Mar 2023 | 6 | Atlendis | 📄✅ | | Primitive Hyper | Mar 2023 | 8 | | 📄✅ | | Succinct Light Client | Feb 2023 | 8 | Succinct | 📄✅ | | Nested Finance | Feb 2023 | 4 | | 📄✅ | | Polygon Edge | Jan 2023 | 6 | | | | Optimism | Dec 2022 | 8 | | | | Paxos PayPal PYUSD | Dec 2022 | 1 | | 📄✅ | | GSquared | Oct 2022 | 6 | | 📄✅ | | Meson Protocol | Oct 2022 | 6 | | 📄✅ | | Managed Pools | Oct 2022 | 4 | | 📄 | | Ondo | Oct 2022 | 4 | | 📄✅ | | Maple Protocol v2 | Sep 2022 | 8 | | 📄✅ | | Increment Protocol | Sep 2022 | 4 | | 📄✅ | | Subspace Farmer | Sep 2022 | 2 | | 📄✅| | Optimism | Sep 2022 | 16 | | 📄 | | Nayms | Sep 2022 | 6 | | | | Aggregator | Aug 2022 | 2 | | | | The Franchiser | Aug 2022 | 3 | | | | Meson Protocol | Jul 2022 | 0.6 | | 📄 | | ChainPort | Jul 2022 | 8 | | 📄✅ | | Relay | Jul 2022 | 1 | | | | Beanstalk | Jul 2022 | 8 | Beanstalk | 📄✅ | | Purpose for Profit | Jul 2022 | 3 | | | | Solon | Jul 2022 | 6 | | | | Roll | Jul 2022 | 2 | | | | Ante Protocol | May 2022 | 2 | | 📄✅ | | Sherlock | Jun 2022 | 4 | | | | FlareFinance | Jun 2022 | 4 | | | | TBTv2 | Jun 2022 | 6 | | | | Morpho | Jun 2022 | 4 | Morpho | 📄 | | Relayer Contracts | Jun 2022 | 2 | | | | AuctionRaffle | May 2022 | 2 | | | | Seaport Protocol | May 2022 | 4 | OpenSea | 📄 | | Shell Protocol v2 | May 2022 | 4 | | 📄 | | Optimism | Apr 2022 | 6 | | | | NFTX | Apr 2022 | 4 | NFTX | 📄 | | ReserveLending+ | Apr 2022 | 4 | unFederalReserve | | | Firefly | Apr 2022 | 4 | | | | Maple Finance | Mar 2022 | 1 | | 📄✅ | | Gyroscope | Mar 2022 | 6 | | | | LooksRare | Mar 2022 | 4 | | 📄 | | Symbiosis | Mar 2022 | 2 | | | | RAILWAY | Feb 2022 | 4 | | | | Persistence ETH2.0 | Feb 2022 | 4 | | | | Advanced Blockchain | Feb 2022 | 6 | | 📄 | | Perpetual Protocol V2 | Feb 2022 | 4 | | 📄 | | Futureswap V4.1 | Feb 2022 | 4 | | | | Firefly | Feb 2022 | 8 | | | | API3 | Feb 2022 | 8 | | 📄 | | Beethoven X | Feb 2022 | 1 | | 📄 | | Minterest Finance | Jan 2022 | 6 | | | | pSTAKE | Jan 2022 | 6 | | | | Primitive | Jan 2022 | 8 | Primitive | 📄 | | Strips Finance | Jan 2022 | 8 | | | | Cardstack | Dec 2021 | 4 | | | | Sherlock Protocol V2 | Dec 2021 | 4 | | 📄 | | Maple | Nov 2021 | 4 | Maple | 📄 | | Advanced Blockchain | Nov 2021 | 6 | | 📄 | | Opyn | Nov 2021 | 6 | | 📄 | | Aave V3 | Nov 2021 | 12 | | 📄✅ | | Tokemak | Oct 2021 | 3 | | | | Fuji Finance | Oct 2021 | 6 | | 📄 | | V2 Vault | Oct 2021 | 4 | | | | Yield V2 | Sep 2021 | 6 | | 📄 | | Gro protocol | Sep 2021 | 2 | | | | Futureswap V4 | Sep 2021 | 6 | | | | RocketPool | Aug 2021 | 5 | | 📄 | | AlphaX | Aug 2021 | 6 | | | | Bug Bounty Platform | Aug 2021 | 8 | | | | 88mph V3 | Aug 2021 | 6 | | 📄 | | Timeswap | Jul 2021 | 2 | | | | CompliFi | Jul 2021 | 6 | | 📄 | | Optics | Jul 2021 | 2 | | | | FlareFinance | Jun 2021 | 4 | | | | Abyss Lockup | Jun 2021 | 2 | | | | Futureswap V3 | Jun 2021 | 6 | | | | CompliFi | Jun 2021 | 6 | | | | Syndicate | May 2021 | 4 | | | | Opyn Gamma | May 2021 | 6 | | 📄 | | Yearn v2 Vaults | Apr 2021 | 6 | | 📄 | | Balancer v2 | Apr 2021 | 4 | | 📄 | | DFX Finance | Apr 2021 | 6 | | | | Tokemak | Apr 2021 | 1 | | | | Warp Contracts | Apr 2021 | 6 |Composable | 📄 | | FlareFinance | Apr 2021 | 3 | | | | MC Dai | Mar 2021 | 6 | | | | dForce Lending | Mar 2021 | 6 | | | | Liquity Proxy Contract | Feb 2021 | 0.57 | | 📄 | | Liquity Protocol | Feb 2021 | 8 | | 📄| | RAY-DAO | Feb 2021 | 4 | | | | Futureswap | Jan 2021 | 2 | | | | Balancer V2 | Jan 2021 | 6 | | | | C.R.E.A.M. | Jan 2021 | 1 | | 📄 | | LUSD | Dec 2020 | 8 | | 📄 | | Origin Dollar | Nov 2020 | 4 | Origin Protocol | 📄 | | Zerion SDK | Nov 2020 | 4 | | | | Teller Protocol | Nov 2020 | 4 | | | | Hermez | Nov 2020 | 4 | Hermez | 📄 | | Graph Protocol | Oct 2020 | 3 | | | | OVM | Oct 2020 | 6 | | | | Prysm | Sep 2020 | 6 | | | | DODO | Sep 2020 | 3 | | 📄 | | Yield Protocol | Aug 2020 | 6 | | 📄 | | Smart Pool | Aug 2020 | 1 | | | | DeFiner | Aug 2020 | 1 | | | | ETH2.0 Deposit CLI | Aug 2020 | 4 | | 📄| | CurveDAO | Jul 2020 | 6 | | 📄 | | Amp | Jul 2020 | 3 | | 📄 | | Federated Bridge | Jul 2020 | 1 | | | | dForce dToken | Jul 2020 | 2 | | 📄 | | Matic | Jun 2020 | 4 | | | | Lighthouse | Jun 2020 | 4 | | | | tBTC | May 2020 | 6 | | 📄 | | QTUM | Apr 2020 | 0.43 | | 📄 | | Hegic | Apr 2020 | 0.43 | | 📄 | | Golem Network | Mar 2020 | 2 | | | | Reddit | Mar 2020 | 1 | A New Frontier | | | Chai | Feb 2020 | 0.28 | | 📄 | | Compound | Feb 2020 | 2 | | 📄 | | WorkLock | Jan 2020 | 2 | NuCypher | 📄 | | Balancer | Jan 2020 | 4 | | 📄 | | Curve.fi | Jan 2020 | 1 | | 📄 | | Livepeer | Oct 2019 | 3 | | | | Topo Finance | Oct 2019 | 4 | | | | 0x Protocol | Oct 2019 | 10 | | 📄 | | Flexa | Sep 2019 | 2 | Flexa | 📄 | | AZTEC Protocol | Sep 2019 | 10 | | 📄 | | Oasis Labs | Sep 2019 | 13 | | | | Aave Protocol | Sep 2019 | 4 | | 📄 | | MC Dai | Aug 2019 | 13 | MakerDAO | 📄 | | Staked | Aug 2019 | 4 | | | | Compound | Aug 2019 | 2 | | 📄 | | Computable | Jul 2019 | 8 | Computable | 📄 | | Numerai | May 2019 | 3 | Numerai | 📄 | | MerkleX | May 2019 | 4 | | | | TokenCard | May 2019 | 5 | | 📄 | | Unity Coin | Apr 2019 | 1 | | | | Compound | Apr 2019 | 8 | Compound | 📄 | | Ocean Protocol | Mar 2019 | 4 | Ocean Protocol | | | UMA Project | Mar 2019 | 3 | | | | Centrifuge | Mar 2019 | 5 | | | | Nomisma | Mar 2019 | 1 | | | | Set Protocol | Mar 2019 | 5 | Set Protocol | 📄 | | NuCypher | Feb 2019 | 4 | NuCypher | 📄 | | AMP StableWire | Jan 2019 | 1 | | | | EIP-1283 | Jan 2019 | 1 | ChainSecurity | 📄 | | Ampleforth | Nov 2018 | 4 | Ampleforth | 📄 | | Origin Protocol | Nov 2018 | 4 | Origin Protocol | 📄 | | Paxos Standard | Oct 2018 | 4 | | 📄 | | Basecoin | Oct 2018 | 12 | | 📄 | | Pantheon | Oct 2018 | 8 | PegaSys | 📄 | | Compound | Sep 2018 | 12 | Compound | | | NuCypher | Aug 2018 | 12 | NuCypher | 📄 | | CENTRE | Jul 2018 | 4 | CENTRE | | Bloom | Jul 2018 | 1 | Bloom | | Gemini Dollar | Jun 2018 | 8 | Gemini | 📄 | | Dharma | May 2018 | 1 | Dharma | | | Golem | Apr 2018 | 4 | Golem | 📄 | | LivePeer | Mar 2018 | 4 | Livepeer | 📄 | | DappHub | Dec 2017 | 8 | | 📄 | | MakerDAO Sai | Oct 2017 | 8 | MakerDAO | 📄 | | Omega One | Aug 2017 | 6 | | |#### NervOS
| المنتج | التاريخ | مستوى الجهد | الإعلان | التقرير |
|---|---|---|---|---|
| xUDT | Jun 2021 | 2 | ||
| Nervos -RSA | Mar 2021 | 4 | ||
| Cheque Cell & ORU | Feb 2021 | 8 | ||
| Force Bridge - Solidity | Feb 2021 | 4 | ||
| Force Bridge - Rust | Feb 2021 | 3 | ||
| Nervos SUDT | Oct 2020 | 6 | 📄 |
| المنتج | التاريخ | مستوى الجهد | الإعلان | التقرير |
|---|---|---|---|---|
| Opus | Dec 2023 | 8 | 📄✅ | |
| Aura | Aug 2023 | 8 | 📄✅ | |
| Nostra | Dec 2022 | 8 | ||
| StarkGate | Dec 2022 | 2 | ||
| StarkEx | Oct 2022 | 1 | ||
| StarkNet token | Jul 2022 | 1 | ||
| StarkPerpetual | Jan 2022 | 8 | ||
| StarkEx | Nov 2021 | 8 |
| المنتج | التاريخ | مستوى الجهد | الإعلان | التقرير |
|---|---|---|---|---|
| Telcoin Solana Peg Stability Vault | May 2026 | 1.2 | 📄✅ | |
| Jobcoin Clock-in Program | Mar 2026 | 0.6 | 📄✅ | |
| Anza Token-2022 Confidential Transfer, Blockchain | Jan 2026 | 3 | 📄 | |
| Franklin Templeton Benji Contracts | Feb 2025 | 2 | 📄✅ | |
| ZetaChain Solana Gateway | Jan 2025 | 1 | 📄✅ | |
| Solang Code Generation | Nov 2023 | 4 | 📄 | |
| Solang Code Generation, Part 1 | Nov 2023 | 2 | 📄 |
| المنتج | التاريخ | مستوى الجهد | الإعلان | التقرير |
|---|---|---|---|---|
| Orga and Merk | Nov 2024 | 10 | تدقيق أمني من Trail of Bits لـ Orga & Merk | 📄✅ |
| Berachain polaris-geth | Aug 2023 | 8 | ||
| Berachain berachain | Jun 2023 | 6 | ||
| Umee | Feb 2022 | 8 | 📄 | |
| Columbus-5 | Jan 2022 | 2 | ||
| IBC Protocol | Dec 2021 | 4 | ||
| THORChain | Aug 2021 | 12 | ||
| Tendermint | Mar 2019 | 12 | ||
| ndau | Nov 2018 | 8 | Policy Council |
| المنتج | التاريخ | مستوى الجهد | الإعلان | التقرير |
|---|---|---|---|---|
| Kolibri | Apr 2022 | 4 | ||
| Tezori (T2) | Dec 2020 | 4 | 📄 | |
| Dexter | Jun 2020 | 4 | 📄 | |
| Tezori | Jul 2018 | 2 | شكرًا لـ @trailofbits على مراجعتهم الأمنية |
| 2023 |
| هجمات Fiat-Shamir الضعيفة على أنظمة الإثبات الحديثة | IEEE S&P 2023 | 2023 |
| Endoprocess: عزل العمليات الفرعية القابل للبرمجة والتوسيع | NSPW 2023 | 2023 |
| CIVSCOPE: تحليل أخطاء تلف الذاكرة المحتملة في واجهات الأقسام | SOSP KISV 2023 | 2023 |
| اكتشاف أخطاء التباين من خلال التحليل الهجين لتدفق التحكم والبيانات | LangSec 2023 | 2023 |
| النقاط العمياء: اكتشاف مدخلات البرنامج المتجاهلة تلقائيًا | LangSec 2023 | 2023 |
| إثباتات فعالة لقابلية استغلال البرمجيات للمعالجات الواقعية | PETS 2023 | 2023 |
| نحو تقييمات شاملة للمخاطر وضمان أنظمة الذكاء الاصطناعي | arXiv | 2023 |
| تقييم مقارن شامل لأدوات إعادة كتابة الثنائيات x86-64 | CSET 22 | 2022 |
| حول تحسين الحسابات المتزامنة المكافئة | PLDI EGRAPHS 2022 | 2022 |
| تقييم أدوات التحليل الثابت عبر الطفرات التفاضلية | QRS 2021 | 2021 |
| echidna-parade: تشويش متنوع متعدد النوى للعقود الذكية | ISSTA 2021 | 2021 |
| تحليل تفاضلي لمفككات تعليمات x86-64 | LangSec 2021 | 2021 |
| Echidna: تشويش فعّال وسهل الاستخدام وسريع للعقود الذكية | ISSTA 2020 | 2020 |
| ICARUS: فهم التنسيقات الفعلية عبر الريش والشمع | LangSec 2020 | 2020 |
| نحو استخراج القواعد النحوية تلقائيًا عبر التصنيف الدلالي لتطبيقات المحللات | LangSec 2020 | 2020 |
| ما هي العيوب الفعلية في العقود الذكية المهمة؟ | FC 2020 | 2020 |
| Echidna: أداة تشويش عملية للعقود الذكية | FC 2020 | 2020 |
| RSA GTFO | PoC||GTFO 0x20 | 2020 |
| Manticore: التنفيذ الرمزي للثنائيات والعقود الذكية | ASE 2019 | 2019 |
| Slither: إطار تحليل ثابت للعقود الذكية | WETSEB 2019 | 2019 |
| نحو اكتشاف أكثر ذكاءً للثغرات باستخدام التعلم الآلي | AISec 2018 | 2018 |
| ماضي Cyberdyne وحاضرها ومستقبلها | IEEE S&P | 2018 |
| DeepState - الاختبار الوحدوي الرمزي للغتي C وC++ | BAR 2018 | 2018 |
| الخداع السيبراني والإسناد في تمارين التقاط العلم | FOSINT-SI 2015 | 2015 |
| 2023 |
| MLIR هو مستقبل تحليل البرامج | Peter Goodman | 2023 |
| موعظة حول غفران التضحية الحاسوبية؛ أو البركات الوفيرة لبرمجة لعبة NES عبثية | Evan Sultanik | 2021 |
| تحليل تفاضلي لمفككات تعليمات x86-64 | William Woodruff, Niki Carroll, Sebastiaan Peters | 2021 |
| كيف تجد الأخطاء عندما لا تكون الحقيقة (الأساسية) حقيقية | William Woodruff | 2020 |
| نحو استخراج القواعد النحوية تلقائيًا عبر التصنيف الدلالي لتطبيقات المحللات | Carson Harmon, Brad Larsen, Evan Sultanik | 2020 |
| غدر الملفات وأداتان جديدتان تروّضانها | Evan Sultanik | 2019 |
| التنفيذ الرمزي لطاغٍ ضبابي | Stefan Edwards | 2019 |
| حقن الأعطال في نطاق النواة باستخدام KRF | William Woodruff | 2019 |
| التنفيذ الرمزي للثنائيات باستخدام KLEE-Native | Sai Vegasena | 2019 |
| الانطلاق بجنون على نواة Linux | William Woodruff | 2019 |
| نمذجة الثغرات باستخدام Binary Ninja | Josh Watson | 2018 |
| تعددية الملفات؛ أو، هذا الإثبات هو أيضًا صورة قطط | Evan Sultanik | 2017 |
| كن نجمًا في عالم الثنائيات | Sophia D'Antoine | 2017 |
| التنفيذ الرمزي للبشر | Mark Mossberg | 2017 |
| روح التسعينيات لا تزال حية في بروكلين | Ryan Stortz, Sophia D'Antoine | 2017 |
| حلم مبارزة بين التحليل الثابت والديناميكي | Ryan Stortz | 2016 |
| حل القيود الثنائية لتوليد الاستغلالات تلقائيًا | Sophia D'Antoine | 2016 |
| ثورة أداة التشويش الذكية | Dan Guido | 2016 |
| بناء نظام اختراق آلي قابل للتوسع | Artem Dinaburg | 2016 |
| Cyberdyne - اكتشاف الأخطاء تلقائيًا على نطاق واسع | Peter Goodman | 2016 |
| McSema: الترجمة الثابتة لتعليمات x86 إلى LLVM IR | Andrew Ruef, Artem Dinaburg | 2014 |
| Michael D. Brown |
| 2023 |
| استغلال ملفات Pickle في التعلم الآلي | Carson Harmon, Evan Sultanik, Jim Miller, Suha Sabi Hussain | 2021 |
| PrivacyRaven: اختبار شامل للخصوصية للتعلم العميق | Suha Sabi Hussain | 2020 |
| William Woodruff |
| 2022 |
| المحتوى الغامض في تغليف Python | William Woodruff | 2022 |
| أدوات آلية لتأمين سلسلة توريد البرمجيات | Michael D. Brown | 2022 |
| تحسين أمان PyPI باستخدام المصادقة الثنائية | William Woodruff | 2019 |
| Scroll l2geth [diff] | Aug 2023 | 2 | 📄 |
| Scroll l2geth [initial] | Aug 2023 | 2 | 📄 |
| Scroll ZkEVM Wave 2 | Aug 2023 | 6 | 📄✅ |
| Scroll zkTrie | Jul 2023 | 4 | 📄✅ |
| Scroll ZkEVM Wave 1 | Apr 2023 | 23 | 📄✅ |
| NEAR One Robust ECDSA | Feb 2026 | 6.4 | 📄✅ |
| Anza BLS Signatures | Mar 2026 | 1 | 📄 |
| DV Labs Charon Pedersen DKG | Feb 2026 | 2 | 📄✅ |
| Anza Token-2022 Confidential Transfer, Cryptography | Jan 2026 | 7 | 📄 |
| Calyx Institute HSM Provisioning Ceremony Scripts | Jan 2026 | 1 | 📄✅ |
| BSV Blockchain TS-SDK | Jan 2026 | 6 | 📄✅ |
| Bron Labs MCP Library | Jan 2026 | 8 | 📄✅ |
| NEAR One Confidential Key Derivation | Dec 2025 | 4 | 📄✅ |
| Zama | Oct 2025 | 32.2 |
| DFINITY Orbit | Sep 2025 | 4 | 📄✅ |
| DFINITY Oisy | Sep 2025 | 4 | 📄✅ |
| Google Longfellow | Aug 2025 | 4.6 | 📄✅ |
| Open Quantum Safe liboqs | Apr 2025 | 5 | Open Quantum Safe | 📄 |
| Go Crypto Libraries | Mar 2025 | 12 | Go | 📄✅ |
| Zkonduit EZKL | Mar 2025 | 11 | EZKL | 📄✅ |
| Scopely Monopoly Go! | Dec 2024 | 2 | 🔖 |
| Aligned | Dec 2024 | 3 | 📄✅ |
| Discord DAVE | Sep 2024 | 5 | Discord | 📄✅ |
| Discord DAVE | Aug 2024 | 4 | Discord | 📄✅ |
| Lit Protocol Cait-Sith | Jun 2024 | 10 | 📄✅ |
| Iron Fish FishHash | Apr 2024 | 1 | Iron Fish | 📄✅ |
| AgileBits Snow | Mar 2024 | 4 | 📄✅ |
| Silence Laboratories Silent Shard | Feb 2024 | 5 | 📄✅ |
| Snow | Jan 2024 | 4 | 📄✅ |
| Ockam | Nov 2023 | 11 | Trail of Bits | 📄 |
| Dfinity Candid | Nov 2023 | 3 | 📄✅ |
| Axiom Halo2 Library Upgrades | Oct 2023 | 6 | Axiom | 📄✅ |
| Aleo snarkVM, snarkOS, BullsharkBFT | Oct 2023 | 18 | Aleo | 📄✅ |
| Axiom Halo2 Libraries | Jun 2023 | 14 | Axiom | 📄✅ |
| Dfinity ckBTC and BTC Integration | Jun 2023 | 2.5 | المنتدى, المدونة |
| Dfinity SNS Phase 2 | Jun 2023 | 2.5 | المنتدى, المدونة | 📄 |
| Thesis tss-lib BitForge | Jun 2023 | 0.2 | Threshold | 📄✅ |
| Chainflip | Apr 2023 | 12 | Chainflip | 📄✅ |
| Stealth Addresses | Feb 2023 | 2 | 📄✅ |
| Succinct ZK Light Client | Feb 2023 | 8 | Succinct | 📄✅ |
| noble-curves Library | Jan 2023 | 2 | 📄✅ |
| ParaSpace | Dec 2022 | 1 | 📄 |
| Phantom Wallet | Nov 2022 | 2 |
| ParaSpace | Nov 2022 | 7 | 📄✅ |
| SimpleX Chat | Oct 2022 | 1 | SimpleX | 📄 |
| Dfinity | Sep 2022 | 4 | المنتدى, المدونة | 📄✅ |
| Aleo snarkVM | Sep 2022 | 12 | 📄✅ |
| Microsoft/Verasion Go-COSE | Jul 2022 | 4 | 📄✅ |
| BLS Signature Scheme | Jul 2022 | 1 |
| Binance CGGMP21 and FROST | May 2022 | 8 |
| Aleo snarkVM & snarkOS | Apr 2022 | 12 |
| Phantom Wallet | Apr 2022 | 4 |
| Parallel Finance | Mar 2022 | 6 | 📄 |
| Polkadex | Feb 2022 | 10 |
| Linux Kernel | Apr 2021 | 2 | توقيع الإصدار وإدارته | 📄 |
| Standard Notes | Mar 2020 | 1 | Standard Notes | 📄 |
| Project Callisto | Aug 2018 | 5 |
| --- | --: | :-: | --- | :-: |
| PyTorch ExecuTorch | Jun 2026 | 9 | OSTIF | 📄✅ |
| Turnkey Key Management System | Jun 2026 | 8 | 📄✅ |
| Persona Identities Claims Verification | May 2026 | 3 | 🔖 |
| PyPI Warehouse | Apr 2026 | 6 | 📄 |
| Propeller Heads Turbine Front End and SDK | Mar 2026 | 2 | 📄✅ |
| Propeller Heads Turbine | Mar 2026 | 8 | 📄✅ |
| Zoo Text-to-CAD Platform | Mar 2026 | 4 | 📄✅ |
| iVerify | Jun 2026 | 2 | 📄✅ |
| X XChat | Oct 2025 | 4 | 📄✅ |
| Edera Runtime Container | Oct 2025 | 4 | 📄 |
| Meta WhatsApp Private Processing | Aug 2025 | 12 | WhatsApp, Trail of Bits | 📄✅ |
| Discord E2EE WebAssembly | Jun 2025 | 3 | 📄 |
| libVLC | May 2025 | 5 | 📄 |
| NATS Server | Feb 2025 | 6 | 📄✅ |
| Istio Ztunnel | Dec 2024 | 2 | OSTIF, Istio | 📄✅ |
| RubyGems.org | Dec 2024 | 5 | 📄 |
| Kraken Wallet In-App Browser | Nov 2024 | 4 | 📄✅ |
| Kraken Wallet iCloud Backup | Sep 2024 | 2 | 📄✅ |
| Hugging Face Gradio | Jul 2024 | 4 | Hugging Face, Trail of Bits | 📄✅ |
| Zoo KittyCAD | Jun 2024 | 4.6 | 📄✅ |
| Polygon Labs Iden3 Circuits | May 2024 | 2 | 📄✅ |
| Kraken Mobile Wallet | Jan 2024 | 7 | Kraken | 📄✅ |
| Eclipse Temurin | Dec 2023 | 4 | الرد, OSTIF, Eclipse Foundation | 📄✅ |
| Arch Linux Pacman | Dec 2023 | 2 | OTF | 📄✅ |
| cURL HTTP3 | Dec 2023 | 4 | OSTIF, Daniel Stenberg | 📄 |
| Lisk SDK 6.1 modules | Sep 2023 | 4 | 📄✅ |
| OpenSSL | Sep 2023 | 9 | OSTIF, OpenSSL | 📄✅ |
| PyPI Warehouse | Sep 2023 | 10 | PyPI, Trail of Bits | 📄✅ |
| wasmCloud | Sep 2023 | 6 | 📄✅ |
| Worldcoin | Aug 2023 | 6 | 📄✅ |
| Homebrew | Aug 2023 | 6 | 📄 |
| DigitalOcean OIDC | Aug 2023 | 4 | 📄 |
| Flux | Aug 2023 | 4 | OSTIF, Flux | 📄✅ |
| Lisk SDK | Jul 2023 | 30 | 📄✅ |
| DragonFly2 | Jul 2023 | 4 | Dragonfly, OSTIF | 📄✅ |
| Eclipse JKube | May 2023 | 5 | OSTIF, Eclipse | 📄✅ |
| Chainflip | Apr 2023 | 12 | Chainflip | 📄✅ |
| Eclipse Mosquitto | Mar 2023 | 4 | OSTIF, Eclipse | 📛📄✅ |
| Eclipse Jetty | Mar 2023 | 6 | Jetty, Eclipse | 📄✅ |
| Spool Platform | Mar 2023 | 8 | 📄✅ |
| Redpanda Platform | Jan 2023 | 4 |
| Injective Labs Options Market | Jan 2023 | 4 |
| OpenVPN3 | Jan 2023 | 6 |
| OpenVPN2 | Dec 2022 | 4 | OpenVPN | 📄✅ |
| OpenArchive Save (Android) | Dec 2022 | 1 | OpenArchive Save | 📄✅ |
| Enclave Markets | Nov 2022 | 9 |
| Fiat Ramps | Nov 2022 | 4 |
| cURL | Oct 2022 | 9.5 | OSTIF, Daniel Stenberg. Trail of Bits | 📄✅📛 |
| CloudEvents | Oct 2022 | 4 | OSTIF | 📄 |
| OpenArchive Save (iOS) | Oct 2022 | 1.2 | OpenArchive Save | 📄✅ |
| AlphaSOC API | Sep 2022 | 1 | 📄✅ |
| Consul Enterprise | Sep 2022 | 6 |
| snarkVM | Sep 2022 | 12 | 📄✅ |
| Hashicorp Boundary | Jul 2022 | 6 |
| Skiff | Jul 2022 | 6 |
| Terraform Cloud | Jun 2022 | 6 |
| Datadog | May 2022 | 6 |
| MATTR | May 2022 | 4 |
| ArmorLock | Apr 2022 | 6 |
| DigitalOcean Function | Apr 2022 | 4 |
| Auvik Collector | Apr 2022 | 8 |
| Fuchsia Platform | Mar 2022 | 8 |
| Optimus ROM | Jan 2022 | 4 |
| BitcoinBeach | Mar 2022 | 4 | 📄 |
| osquery | Jan 2022 | 6 | 📄 |
| Redjack | Dec 2021 | 2 |
| DigitalOcean Cloud | Nov 2021 | 12 |
| SpruceID | Oct 2021 | 12 | 📄 |
| Doppler | Sep 2021 | 4 |
| Datadog Agent | Aug 2021 | 8 |
| Appian | Jun 2021 | 4 |
| Cashero-2.0 | Jun 2021 | 4 |
| Orbit | Apr 2021 | 1 |
| VGS Proxy | Apr 2021 | 4 |
| Skiff | Feb 2021 | 4 |
| CircleCI Server 3.0 | Jan 2021 | 6 | اختبار الاختراق في CircleCI |
| BitMEX | Jan 2021 | 4 |
| SecureDrop | Dec 2020 | 8 | التدقيق الثاني لمحطة عمل SecureDrop | 📄 |
| Citizen Browser | Dec 2020 | 0.43 | كيف بنينا مُفتّش فيسبوك |
| Ren | Aug 2020 | 4 | تحديث التطوير لشهر أغسطس | 📄 |
| Hey.com | Jun 2020 | 1 | الأمان الجاد | 📄 |
| Azure Sphere | Jun 2020 | 12 | تحسينات الأمان في Azure Sphere 20.07 |
| Zoom | May 2020 | 9 | انتهت 90 يومًا، ما التالي لـ Zoom |
| Secure Transport | Apr 2020 | 4 |
| ZeroTier 2.0 | Mar 2020 | 2 | ZeroTier | 📄 |
| Voatz | Feb 2020 | 12 | Voatz, Tusk | 📄📛 |
| Vault | Feb 2020 | 12 |
| Voice | Jan 2020 | 4 |
| Azure Sphere | Jun 2019 | 12 |
| zlib | Sep 2016 | 1 | 📄 |
| Nomad Enterprise | Nov 2021 | 6 |
| Consul Enterprise | Oct 2021 | 6 |
| Vault Enterprise | Oct 2021 | 6 |
| HashiCorp Cloud | Jun 2021 | 8 |
| Argo | Mar 2021 | 4 | 📛📄 |
| Terraform Cloud | Jan 2021 | 6 |
| Consul | Oct 2020 | 10 |
| Nomad | Aug 2020 | 6 |
| Helm | Aug 2020 | 4 | تدقيق الأمان الثاني لـ Helm | 📄 |
| Terraform | Mar 2020 | 6 |
| OPA | Mar 2020 | 2 | اقتراح تخرج Open Policy Agent (OPA) | 📄 |
| etcd | Jan 2020 | 4 | CNCF | 📄 |
| Rook | Dec 2019 | 2 | CNCF | 📄 |
| Kubernetes | May 2019 | 12 | Google, CNCF | 📛📄📰 |
| Feb 2022 |
| 4 |
| Casper Web Wallet | Jul 2021 | 4 | 📄 |
| Argent | Aug 2020 | 4 |
| Magma | Jun 2020 | 1 | 📄 |
| Dharma Wallet | Oct 2019 | 4 | 📄 |
| ZecWallet | Apr 2019 | 2 | 📄 |
| Web3 | Mar 2018 | 2 | إرشادات W3F و TOB لمحافظ الأجهزة | 💬 |
| Squads V4 | Oct 2023 | 2 | Squads | 📄✅ |
| Solang Parser and Semantic Analysis | Sep 2023 | 2 | 📄 |
| Solang Solana Library | Jul 2023 | 1 | 📄 |
| Token-2022 Program | Feb 2023 | 1 | 📄✅ |
| Drift Protocol | Dec 2022 | 6 | Drift | 📄✅ |
| Solana | Apr 2022 | 12 |
| 📄 |
| Acala Network | Jun 2021 | 4 |
| Compound Chain | May 2021 | 6 |
| Acala Network | Jan 2021 | 6 | 📄 |
| Parity Fether | Aug 2019 | 4 |
| Parity | Jul 2018 | 12 | تُكمل Parity مراجعة أمنية من Trail of Bits | 📄 |
