رون ريفست

قدّم ريفست، بالاشتراك مع آدي شامير وليونارد أدلمان ، نظام التشفير RSA عام 1978، ^[C1] الذي أحدث ثورة في علم التشفير الحديث بتوفيره أول طريقة عملية وموصوفة علنًا للتشفير بالمفتاح العام . ويُقال إن ريفست فكّر في الفكرة الأساسية وراء نظام التشفير بعد أن شرب كميات كبيرة من النبيذ أثناء احتفاله بعيد الفصح مع شامير وأدلمان في منزل أحد الطلاب. ^{[ 6 ] [ 7 ]} وقد فاز الثلاثة بجائزة تورينج عام 2002 "لمساهمتهم البارعة في جعل التشفير بالمفتاح العام مفيدًا عمليًا". ^{[ 8 ]} وكانت هذه الورقة البحثية أيضًا أول من قدّم شخصيتي أليس وبوب الخياليتين ، اللتين استُخدمتا كبطلتين للعديد من بروتوكولات التشفير اللاحقة . ^{[ 9 ]} في العام نفسه، صاغ ريفست وأدلمان ومايكل ديرتوزوس لأول مرة مفهوم التشفير المتماثل وتطبيقاته في الحوسبة السحابية الآمنة ، ^[C2] وهي فكرة لم تتحقق إلا بعد أكثر من 40 عامًا عندما تم تطوير خوارزميات التشفير المتماثل الآمنة أخيرًا. ^{[ 10 ]}

كان ريفست أحد مخترعي نظام التوقيع العام GMR ، الذي نُشر بالاشتراك مع شافي غولدواسير وسيلفيو ميكالي عام 1988، ^{[C3] [ 11 ]} ومخترع التوقيعات الحلقية ، وهي شكل مجهول الهوية من التوقيعات الجماعية ، والتي ابتكرها بالاشتراك مع شامير ويائيل تاومان كالاي عام 2001. ^[C7] كما صمم دالتي التشفير التجزئي MD4 و MD5 ، اللتين نُشرتا عامي 1990 و1992 على التوالي، ^{[C4] [C5]} وسلسلة من تشفيرات الكتل ذات المفاتيح المتناظرة ، والتي تشمل RC2 و RC4 و RC5 و RC6 . ^{[C6] [C8]}

وتشمل المساهمات الأخرى لريفست في علم التشفير التشويش والتصفية ، وبروتوكول التعشيق لمصادقة تبادل المفاتيح المجهول ، وكبسولات زمنية تشفيرية مثل LCS35 استنادًا إلى التحسينات المتوقعة في سرعة الحساب من خلال قانون مور ، وتبييض المفاتيح وتطبيقه من خلال وضع مفتاح xor-encrypt-xor في توسيع معيار تشفير البيانات إلى DES-X ، ونظام Peppercoin للمدفوعات الصغيرة المشفرة .

في عام 1973، نشر ريفست وزملاؤه أول خوارزمية اختيار تحقق زمنًا خطيًا دون استخدام العشوائية . ^{[A1] [ 12 ]} تُدرَّس خوارزميتهم، طريقة وسيط الوسائط ، بشكل شائع في دورات الخوارزميات. ^{[ 13 ]} يُعد ريفست أيضًا أحد الشخصين اللذين سُميت خوارزمية فلويد-ريفست باسمهما ، وهي خوارزمية اختيار عشوائية تحقق عددًا شبه مثالي من المقارنات. ^{[A2] [ 14 ]}

تناولت أطروحة ريفست للدكتوراه عام 1974 استخدام جداول التجزئة لمطابقة أجزاء الكلمات في المستندات بسرعة؛ ونشرها لاحقًا في مجلة علمية. ^[A3] وأصبح بحثه في تلك الفترة حول القوائم ذاتية التنظيم ^[A4] من أهم العوامل التي مهدت لتطوير التحليل التنافسي للخوارزميات عبر الإنترنت . ^{[ 15 ]} وفي أوائل ثمانينيات القرن العشرين، نشر أيضًا بحثًا ذا أهمية بالغة حول مسائل تعبئة الصناديق ثنائية الأبعاد ، ^[A5] وحول توجيه القنوات في تصميم الدوائر المتكاملة واسعة النطاق (VLSI) . ^[A6]

وهو مؤلف مشارك لكتاب " مقدمة في الخوارزميات " (المعروف أيضاً باسم CLRS )، وهو كتاب مرجعي قياسي في مجال الخوارزميات، مع توماس إتش. كورمن ، وتشارلز إي. ليسرسون، وكليفورد شتاين . نُشر الكتاب لأول مرة عام 1990، وصدرت منه أربع طبعات، أحدثها عام 2022. ^[A7]

في مسألة تعلم شجرة القرار ، أثبت ريفست ولوران هيفيل أن إيجاد شجرة قرار تُحدد كل عنصر من مجموعة عناصر من خلال أسئلة ثنائية القيمة (كما في لعبة العشرين سؤالًا ) وتُقلل من العدد المتوقع للأسئلة المطروحة، يُعد مسألةً كاملةً من نوع NP . ^[L1] كما أظهر ريفست، بالتعاون مع أفريم بلوم ، أنه حتى بالنسبة للشبكات العصبية البسيطة جدًا ، قد يكون تدريب الشبكة من خلال إيجاد الأوزان التي تسمح لها بحل مهمة تصنيف معينة بشكل صحيح مسألةً كاملةً من نوع NP. ^[L3] وعلى الرغم من هذه النتائج السلبية، فقد وجد أيضًا طرقًا لاستنتاج قوائم القرار بكفاءة ، ^[L2] وأشجار القرار، ^[L4] والآلات المحدودة . ^[L5]

يُعدّ أمن الانتخابات موضوعًا هامًا في أبحاث ريفست الحديثة ، استنادًا إلى مبدأ استقلالية البرمجيات : أي أن أمن الانتخابات يجب أن يُبنى على السجلات المادية، بحيث لا تُؤدي التغييرات الخفية في البرمجيات المستخدمة في أنظمة التصويت إلى تغييرات غير قابلة للكشف في نتائج الانتخابات. تشمل أبحاثه في هذا المجال تحسين متانة الشبكات المختلطة في هذا التطبيق، ^[V1] واختراع نظام التصويت الورقي ThreeBallot عام 2006، وهو نظام تصويت قابل للتدقيق من البداية إلى النهاية (وقد أتاح استخدامه للعموم بهدف تعزيز الديمقراطية)، ^{[V2] [ 8 ]} وتطوير نظام Scantegrity الأمني ​​لأنظمة التصويت بالمسح الضوئي . ^[V3]

كان عضواً في لجنة تطوير المبادئ التوجيهية الفنية التابعة للجنة مساعدة الانتخابات . ^{[ 16 ]}