Browse by Person (creator, editor, contributor, etc.)
Up a level |
Jump to: Conference or workshop item
Number of items: 1.
Conference or workshop item
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) |