Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 1.
2013
Cheval, Vincent and Cortier, Véronique and Plet, Antoine (2013) Lengths May Break Privacy – Or How to Check for Equivalences with Length. In: 25th International Conference on Computer Aided Verification (CAV'13), July 2013, St Petersburg, Russia. (doi:https://doi.org/10.1007/978-3-642-39799-8_50) (Full text available) |