Information Leakage Detection in Boundary Ambients