| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Filippo Del Tedesco, Sebastian Hunt, David Sands |
A Semantic Hierarchy for Erasure Policies  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Filippo Del Tedesco, Sebastian Hunt, David Sands |
A Semantic Hierarchy for Erasure Policies. |
ICISS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Heiko Mantel, David Sands, Henning Sudbrock |
Assumptions and Guarantees for Compositional Noninterference. |
CSF |
2011 |
DBLP DOI BibTeX RDF |
Assumption-Guarantee, Compositional Verification, Flow-Sensitivity, Information Flow Security |
| 1 | Sebastian Hunt, David Sands |
From Exponential to Polynomial-Time Security Typing via Principal Types. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Niklas Broberg, David Sands |
Paralocks: role-based information flow control and beyond. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
information flow, security policies, language based security |
| 1 | Jonas Magazinius, Phu H. Phung, David Sands |
Safe Wrappers and Sane Policies for Self Protecting JavaScript. |
NordSec |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Del Tedesco, Alejandro Russo, David Sands |
Implementing Erasure Policies Using Taint Analysis. |
NordSec |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Sabelfeld, David Sands |
Declassification: Dimensions and principles. |
Journal of Computer Security |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Del Tedesco, David Sands |
A User Model for Information Erasure |
SECCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Svenningsson, David Sands |
Specification and Verification of Side Channel Declassification |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Niklas Broberg, David Sands |
Flow-sensitive semantics for dynamic information flow policies. |
PLAS |
2009 |
DBLP DOI BibTeX RDF |
information flow control, declassification, security type system |
| 1 | Niklas Broberg, David Sands |
Improving the Semantics of Imperfect Security. |
ARSPA-WITS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Svenningsson, David Sands |
Specification and Verification of Side Channel Declassification. |
Formal Aspects in Security and Trust |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Delphine Demange, David Sands |
All Secrets Great and Small. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Phu H. Phung, David Sands, Andrey Chudnov |
Lightweight self-protecting JavaScript. |
ASIACCS |
2009 |
DBLP DOI BibTeX RDF |
programming, JavaScript, language based security, inlined reference monitors |
| 1 | Phu H. Phung, David Sands |
Security Policy Enforcement in the OSGi Framework Using Aspect-Oriented Programming. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
Security policy enforcement, vehicle software, middleware, Aspect-oriented programming, OSGi, reference monitors |
| 1 | Sebastian Hunt, David Sands |
Just Forget It - The Semantics and Enforcement of Information Erasure. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Aslan Askarov, Sebastian Hunt, Andrei Sabelfeld, David Sands |
Termination-Insensitive Noninterference Leaks More Than Just a Bit. |
ESORICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Axelsson, David Sands |
Understanding Intrusion Detection Through Visualization |
|
2006 |
DOI RDF |
|
| 1 | Sebastian Hunt, David Sands |
On flow-sensitive security types. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
static analysis, type systems, information flow, non-interference, flow-sensitivity |
| 1 | Daniel Hedin, David Sands |
Noninterference in the Presence of Non-Opaque Pointers. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Niklas Broberg, David Sands |
Flow Locks: Towards a Core Calculus for Dynamic Flow Policies. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marianne Winslett, Andrew D. Gordon, David Sands (eds.) |
Proceedings of the 2006 ACM workshop on Formal methods in security engineering, FMSE 2006, Alexandria, VA, USA, November 3, 2006 |
FMSE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Daniel Hedin, David Sands |
Timing Aware Information Flow Security for a JavaCard-like Bytecode. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Sabelfeld, David Sands |
Dimensions and Principles of Declassification. |
CSFW |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ádám Darvas, Reiner Hähnle, David Sands |
A Theorem Proving Approach to Analysis of Secure Information Flow. |
SPC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Heiko Mantel, David Sands |
Controlled Declassification Based on Intransitive Noninterference. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Moran, David Sands, Magnus Carlsson |
Erratic Fudgets: a semantic theory for an embedded coordination language. |
Sci. Comput. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Schlaf, Hani A. Hagras, David Sands |
Optimization strategies for parametric analysis of thin-film reflectivity spectra. |
IEEE T. Instrumentation and Measurement |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David Sands, Jörgen Gustavsson, Andrew Moran |
Lambda Calculi and Linear Speedups. |
The Essence of Computation |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Sands |
Probability and Timing: Challenges for Secure Programming. |
PAPM-PROBMIV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Sabelfeld, David Sands |
A Per Model of Secure Information Flow in Sequential Programs. |
Higher-Order and Symbolic Computation |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Agat, David Sands |
On Confidentiality and Algorithms. (PDF / PS) |
IEEE Symposium on Security and Privacy |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörgen Gustavsson, David Sands |
Possibilities and Limitations of Call-by-Need Space Improvement. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David Sands (eds.) |
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 |
ESOP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Andrei Sabelfeld, David Sands |
Probabilistic Noninterference for Multi-Threaded Programs. (PDF / PS) |
CSFW |
2000 |
DBLP DOI BibTeX RDF |
probabilistic bisimulation, probabilistic scheduling, probabilistic covert channels, hook-up, type-system-based analysis, semantics, confidentiality, noninterference |
| 1 | Jörgen Gustavsson, David Sands |
A Foundation for Space-Safe Transformations of Call-by-Need Programs. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Moran, David Sands, Magnus Carlsson |
Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language. |
COORDINATION |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Moran, David Sands |
Improvement in a Lazy Context: An Operational Theory for Call-by-Need. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen, David Sands |
Observable Sharing for Functional Circuit Description. |
ASIAN |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Sabelfeld, David Sands |
A Per Model of Secure Information Flow in Sequential Programs. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Hankin, Daniel Le Métayer, David Sands |
Refining Multiset Tranformers. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | David Sands |
From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | David Sands |
Proving the Correctness of Recursion-Based Automatic Program Transformations. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | David Sands |
Total Correctness by Local Improvement in the Transformation of Functional Programs. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
operational equivalence, unfold-fold, program transformation, correctness, improvement |
| 1 | David Sands |
A Naïve Time Analysis and its Theory of Cost Equivalence. |
J. Log. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | David Sands |
Proving the Correctness of Recursion-Based Automatic Program Transformations. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | David Sands |
Higher Order Expression Procedures. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | David Sands |
Total Correctness by Local Improvement in Program Transformation. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein, David Sands |
A Semantic Model of Binding Times for Safe Partial Evaluation |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Hankin, Daniel Le Métayer, David Sands |
A Parallel Programming Style and Its Algebra of Programs. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | David Sands |
A Compositional Semantics of Combining Forms for Gramma Programs. |
Formal Methods in Programming and Their Applications |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | David Sands |
Laws of Parallel Synchronised Termination. |
Theory and Formal Methods |
1993 |
DBLP BibTeX RDF |
|
| 1 | Chris Hankin, Daniel Le Métayer, David Sands |
Transformation of Gamma Programs. |
WSA |
1992 |
DBLP BibTeX RDF |
|
| 1 | Chris Hankin, Daniel Le Métayer, David Sands |
A Calculus of Gamma Programs. |
LCPC |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | David Sands |
Operational Theories of Improvement in Functional Languages (Extended Abstract). |
Functional Programming |
1991 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Hunt, David Sands |
Binding Time Analysis: A New PERspective. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | David Sands |
Time Analysis, Cost Equivalence and Program Refinement. |
FSTTCS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | David Sands |
Complexity Analysis for a Lazy Higher-Order Language. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | David Sands |
Complexity Analysis for a Lazy Higher-Order Language. |
Functional Programming |
1989 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")