Isc 2007 Computer Science Theory Paper