Mo Becker
RESEARCHER
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 the theory and applications of policy languages and rule-based systems. There is a separate project web page about this topic here. I graduated with a Computer Science degree from Trinity College, University of Cambridge, where I also completed my PhD in 2005. 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=@
Publications
- Moritz Y. Becker, Alessandra Russo, and Nik Sultana, Foundations of Logic-Based Trust Management, no. MSR-TR-2012-10, February 2012
- Moritz Y. Becker, Information Flow in Trust Management Systems, in Journal of Computer Security, vol. to appear, IOS Press, 2012
- Moritz Y. Becker, Alessandra Russo, and Nik Sultana, Foundations of trust management, in IEEE Symposium on Security and Privacy, IEEE, 2012
- 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 and Masoud Koleini, Opacity Analysis in Trust Management Systems, in 14th Information Security Conference (ISC 2011), Springer, October 2011
- Moritz Y. Becker and Masoud Koleini, Information leakage in Datalog-based trust management systems, no. MSR-TR-2011-11, February 2011
- Moritz Y. Becker, Alexander Malkis, and Laurent Bussard, A Practical Generic Privacy Language, in Sixth International Conference on Information Systems Security (ICISS 2010), Springer Verlag, December 2010
- Moritz Y. Becker, Information Flow in Credential Systems, in 23rd IEEE Computer Security Foundations Symposium (CSF), IEEE, July 2010
- Moritz Y. Becker, Alexander Malkis, and Laurent Bussard, S4P: A Generic Language for Specifying Privacy Preferences and Policies, no. MSR-TR-2010-32, April 2010
- Moritz Y. Becker and Sebastian Nanz, A Logic for State-Modifying Authorization Policies, in ACM Transactions on Information and System Security (TISSEC), vol. 13, no. 3, Association for Computing Machinery, Inc., 2010
- Moritz Y. Becker, Cedric Fournet, and Andrew D. Gordon, SecPAL: Design and Semantics of a Decentralized Authorization Language, in Journal of Computer Security (JCS), vol. 18, no. 4, pp. 597--643, IOS Press, 2010
- 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, 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, 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
- 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 and Sebastian Nanz, A Logic for State-Modifying Authorization Policies, in 12th European Symposium on Research in Computer Security (ESORICS), LNCS 4734, 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, 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
