23w premeeting_cts.pdf premeeting_stps.pdf bx23w_premeeting.pdf bxqual23w premeeting_fmis abx23w_premeeting 2023SS-verifiable-computation-vorbesprechung.pdf