230 followers Verification papers @verif_papers Formalizing a Secure Foreign Function Interface. - Adriaan Larmuseau, Dave Clarke http://t.co/6MlbJdVWVn 26 Aug 2015 Reply Repost Favourite