| |
| 1999 | ||
|---|---|---|
| 3 | EE | Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn: Verification of Control Flow based Security Properties. IEEE Symposium on Security and Privacy 1999: 89-103 |
| 1998 | ||
| 2 | EE | Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn: Coarse Grained Java Security Policies. ECOOP Workshops 1998: 296 |
| 1 | EE | Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn: Security and Dynamic Class Loading in Java: A Formalization. ICCL 1998: 4-15 |
| 1 | Thomas P. Jensen | [1] [2] [3] |
| 2 | Daniel Le Métayer | [1] [2] [3] |