| 1 | -- | 7 | Gernot Heiser, Toby Murray, Gerwin Klein. Towards Provable Timing-Channel Prevention |
| 8 | -- | 22 | Amit Vasudevan, Petros Maniatis, Ruben Martins. überSpark: Practical, Provable, End-to-End Guarantees on Commodity Heterogenous Interconnected Computing Platforms |
| 23 | -- | 30 | Andres Erbsen, Jade Philipoom, Jason Gross, Robert Sloan, Adam Chlipala. Simple High-Level Code For Cryptographic Arithmetic: With Proofs, Without Compromises |
| 31 | -- | 39 | Luke Nelson, James Bornholt, Arvind Krishnamurthy, Emina Torlak, Xi Wang 0005. Noninterference specifications for secure systems |
| 40 | -- | 46 | Srinath T. V. Setty, Sebastian Angel, Jonathan Lee. Verifiable state machines: Proofs that untrusted services operate correctly |
| 47 | -- | 63 | Paul E. McKenney, Joel Fernandes, Silas Boyd-Wickizer, Jonathan Walpole. RCU Usage In the Linux Kernel: Eighteen Years Later |
| 64 | -- | 76 | Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis. Symbolic Reasoning for Automatic Signal Placement |