David Cock (Systems Group

Identifiers

No identifiers captured yet.

Papers (1)

1. Formalizing Memory Accesses and Interrupts cs.OS · 2017 · author #7

Mentions

No mention provenance yet.

Frequent Coauthors

• Department of Computer Science 1 shared papers
• ETH Zurich) 1 shared papers
• Lukas Humbel (Systems Group 1 shared papers
• Reto Achermann (Systems Group 1 shared papers
• Timothy Roscoe (Systems Group 1 shared papers