Magdalena Solitro
@msolitro.bsky.social
Ph.D. student @ TU Wien (Security & Privacy Research Unit).
Formal methods for blockchain security 🔐⛓️
Formal methods for blockchain security 🔐⛓️
Reposted by Magdalena Solitro
Excited to highlight Markus Scherer's talk at #Wasm Research Days. A collaborative masterpiece with J.F.Blaabjerg (Aarhus University) and A. Sjösten, @msolitro.bsky.social, @matteomaffei.bsky.social sky.social from @tuwien.at. Discover how Wappler pioneers in this domain youtu.be/KwI55q4GBxo?...
March 11, 2025 at 7:53 AM
Excited to highlight Markus Scherer's talk at #Wasm Research Days. A collaborative masterpiece with J.F.Blaabjerg (Aarhus University) and A. Sjösten, @msolitro.bsky.social, @matteomaffei.bsky.social sky.social from @tuwien.at. Discover how Wappler pioneers in this domain youtu.be/KwI55q4GBxo?...