2008 |
6 | EE | Moritz Y. Becker,
Sebastian Nanz:
The Role of Abduction in Declarative Authorization Policies.
PADL 2008: 84-99 |
2007 |
5 | EE | Moritz Y. Becker,
Cédric Fournet,
Andrew D. Gordon:
Design and Semantics of a Decentralized Authorization Language.
CSF 2007: 3-15 |
4 | EE | Moritz Y. Becker,
Sebastian Nanz:
A Logic for State-Modifying Authorization Policies.
ESORICS 2007: 203-218 |
2004 |
3 | EE | Moritz Y. Becker,
Peter Sewell:
Cassandra: Flexible Trust Management, Applied to Electronic Health Records.
CSFW 2004: 139-154 |
2 | EE | Moritz Y. Becker,
Peter Sewell:
Cassandra: Distributed Access Control Policies with Tunable Expressiveness.
POLICY 2004: 159-168 |
2001 |
1 | | Moritz Y. Becker,
Isabel Rojas:
A graph layout algorithm for drawing metabolic pathways
Bioinformatics 17(5): 461-467 (2001) |