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=@
- 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), July 2009
- Moritz Y. Becker, Specification and Analysis of Dynamic Authorisation Policies, in 22nd IEEE Computer Security Foundations Symposium (CSF), 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
- 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 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, Cedric Fournet, and Andrew D. Gordon, Design and Semantics of a Decentralized Authorization Language, in 20th IEEE Computer Security Foundations Symposium (CSF), 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, Andrew D. Gordon, and Cédric Fournet, SecPAL: Design and Semantics of a Decentralized Authorization Language, no. MSR-TR-2006-120, September 2006
