Denis Butin, Giampaolo Bella. Verifying Privacy by Little Interaction and No Process Equivalence. In Pierangela Samarati, Wenjing Lou, Jianying Zhou, editors, SECRYPT 2012 - Proceedings of the International Conference on Security and Cryptography, Rome, Italy, 24-27 July, 2012, SECRYPT is part of ICETE - The International Joint Conference on e-Business and Telecommunications. pages 251-256, SciTePress, 2012.
@inproceedings{ButinB12, title = {Verifying Privacy by Little Interaction and No Process Equivalence}, author = {Denis Butin and Giampaolo Bella}, year = {2012}, researchr = {https://researchr.org/publication/ButinB12}, cites = {0}, citedby = {0}, pages = {251-256}, booktitle = {SECRYPT 2012 - Proceedings of the International Conference on Security and Cryptography, Rome, Italy, 24-27 July, 2012, SECRYPT is part of ICETE - The International Joint Conference on e-Business and Telecommunications}, editor = {Pierangela Samarati and Wenjing Lou and Jianying Zhou}, publisher = {SciTePress}, isbn = {978-989-8565-24-2}, }