David Sann

Identifiers

• name variant David Sann 0.60 · backfill

Papers (1)

1. Reasoning About Information Flow Security of Separation Kernels with Channel-based Communication cs.SE · 2015 · author #2

Mentions

• 1510.05091 #2 · backfill · confidence 0.70 David Sann

Frequent Coauthors

• Fuyuan Zhang 1 shared papers
• Yang Liu 1 shared papers
• Yongwang Zhao 1 shared papers