×

zbMATH — the first resource for mathematics

Sands, David

Compute Distance To:
Author ID: sands.david Recent zbMATH articles by "Sands, David"
Published as: Sands, David
External Links: MGP
Documents Indexed: 26 Publications since 1990, including 3 Books

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 65 times in 59 Documents Cited by Year
On flow-sensitive security types. Zbl 1370.68053
Hunt, Sebastian; Sands, David
15
2006
A per model of secure information flow in sequential programs. Zbl 0967.68039
Sabelfeld, Andrei; Sands, David
11
2001
Erratic Fudgets: A semantic theory for an embedded coordination language. Zbl 1026.68091
Moran, Andrew; Sands, David; Carlsson, Magnus
6
2003
Lambda calculi and linear speedups. Zbl 1026.68020
Sands, David; Gustavsson, Jörgen; Moran, Andrew
6
2002
Complexity analysis for a lazy higher-order language. Zbl 0765.68058
Sands, David
6
1990
A naïve time analysis and its theory of cost equivalence. Zbl 0942.68623
Sands, David
4
1995
Paralocks, role-based information flow control and beyond. Zbl 1312.68054
Broberg, Niklas; Sands, David
3
2010
Flow locks: Towards a core calculus for dynamic flow policies. Zbl 1178.68121
Broberg, Niklas; Sands, David
2
2006
Controlled declassification based on intransitive noninterference. Zbl 1116.68397
Mantel, Heiko; Sands, David
2
2004
A foundation for space-safe transformations of call-by-need programs. Zbl 0958.68039
Gustavsson, Jörgen; Sands, David
2
1999
LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Zbl 1398.68026
Eiter, Thomas (ed.); Sands, David (ed.)
1
2017
Differential privacy: now it’s getting personal. Zbl 1346.68082
Ebadi, Hamid; Sands, David; Schneider, Gerardo
1
2015
From exponential to polynomial-time security typing via principal types. Zbl 1275.68062
Hunt, Sebastian; Sands, David
1
2011
The compound piston: resolution of a thermodynamic controversy by means of kinetic theory. Zbl 1213.80031
Sands, David; Dunning-Davies, Jeremy
1
2010
All secrets great and small. Zbl 1234.68074
Demange, Delphine; Sands, David
1
2009
Just forget it – the semantics and enforcement of information erasure. Zbl 1133.68338
Hunt, Sebastian; Sands, David
1
2008
Improvement theory and its applications. Zbl 0967.68036
Sands, David
1
1998
Proving the correctness of recursion-based automatic program transformations. Zbl 0874.68025
Sands, David
1
1996
LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Zbl 1398.68026
Eiter, Thomas (ed.); Sands, David (ed.)
1
2017
Differential privacy: now it’s getting personal. Zbl 1346.68082
Ebadi, Hamid; Sands, David; Schneider, Gerardo
1
2015
From exponential to polynomial-time security typing via principal types. Zbl 1275.68062
Hunt, Sebastian; Sands, David
1
2011
Paralocks, role-based information flow control and beyond. Zbl 1312.68054
Broberg, Niklas; Sands, David
3
2010
The compound piston: resolution of a thermodynamic controversy by means of kinetic theory. Zbl 1213.80031
Sands, David; Dunning-Davies, Jeremy
1
2010
All secrets great and small. Zbl 1234.68074
Demange, Delphine; Sands, David
1
2009
Just forget it – the semantics and enforcement of information erasure. Zbl 1133.68338
Hunt, Sebastian; Sands, David
1
2008
On flow-sensitive security types. Zbl 1370.68053
Hunt, Sebastian; Sands, David
15
2006
Flow locks: Towards a core calculus for dynamic flow policies. Zbl 1178.68121
Broberg, Niklas; Sands, David
2
2006
Controlled declassification based on intransitive noninterference. Zbl 1116.68397
Mantel, Heiko; Sands, David
2
2004
Erratic Fudgets: A semantic theory for an embedded coordination language. Zbl 1026.68091
Moran, Andrew; Sands, David; Carlsson, Magnus
6
2003
Lambda calculi and linear speedups. Zbl 1026.68020
Sands, David; Gustavsson, Jörgen; Moran, Andrew
6
2002
A per model of secure information flow in sequential programs. Zbl 0967.68039
Sabelfeld, Andrei; Sands, David
11
2001
A foundation for space-safe transformations of call-by-need programs. Zbl 0958.68039
Gustavsson, Jörgen; Sands, David
2
1999
Improvement theory and its applications. Zbl 0967.68036
Sands, David
1
1998
Proving the correctness of recursion-based automatic program transformations. Zbl 0874.68025
Sands, David
1
1996
A naïve time analysis and its theory of cost equivalence. Zbl 0942.68623
Sands, David
4
1995
Complexity analysis for a lazy higher-order language. Zbl 0765.68058
Sands, David
6
1990
all top 5

Cited by 117 Authors

7 Schmidt-Schauß, Manfred
6 Sabel, David
4 Accattoli, Beniamino
3 Sands, David
2 Albert, Elvira
2 Arenas, Puri
2 Banerjee, Anindya
2 Beringer, Lennart
2 Genaim, Samir
2 Hähnle, Reiner
2 Mastroeni, Isabella
2 Morgan, Carroll C.
2 Nielson, Flemming
2 Puebla, Germán
2 Riis Nielson, Hanne
2 Ronse, Christian
2 Sangiorgi, Davide
2 Uustalu, Tarmo
1 Abdellatif, Takoua
1 Abramsky, Samson
1 Ahrendt, Wolfgang
1 Alba-Castro, Mauricio
1 Alpuente, María
1 Alsowail, Rakan
1 Baldan, Paolo
1 Bartocci, Ezio
1 Beggiato, Alessandro
1 Ben Said, Najah
1 Bensalem, Saddek
1 Benzinger, Ralph
1 Berger, Martin J.
1 Bianculli, Domenico
1 Bielova, Nataliia
1 Bozga, Marius
1 Brinkop, Hauke
1 Bubel, Richard
1 Carayol, Arnaud
1 Charguéraud, Arthur
1 Clarkson, Michael R.
1 Colombo, Christian
1 Cruz-Filipe, Luís
1 Dal Lago, Ugo
1 De Francesco, Nicoletta
1 Di Pierro, Alessandra
1 Dimitrova, Rayna
1 Dunning-Davies, Jeremy
1 Eggert, Sebastian
1 Ene, Cristian
1 Escobar, Santiago
1 Falcone, Yliès
1 Férée, Hugo
1 Finkbeiner, Bernd
1 Florido, Mário
1 Francalanza, Adrian
1 Giacobazzi, Roberto
1 Guerrieri, Giulio
1 Hammond, Kevin
1 Hankin, Chris L.
1 Hirschkoff, Daniel
1 Honda, Kohei
1 Hunt, Sebastian
1 Johnsen, Einar Broch
1 Jost, Steffen
1 Kovács, Máté
1 Krstić, Srđan
1 Laud, Peeter
1 Li, Ximeng
1 Lourenço, João M.
1 Machkasova, Elena
1 Mackie, Ian
1 Manfred
1 Mann, Matthias
1 Manzino, Cecilia
1 Marques-Silva, João P.
1 Martini, Luca
1 McIver, Annabelle K.
1 Minamide, Yasuhiko
1 Mounier, Laurent
1 Nickovic, Dejan
1 Nipkow, Tobias
1 Pace, Gordon J.
1 Pan, Jing
1 Pan, Shiran
1 Pardo, Alberto
1 Petit, Barbara
1 Potet, Marie-Laure
1 Pottier, François
1 Pous, Damien
1 Presto, Martin
1 Rabe, Markus N.
1 Rufino, José
1 Rümmer, Philipp
1 Saabas, Ando
1 Sacerdoti Coen, Claudio
1 Sánchez, César
1 Schneider-Kamp, Peter
1 Schneider, Fred B.
1 Schneider, Gerardo
1 Schütz, Marko
1 Seidl, Helmut
...and 17 more Authors

Citations by Year