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
4052000
Declassification: Dimensions and principles
A Sabelfeld, D Sands
Journal of Computer Security 17 (5), 517-548, 2009
3692009
Dimensions and principles of declassification
A Sabelfeld, D Sands
18th IEEE Computer Security Foundations Workshop (CSFW'05), 255-269, 2005
3402005
On flow-sensitive security types
S Hunt, D Sands
POPL'06, Proceedings of the 33rd Annual. ACM SIGPLAN - SIGACT. Symposium. on …, 2006
3182006
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
2842005
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
253*2008
A per model of secure information flow in sequential programs
A Sabelfeld, D Sands
Higher-order and symbolic computation 14, 59-91, 2001
2412001
Lightweight self-protecting JavaScript
PH Phung, D Sands, A Chudnov
Proceedings of the 4th International Symposium on Information, Computer, and …, 2009
1972009
Controlled declassification based on intransitive noninterference
H Mantel, D Sands
Proc. Asian Symp. on Programming Languages and Systems, LNCS, 129-145, 2004
1482004
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
1352015
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
1311996
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
1261999
Observable sharing for functional circuit description
K Claessen, D Sands
Annual Asian Computing Science Conference, 62-73, 1999
1181999
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
1181999
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
1142010
Complexity analysis for a lazy higher-order language
D Sands
European Symposium on Programming, 361-376, 1990
1141990
Understanding intrusion detection through visualization
S Axelsson, D Sands
Springer-Verlag New York Inc, 2006
113*2006
Flow locks: Towards a core calculus for dynamic flow policies
N Broberg, D Sands
European Symposium on Programming, 180-196, 2006
1052006
Assumptions and guarantees for compositional noninterference
H Mantel, D Sands, H Sudbrock
24th Computer Security Foundations Symposium, CSF 2011; Cernay-la-Ville; 27 …, 2011
972011
A naive time analysis and its theory of cost equivalence
D Sands
Journal of Logic and Computation 5 (4), 495-541, 1995
921995
The system can't perform the operation now. Try again later.
Articles 1–20