Details of 'RGS/QKD-0005ed2_SecProofs' Work Item Schedule