Follow
David Sands
David Sands
Professor of Computer Science, Chalmers University of Technology
Verified email at chalmers.se - Homepage
Title
Cited by
Cited by
Year
Probabilistic noninterference for multi-threaded programs
A Sabelfeld, D Sands
Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 200-214, 2000
4002000
Declassification: Dimensions and principles
A Sabelfeld, D Sands
Journal of Computer Security 17 (5), 517-548, 2009
3462009
Dimensions and principles of declassification
A Sabelfeld, D Sands
18th IEEE Computer Security Foundations Workshop (CSFW'05), 255-269, 2005
3312005
On flow-sensitive security types
S Hunt, D Sands
POPL'06, Proceedings of the 33rd Annual. ACM SIGPLAN - SIGACT. Symposium. on …, 2006
3112006
A theorem proving approach to analysis of secure information flow
Á Darvas, R Hähnle, D Sands
Security in Pervasive Computing: Second International Conference, SPC 2005 …, 2005
2732005
Termination-insensitive noninterference leaks more than just a bit
S Hunt, A Askarov, A Sabelfeld, D Sands
Proc. 13th European Symposium on Research in Computer Security (ESORICS'08) 5283, 2008
247*2008
A per model of secure information flow in sequential programs
A Sabelfeld, D Sands
Higher-order and symbolic computation 14, 59-91, 2001
2292001
Lightweight self-protecting JavaScript
PH Phung, D Sands, A Chudnov
Proceedings of the 4th International Symposium on Information, Computer, and …, 2009
1842009
Controlled declassification based on intransitive noninterference
H Mantel, D Sands
Proc. Asian Symp. on Programming Languages and Systems, LNCS, 129-145, 2004
1442004
Total correctness by local improvement in the transformation of functional programs
D Sands
ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (2), 175-234, 1996
1321996
A per model of secure information flow in sequential programs
A Sabelfeld, D Sands
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages …, 1999
1251999
Improvement in a lazy context: An operational theory for call-by-need
A Moran, D Sands
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999
1161999
Differential privacy: Now it's getting personal
H Ebadi, D Sands, G Schneider
POPL'15: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming …, 2015
1152015
Observable sharing for functional circuit description
K Claessen, D Sands
Advances in Computing Science—ASIAN’99: 5th Asian Computing Science …, 1999
1121999
Complexity analysis for a lazy higher-order language
D Sands
Functional Programming: Proceedings of the 1989 Glasgow Workshop 21–23 …, 1990
1111990
Understanding intrusion detection through visualization
S Axelsson, D Sands
Springer-Verlag New York Inc, 2006
107*2006
22 A Calculus of Gamma Programs
C Hankin, D LeMetayer, D Sands
Languages and Compilers for Parallel Computing: 5th International Workshop …, 1993
1021993
Paralocks: role-based information flow control and beyond
N Broberg, D Sands
POPL '10 Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on …, 2010
1012010
Flow locks: Towards a core calculus for dynamic flow policies
N Broberg, D Sands
Programming Languages and Systems: 15th European Symposium on Programming …, 2006
1012006
Assumptions and guarantees for compositional noninterference
H Mantel, D Sands, H Sudbrock
24th Computer Security Foundations Symposium, CSF 2011; Cernay-la-Ville; 27 …, 2011
912011
The system can't perform the operation now. Try again later.
Articles 1–20