@inproceedings{BLP03a,
title = {Abstract Interpretation for Secrecy using Patterns },
author = {Bozga, Liana and Lakhnech, Yassine and P'erin, Micha\"el},
year = {2003},
booktitle = {TACAS'03},
series = {LNCS},
volume = {2619},
team = {DCS,PACSS},
}
