| Empirical Evaluation of Secure Development Processes (Dagstuhl Seminar 19231). | 0 | 0.34 | 2019 |
| Panel: Empirically-based Secure OS Design. | 0 | 0.34 | 2017 |
| Comparing transitive to non-transitive object immutability. | 0 | 0.34 | 2015 |
| Compiling Joy Into Silicon: An Exercise in Applied Structural Operational Semantics | 5 | 0.87 | 1992 |
