#DVConEurope2025 - today Lennart Weingarten from @unibremen.bsky.social presents on "Transformation-Aided Verification of MAC Designs using Symbolic Compute Algebra" at #DVConEurope; paper available #online at agra.informatik.uni-bremen.de/doc/konf/DVC... #verification #PolyVer @dfki.bsky.social