A graph layout algorithm for drawing metabolic pathways - Moritz Y. Becker; Isabel Rojas (Bioinform., 2001)

Cassandra: Flexible Trust Management, Applied to Electronic Health Records. - Moritz Y. Becker; Peter Sewell (CSFW, 2004)

Cassandra: Distributed Access Control Policies with Tunable Expressiveness. - Moritz Y. Becker; Peter Sewell (POLICY, 2004)

Design and Semantics of a Decentralized Authorization Language. - Moritz Y. Becker; Cédric Fournet; Andrew D. Gordon 001 (CSF, 2007)

Information governance in NHS's NPfIT: A case for policy specification. - Moritz Y. Becker (Int. J. Medical Informatics, 2007)

The Role of Abduction in Declarative Authorization Policies. - Moritz Y. Becker; Sebastian Nanz (PADL, 2008)

Specification and Analysis of Dynamic Authorisation Policies. - Moritz Y. Becker (CSF, 2009)

Abductive Authorization Credential Gathering. - Moritz Y. Becker; Jason F. Mackay; Blair Dillaway (POLICY, 2009)

Information Flow in Credential Systems. - Moritz Y. Becker (CSF, 2010)

A Practical Generic Privacy Language. - Moritz Y. Becker; Alexander Malkis; Laurent Bussard (ICISS, 2010)

SecPAL: Design and semantics of a decentralized authorization language. - Moritz Y. Becker; Cédric Fournet; Andrew D. Gordon 001 (J. Comput. Secur., 2010)

A logic for state-modifying authorization policies. - Moritz Y. Becker; Sebastian Nanz (ACM Trans. Inf. Syst. Secur., 2010)

Opacity Analysis in Trust Management Systems. - Moritz Y. Becker; Masoud Koleini (ISC, 2011)

Relaxed Safeness in Datalog-Based Policies. - Moritz Y. Becker; Jason F. Mackay (RuleML America, 2011)

Foundations of Logic-Based Trust Management. - Moritz Y. Becker; Alessandra Russo; Nik Sultana (IEEE Symposium on Security and Privacy, 2012)

Information flow in trust management systems. - Moritz Y. Becker (J. Comput. Secur., 2012)

Selective Disclosure in Datalog-Based Trust Management. - Nik Sultana; Moritz Y. Becker; Markulf Kohlweiss (STM, 2013)