Abstract. Distributed systems are a cornerstone in everyday life. From Dropbox to Google Drive, people rely more and more in remote administration of confidential data. This fact begs for a major improvement in provable protection and anonymization of data.