Validating the security and stability of the grader for a programming contest system
- Article: Validating the security and stability of the grader for a programming contest system
- Author(s): Tocho Tochev, Tsvetan Bogdanov
- Journal: Olympiads in Informatics 4 (2010), 113-119
Abstract: Automated judging systems have had the tough task of ensuring the normal proceeding of programming contests for a long time. There are numerous ways proposed to secure the execution of a contestant's solution and many more actual implementations. In this article we review some criteria which the core of such systems must meet in order to be considered stable and secure. We will focus only on the core, as the functions it performs are similar across the variety of existing systems and it is the part of the system designed specifically to withstand attacks. In fact these criteria were created with their respective test cases in order to verify the grader we used in IOI 2009.
Keywords: contests system, judging system, sandbox security, grader security, grader testing, grader test harness, "black box" testing, IOI 2009
Download: http://www.mii.lt/olympiads_in_informatics/htm/INFOL058.htm (free)