David Sands

1. Very Static Enforcement of Dynamic Policies
   2015/01/12 by Bart van Delft, van Delft, Bart, Sebastian Hunt +3 · 2 citations
   Computer Science · #Advanced Malware Detection Techniques #Cloud Data Security Solutions #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Security and Verification in Computing
2. Data Minimisation: a Language-Based Approach (Long Version)
   2016/11/17 by Thibaud Antignac, Antignac, Thibaud, David Sands +3 · 1 citation
   Computer Science · Social Sciences · #Access Control and Trust #Cryptography and Security (cs.CR) #Distributed systems and fault tolerance #FOS: Computer and information sciences #Security and Verification in Computing