Lev SoukhanovLev Soukhanov has worked with [[alloc] init].1 talk by Lev SoukhanovZK14 -Towards Practical Witness Encryption from Arithmetic Affine Determinant Programs Lev Soukhanov