#DTTIS2025 - Kamalika Datta and Lennart Weingarten from @unibremen.bsky.social and @dfki.bsky.social presenting our papers at #DTTIS dttis2025.uniwa.gr @dsc-ub.bsky.social #verification #synthesis #Plim #PolyVer

#DTTIS2025 - Lennart Weingarten from @unibremen.bsky.social presents our paper on "Towards Proofs for SCA-based Efficient Formal Verification of Complex Arithmetic Circuits" at #DTTIS dttis2025.uniwa.gr @dsc-ub.bsky.social @dfki.bsky.social #verification #formal #PolyVer