dblp.uni-trier.dewww.uni-trier.de

David Sands Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
47EENiklas Broberg, David Sands: Improving the Semantics of Imperfect Security. ARSPA-WITS 2009: 88-91
46EEPhu H. Phung, David Sands, Andrey Chudnov: Lightweight self-protecting JavaScript. ASIACCS 2009: 47-60
45EEDelphine Demange, David Sands: All Secrets Great and Small. ESOP 2009: 207-221
44EEFilippo Del Tedesco, David Sands: A User Model for Information Erasure CoRR abs/0910.4056: (2009)
2008
43EEPhu H. Phung, David Sands: Security Policy Enforcement in the OSGi Framework Using Aspect-Oriented Programming. COMPSAC 2008: 1076-1082
42EESebastian Hunt, David Sands: Just Forget It - The Semantics and Enforcement of Information Erasure. ESOP 2008: 239-253
41EEAslan Askarov, Sebastian Hunt, Andrei Sabelfeld, David Sands: Termination-Insensitive Noninterference Leaks More Than Just a Bit. ESORICS 2008: 333-348
2006
40 Marianne Winslett, Andrew D. Gordon, David Sands: Proceedings of the 2006 ACM workshop on Formal methods in security engineering, FMSE 2006, Alexandria, VA, USA, November 3, 2006 ACM 2006
39EEDaniel Hedin, David Sands: Noninterference in the Presence of Non-Opaque Pointers. CSFW 2006: 217-229
38EENiklas Broberg, David Sands: Flow Locks: Towards a Core Calculus for Dynamic Flow Policies. ESOP 2006: 180-196
37EESebastian Hunt, David Sands: On flow-sensitive security types. POPL 2006: 79-90
2005
36EEAndrei Sabelfeld, David Sands: Dimensions and Principles of Declassification. CSFW 2005: 255-269
35EEÁdám Darvas, Reiner Hähnle, David Sands: A Theorem Proving Approach to Analysis of Secure Information Flow. SPC 2005: 193-209
34EEDaniel Hedin, David Sands: Timing Aware Information Flow Security for a JavaCard-like Bytecode. Electr. Notes Theor. Comput. Sci. 141(1): 163-182 (2005)
2004
33EEHeiko Mantel, David Sands: Controlled Declassification Based on Intransitive Noninterference. APLAS 2004: 129-145
2003
32EEAndrew Moran, David Sands, Magnus Carlsson: Erratic Fudgets: a semantic theory for an embedded coordination language. Sci. Comput. Program. 46(1-2): 99-135 (2003)
2002
31EEDavid Sands: Probability and Timing: Challenges for Secure Programming. PAPM-PROBMIV 2002: 16
30EEDavid Sands, Jörgen Gustavsson, Andrew Moran: Lambda Calculi and Linear Speedups. The Essence of Computation 2002: 60-84
2001
29 David Sands: Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings Springer 2001
28 Jörgen Gustavsson, David Sands: Possibilities and Limitations of Call-by-Need Space Improvement. ICFP 2001: 265-276
27EEJohan Agat, David Sands: On Confidentiality and Algorithms. IEEE Symposium on Security and Privacy 2001: 64-77
26 Andrei Sabelfeld, David Sands: A Per Model of Secure Information Flow in Sequential Programs. Higher-Order and Symbolic Computation 14(1): 59-91 (2001)
2000
25EEAndrei Sabelfeld, David Sands: Probabilistic Noninterference for Multi-Threaded Programs. CSFW 2000: 200-214
1999
24EEKoen Claessen, David Sands: Observable Sharing for Functional Circuit Description. ASIAN 1999: 62-73
23EEAndrew Moran, David Sands, Magnus Carlsson: Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language. COORDINATION 1999: 85-102
22EEAndrei Sabelfeld, David Sands: A Per Model of Secure Information Flow in Sequential Programs. ESOP 1999: 40-58
21EEAndrew Moran, David Sands: Improvement in a Lazy Context: An Operational Theory for Call-by-Need. POPL 1999: 43-56
20EEJörgen Gustavsson, David Sands: A Foundation for Space-Safe Transformations of Call-by-Need Programs. Electr. Notes Theor. Comput. Sci. 26: (1999)
1998
19EEChris Hankin, Daniel Le Métayer, David Sands: Refining Multiset Tranformers. Theor. Comput. Sci. 192(2): 233-258 (1998)
1997
18EEDavid Sands: From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages. POPL 1997: 428-441
1996
17EEDavid Sands: Total Correctness by Local Improvement in the Transformation of Functional Programs. ACM Trans. Program. Lang. Syst. 18(2): 175-234 (1996)
16EEDavid Sands: Proving the Correctness of Recursion-Based Automatic Program Transformations. Theor. Comput. Sci. 167(1&2): 193-233 (1996)
1995
15 David Sands: Higher Order Expression Procedures. PEPM 1995: 178-189
14EEFritz Henglein, David Sands: A Semantic Model of Binding Times for Safe Partial Evaluation PLILP 1995: 299-320
13 David Sands: Total Correctness by Local Improvement in Program Transformation. POPL 1995: 221-232
12EEDavid Sands: Proving the Correctness of Recursion-Based Automatic Program Transformations. TAPSOFT 1995: 681-695
11 David Sands: A Naïve Time Analysis and its Theory of Cost Equivalence. J. Log. Comput. 5(4): 495-541 (1995)
1993
10EEDavid Sands: A Compositional Semantics of Combining Forms for Gramma Programs. Formal Methods in Programming and Their Applications 1993: 43-56
9EEChris Hankin, Daniel Le Métayer, David Sands: A Parallel Programming Style and Its Algebra of Programs. PARLE 1993: 367-378
8 David Sands: Laws of Parallel Synchronised Termination. Theory and Formal Methods 1993: 276-288
1992
7 Chris Hankin, Daniel Le Métayer, David Sands: A Calculus of Gamma Programs. LCPC 1992: 342-355
6 Chris Hankin, Daniel Le Métayer, David Sands: Transformation of Gamma Programs. WSA 1992: 12-19
1991
5EEDavid Sands: Time Analysis, Cost Equivalence and Program Refinement. FSTTCS 1991: 25-39
4 David Sands: Operational Theories of Improvement in Functional Languages (Extended Abstract). Functional Programming 1991: 298-311
3 Sebastian Hunt, David Sands: Binding Time Analysis: A New PERspective. PEPM 1991: 154-165
1990
2EEDavid Sands: Complexity Analysis for a Lazy Higher-Order Language. ESOP 1990: 361-376
1989
1 David Sands: Complexity Analysis for a Lazy Higher-Order Language. Functional Programming 1989: 56-79

Coauthor Index

1Johan Agat [27]
2Aslan Askarov [41]
3Niklas Broberg [38] [47]
4Magnus Carlsson [23] [32]
5Andrey Chudnov [46]
6Koen Claessen [24]
7Ádám Darvas [35]
8Delphine Demange [45]
9Andrew D. Gordon (Andy Gordon) [40]
10Jörgen Gustavsson [20] [28] [30]
11Reiner Hähnle [35]
12Chris Hankin [6] [7] [9] [19]
13Daniel Hedin [34] [39]
14Fritz Henglein [14]
15Sebastian Hunt [3] [37] [41] [42]
16Heiko Mantel [33]
17Daniel Le Métayer [6] [7] [9] [19]
18Andrew Moran [21] [23] [30] [32]
19Phu H. Phung [43] [46]
20Andrei Sabelfeld [22] [25] [26] [36] [41]
21Filippo Del Tedesco [44]
22Marianne Winslett [40]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)