@mbusi.bsky.social
43 Followers · 91 Following
Researcher at @CaFoscari. Formal methods, language-based security and secure compilation.
Nothing here yet.
