Advertisement · 728 × 90
#
Hashtag
#DTTIS
Advertisement · 728 × 90
noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova
noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova
@noerdman.bsky.social
5 months ago
Post image Post image Post image

#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

0 0 0 0
noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova
noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova
@noerdman.bsky.social
5 months ago
Post image

#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

0 0 0 0