David Sands

Chalmers University of Technology - Göteborg / Sweden

Engineering & Technology / Computer Science

AD Scientific Index ID: 1400930

Chalmers tekniska högskola

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

Chalmers University of Technology

David Sands's MOST POPULAR ARTICLES

1-) Probabilistic noninterference for multi-threaded programs Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 200-214, 2000

2-) Declassification: Dimensions and principles Journal of Computer Security 17 (5), 517-548, 2009

3-) Dimensions and principles of declassification 18th IEEE Computer Security Foundations Workshop (CSFW'05), 255-269, 2005

4-) On flow-sensitive security types POPL'06, Proceedings of the 33rd Annual. ACM SIGPLAN - SIGACT. Symposium. on …, 2006

5-) A theorem proving approach to analysis of secure information flow International Conference on Security in Pervasive Computing, 193-209, 2005

ARTICLES

Add your articles