@inproceedingsFro2015, Author = {Fröschle, Sibylle}, Title = {Leakiness is Decidable for Well-Founded Protocols}, Year = {2015}, Pages = {176-196}, Publisher = {Springer-Verlag}, Series = {LNCS}, Edition = {9036}, Booktitle = {Principles of Security and Trust (POST'15)}, type = {inproceedings} @COMMENTBibtex file generated on