Verification of Privacy-Enhanced Collaborations.

Sara Belluccini, Rocco De Nicola, Marlon Dumas, Pille Pullonen, Barbara Re, Francesco Tiezzi

Browse the full ICSE paper archive.