Computer Science Conferences Should Require Nonrepudiable Experimental Results
تجادل هذه الورقة الموقفية بضرورة اعتماد مؤتمرات علوم الحاسوب بروتوكولات غير قابلة للتلاعب وغير قابلة للإنكار لربط النتائج التجريبية المُبلغ عنها بالحسابات الفعلية تشفيراً، وذلك لمعالجة فجوات التحقق الحالية من خلال نموذج تهديد رسمي وتنفيذ مرجعي يسمى K-Veritas.