
@article {ar:PopescuLammich2014,
	title = {Bounded-Deducibility Security},
	journal = {Archive of Formal Proofs},
	year = {2014},
	author = {A. Popescu and P. Lammich}
}
