David Sands

Identifiers

• name variant David Sands 0.60 · backfill

Papers (12)

1. Monitoring Data Minimisation cs.LO · 2018 · author #3
2. Data Minimisation: a Language-Based Approach (Long Version) cs.CR · 2016 · author #2
3. Featherweight PINQ cs.PL · 2015 · author #2
4. The Anatomy and Facets of Dynamic Policies cs.CR · 2015 · author #3
5. Very Static Enforcement of Dynamic Policies cs.CR · 2015 · author #3
6. Type-Directed Compilation for Fault-Tolerant Non-Interference cs.CR · 2014 · author #2
7. Reinterpreting Boltzmann's H-theorem in the light of Information Theory physics.gen-ph · 2013 · author #1
8. Gender differences in conceptual understanding of Newtonian mechanics: a UK cross-institution comparison physics.ed-ph · 2012 · author #4
9. A Semantic Hierarchy for Erasure Policies cs.CR · 2011 · author #3
10. Confusion in Thermodynamics physics.gen-ph · 2011 · author #2
11. Specification and Verification of Side Channel Declassification cs.CR · 2009 · author #2
12. Thermodynamic Entropy And The Accessible States of Some Simple Systems physics.gen-ph · 2007 · author #1

Mentions

• 1301.1364 #1 · backfill · confidence 0.70 David Sands
• 1211.3888 #4 · backfill · confidence 0.70 David Sands
• 1109.6914 #3 · backfill · confidence 0.70 David Sands
• 1103.4360 #2 · backfill · confidence 0.70 David Sands
• 0912.2952 #2 · backfill · confidence 0.70 David Sands
• 0708.1626 #1 · backfill · confidence 0.70 David Sands

Frequent Coauthors

• Bart van Delft 2 shared papers
• Filippo Del Tedesco 2 shared papers
• Gerardo Schneider 2 shared papers
• Jeremy Dunning-Davies 2 shared papers
• Sebastian Hunt 2 shared papers
• Thibaud Antignac 2 shared papers
• Alejandro Russo 1 shared papers
• Cait MacPhee 1 shared papers
• Hamid Ebadi 1 shared papers
• Josef Svenningsson 1 shared papers
• Marion Birch 1 shared papers
• Niels R. Walet 1 shared papers
• Niklas Broberg 1 shared papers
• Robyn Donnelly 1 shared papers
• Simon Bates 1 shared papers
• Srinivas Pinisetty 1 shared papers