| 2002 |
|---|
| 8 | EE | Calvin Ko,
Timothy Redmond:
Noninterference and Intrusion Detection.
IEEE Symposium on Security and Privacy 2002: 177-187 |
| 2001 |
|---|
| 7 | EE | Ömer Egecioglu,
Timothy Redmond,
Charles Ryavec:
From a Polynomial Riemann Hypothesis to Alternating Sign Matrices.
Electr. J. Comb. 8(1): (2001) |
| 1993 |
|---|
| 6 | | Jaisook Landauer,
Timothy Redmond:
A Lattice of Information.
CSFW 1993: 65-70 |
| 1992 |
|---|
| 5 | | Jaisook Landauer,
Timothy Redmond:
A Framework for Composition of Security Models.
CSFW 1992: 157-166 |
| 4 | | Sandra Rawlings Murphy,
Stephen Crocker,
Timothy Redmond:
Unwinding and the LOCK Proof Referees Study.
CSFW 1992: 9-21 |
| 1989 |
|---|
| 3 | | Jaisook Landauer,
Timothy Redmond,
T. Benzel:
Formal Policies for Trusted Processes.
CSFW 1989: 31-40 |
| 1988 |
|---|
| 2 | | Leo Marcus,
Timothy Redmond:
Two Automated Methods in Implementation Proofs.
CADE 1988: 622-642 |
| 1 | | Leo Marcus,
Timothy Redmond:
A Model-Theoretic Approach to Specifying, Verifying and Hooking Up Security Policies.
CSFW 1988: 127-138 |
