I am a software developer in the eXtreme Computing Group at Microsoft Research Redmond. My team focuses on protyping and research projects in the field of computer security, including policy languages and credentials, software and hardware based systems security, and cryptography. My past projects include work on the design and implementation of the SecPAL policy language, and research into applications of abductive analysis techniques for logic-based policy languages. Additionaly I worked on Parsec, an experimental system using virtual machines as security isolation boundaries, hardware and virtualized TPM's for code attestation, and SecPAL for system-wide remotely configurable authorization policies. The SecPAL for Azure project focused on integrating SecPAL authentication and authorization into Azure's cloud based blob store allowing fine-grained delegation and distributed management of permissions, as well as the extension of the SecPAL system to include fully anonymous credentials using Groth-Sahai based zero-knowledge proofs.
I also have a keen interest in machine learning!
- Moritz Y. Becker and Jason Mackay, Relaxed Safeness in Datalog-Based Policies, in 5th International Symposium on Linked Rules (RuleML), Springer, November 2011.
- Moritz Y. Becker, Jason F. Mackay, and Blair Dillaway, Abductive Authorization Credential Gathering, in IEEE International Symposium on Policies for Distributed Systems and Networks (POLICY), IEEE, July 2009.
- Moritz Y. Becker, Jason F. Mackay, and Blair Dillaway, An Abductive Protocol for Authorization Credential Gathering in Distributed Systems, no. MSR-TR-2009-19, 24 February 2009.