SafeTSA: a type safe and referentially secure mobile-code representation based on Static Single Assignment form (2001)

by Wolfram Amme
Citations:75 - 35 self