mazieres调查的方法来提高操作系统，文件系统和分布式系统的安全性。此外，他还对大规模对等网络系统和电子邮件隐私保护工作。