Moritz Y. Becker

18 papers A* 1A 4C 2Misc 1Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2013 — conf
Selective Disclosure in Datalog-Based Trust Management.
STM
Nik Sultana, Moritz Y. Becker, Markulf Kohlweiss
2012 A* conf
Foundations of Logic-Based Trust Management.
IEEE Symposium on Security and Privacy
Moritz Y. Becker, Alessandra Russo, Nik Sultana
2012 J jnl
Information flow in trust management systems.
J. Comput. Secur.
Moritz Y. Becker
2011 C conf
Opacity Analysis in Trust Management Systems.
ISC
Moritz Y. Becker, Masoud Koleini
2011 — conf
Relaxed Safeness in Datalog-Based Policies.
RuleML America
Moritz Y. Becker, Jason F. Mackay
2010 Misc conf
A Practical Generic Privacy Language.
ICISS
Moritz Y. Becker, Alexander Malkis, Laurent Bussard
2010 J jnl
A logic for state-modifying authorization policies.
ACM Trans. Inf. Syst. Secur.
Moritz Y. Becker, Sebastian Nanz
2010 A conf
Information Flow in Credential Systems.
CSF
Moritz Y. Becker
2010 J jnl
SecPAL: Design and semantics of a decentralized authorization language.
J. Comput. Secur.
Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon
2009 — conf
Abductive Authorization Credential Gathering.
POLICY
Moritz Y. Becker, Jason F. Mackay, Blair Dillaway
2009 A conf
Specification and Analysis of Dynamic Authorisation Policies.
CSF
Moritz Y. Becker
2008 C conf
The Role of Abduction in Declarative Authorization Policies.
PADL
Moritz Y. Becker, Sebastian Nanz
2007 A conf
A Logic for State-Modifying Authorization Policies.
ESORICS
Moritz Y. Becker, Sebastian Nanz
2007 A conf
Design and Semantics of a Decentralized Authorization Language.
CSF
Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon
2007 J jnl
Information governance in NHS's NPfIT: A case for policy specification.
Int. J. Medical Informatics
Moritz Y. Becker
2004 — conf
Cassandra: Distributed Access Control Policies with Tunable Expressiveness.
POLICY
Moritz Y. Becker, Peter Sewell
2004 — conf
Cassandra: Flexible Trust Management, Applied to Electronic Health Records.
CSFW
Moritz Y. Becker, Peter Sewell
2001 J jnl
A graph layout algorithm for drawing metabolic pathways
Bioinform.
Moritz Y. Becker, Isabel Rojas