| 2007 |
|---|
| 9 | EE | Martijn Warnier,
Frances M. T. Brazier,
Martin Apistola,
Anja Oskamp:
Secure Distributed Dossier Management in the Legal Domain.
ARES 2007: 941-947 |
| 8 | EE | Martijn Warnier,
Frances M. T. Brazier,
Martin Apistola,
Anja Oskamp:
Towards automatic identification of completeness and consistency in digital dossiers.
ICAIL 2007: 177-181 |
| 7 | EE | Martine Boonk,
Frances M. T. Brazier,
David de Groot,
Maarten van Stekelenburg,
Anja Oskamp,
Martijn Warnier:
Conditions for access and use of legal document retrieval web services.
ICAIL 2007: 37-41 |
| 2006 |
|---|
| 6 | EE | Martijn Warnier,
David de Groot,
Frances M. T. Brazier:
Organized Anonymity in Agent Systems.
EUMAS 2006 |
| 5 | EE | Gilles Barthe,
Tamara Rezk,
Martijn Warnier:
Preventing Timing Leaks Through Transactional Branching Instructions.
Electr. Notes Theor. Comput. Sci. 153(2): 33-55 (2006) |
| 2005 |
|---|
| 4 | EE | Bart Jacobs,
Wolter Pieters,
Martijn Warnier:
Statically checking confidentiality via dynamic labels.
WITS 2005: 50-56 |
| 2004 |
|---|
| 3 | EE | Bart Jacobs,
Martijn Oostdijk,
Martijn Warnier:
Source code verification of a secure payment applet.
J. Log. Algebr. Program. 58(1-2): 107-120 (2004) |
| 2002 |
|---|
| 2 | EE | Bart Jacobs,
Joseph Kiniry,
Martijn Warnier:
Java Program Verification Challenges.
FMCO 2002: 202-219 |
| 1 | EE | Jesse Hughes,
Martijn Warnier:
The Coinductive Approach to Verifying Cryptographic Protocols.
WADT 2002: 268-283 |
