I am a member of the Programming Principles and Tools and the Security Research Group at Microsoft Research in Cambridge, UK.
I am interested in security and distributed systems, and in particular, logics for authorization. Recent research has focussed on authorization policies for community-wide Electronic Health Records (EHR), the design and implementation of SecPAL (Security Policy Assertion Language), policy analysis foundations and tools, and usability of authorization languages. I graduated with a Computer Science degree from Trinity College, University of Cambridge, where I also did my PhD. For my PhD, I designed Cassandra, a language for specifying and enforcing expressive authorization policies, and conducted a large-scale case study on a policy for the EHR project in the UK (NPfIT).
Interested in an internship at MSR?
Contact
Microsoft Research Ltd.
7 J J Thomson Avenue
Cambridge CB3 0FB
United Kingdom
Email: moritzbXmicrosoft.com, where X=@
- Laurent Bussard and Moritz Y. Becker, Can Access Control be Extended to Deal with Data Handling in Privacy Scenarios?, in W3C Workshop on Access Control Application Scenarios, November 2009
- Moritz Y. Becker, SecPAL Formalization and Extensions, no. MSR-TR-2009-127, September 2009
- Moritz Y. Becker, Alexander Malkis, and Laurent Bussard, A Framework for Privacy Preferences and Data-Handling Policies, no. MSR-TR-2009-128, September 2009
- 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, Specification and Analysis of Dynamic Authorisation Policies, in 22nd IEEE Computer Security Foundations Symposium (CSF), 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
- Moritz Y. Becker and Sebastian Nanz, A Logic for State-Modifying Authorization Policies, in ACM Transactions on Information and System Security (TISSEC), Association for Computing Machinery, Inc., 2009
- Moritz Y. Becker, Cedric Fournet, and Andrew D. Gordon, SecPAL: Design and Semantics of a Decentralized Authorization Language, in Journal of Computer Security (JCS), IOS Press, 2009
- Moritz Y. Becker and Sebastian Nanz, The Role of Abduction in Declarative Authorization Policies, in 10th International Symposium on Practical Aspects of Declarative Languages (PADL), 2008
- Moritz Y. Becker and Sebastian Nanz, The Role of Abduction in Declarative Authorization Policies, no. MSR-TR-2007-105, August 2007
- Moritz Y. Becker and Sebastian Nanz, A Logic for State-Modifying Authorization Policies, no. MSR-TR-2007-32, March 2007
- Tuomas Aura, Moritz Y. Becker, Michael Roe, and Piotr Zielinski, Reconciling multiple IPsec and firewall policies, in Security Protocols Workshop, 2007
- Moritz Y. Becker and Sebastian Nanz, A Logic for State-Modifying Authorization Policies, in 12th European Symposium on Research in Computer Security (ESORICS), LNCS 4734, 2007
- Moritz Y. Becker, Information Governance in NHS's NPfIT: A Case for Policy Specification, in International Journal of Medical Informatics (IJMI), vol. 76, no. 5-6, 2007
- Moritz Y. Becker, Cedric Fournet, and Andrew D. Gordon, Design and Semantics of a Decentralized Authorization Language, in 20th IEEE Computer Security Foundations Symposium (CSF), 2007
- Moritz Y. Becker, Andrew D. Gordon, and Cédric Fournet, SecPAL: Design and Semantics of a Decentralized Authorization Language, no. MSR-TR-2006-120, September 2006
- Moritz Y. Becker, Cassandra: Flexible Trust Management and its Application to Electronic Health Records, University of Cambridge, October 2005
- Moritz Y. Becker, A formal security policy for an NHS electronic health record service, no. 628, March 2005
- Moritz Y. Becker, Cassandra: flexible trust management, applied to electronic health records, in 17th IEEE Computer Security Foundations Workshop (CSFW), 2004
- Moritz Y. Becker, Cassandra: distributed access control policies with tunable expressiveness, in 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY), 2004
- Moritz Y. Becker, A graph layout algorithm for drawing metabolic pathways, in Bioinformatics, vol. 17, no. 5, Oxford University Press, 2001
