An Abstract Interpretation-based Approach to Mobile Code Safety | Publicación