Matteo Busi
@mttbsu
Researcher at @CaFoscari. Formal methods, language-based security and secure compilation.
ID: 174181411
http://matteobusi.github.io 03-08-2010 08:52:16
173 Tweet
84 Followers
684 Following
@mttbsu
Researcher at @CaFoscari. Formal methods, language-based security and secure compilation.
ID: 174181411
http://matteobusi.github.io 03-08-2010 08:52:16
173 Tweet
84 Followers
684 Following