David Sands - RankMe

79 papers A* 7A 12B 4C 4Misc 2Journal 18Unranked 28

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Reconciling Shannon and Scott with a Lattice of Computable Information. Proc. ACM Program. Lang. Sebastian Hunt, David Sands, Sandro Stucki
2022	A*	`conf`	PROPR: Property-Based Automatic Program Repair. ICSE Matthías Páll Gissurarson, Leonhard Applis, Annibale Panichella, Arie van Deursen, David Sands
2022	J	`jnl`	Reconciling Shannon and Scott with a Lattice of Computable Information. CoRR Sebastian Hunt, David Sands, Sandro Stucki
2021	A	`conf`	A Quantale of Information. CSF Sebastian Hunt, David Sands
2020	—	`conf`	New Program Abstractions for Privacy. From Lambda Calculus to Cybersecurity Through Program Analysis Sebastian Hunt, David Sands
2019	—	`ed.`	Principles of Security and Trust - 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings POST Flemming Nielson, David Sands
2018	J	`jnl`	Monitoring Data Minimisation. CoRR Srinivas Pinisetty, Thibaud Antignac, David Sands, Gerardo Schneider
2018	—	`conf`	Runtime verification of hyperproperties for deterministic programs. FormaliSE@ICSE Srinivas Pinisetty, Gerardo Schneider, David Sands
2017	Misc	`conf`	Data Minimisation: A Language-Based Approach. SEC Thibaud Antignac, David Sands, Gerardo Schneider
2017	—	`ed.`	IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017 LPAR (Short Presentations) Thomas Eiter, David Sands, Geoff Sutcliffe, Andrei Voronkov
2017	B	`ed.`	LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017 LPAR Thomas Eiter, David Sands
2017	J	`jnl`	Paragon - Practical programming with information flow control. J. Comput. Secur. Niklas Broberg, Bart van Delft, David Sands
2016	J	`jnl`	Data Minimisation: a Language-Based Approach (Long Version). CoRR Thibaud Antignac, David Sands, Gerardo Schneider
2016	A	`conf`	Fault-Resilient Non-interference. CSF Filippo Del Tedesco, David Sands, Alejandro Russo
2016	J	`jnl`	Featherweight PINQ. J. Priv. Confidentiality Hamid Ebadi, David Sands
2016	C	`conf`	Sampling and partitioning for differential privacy. PST Hamid Ebadi, Thibaud Antignac, David Sands
2015	A*	`conf`	Differential Privacy: Now it's Getting Personal. POPL Hamid Ebadi, David Sands, Gerardo Schneider
2015	J	`jnl`	Featherweight PINQ. CoRR Hamid Ebadi, David Sands
2015	A	`conf`	The Anatomy and Facets of Dynamic Policies. CSF Niklas Broberg, Bart van Delft, David Sands
2015	J	`jnl`	The Anatomy and Facets of Dynamic Policies. CoRR Niklas Broberg, Bart van Delft, David Sands
2015	—	`conf`	Very Static Enforcement of Dynamic Policies. POST Bart van Delft, Sebastian Hunt, David Sands
2015	J	`jnl`	Very Static Enforcement of Dynamic Policies. CoRR Bart van Delft, Sebastian Hunt, David Sands
2014	—	`conf`	Fault-Tolerant Non-interference. ESSoS Filippo Del Tedesco, Alejandro Russo, David Sands
2014	—	`conf`	Paragon: Programming with Information Flow Control (Demo). PLAS@ECOOP Niklas Broberg, Bart van Delft, David Sands
2014	—	`ch.`	Programming in Paragon. Software Systems Safety Bart van Delft, Niklas Broberg, David Sands
2014	J	`jnl`	Type-Directed Compilation for Fault-Tolerant Non-Interference. CoRR Filippo Del Tedesco, David Sands, Alejandro Russo
2013	—	`conf`	Fault-tolerant non-interference: invited talk abstract. PLAS David Sands
2013	B	`conf`	Paragon for Practical Programming with Information-Flow Control. APLAS Niklas Broberg, Bart van Delft, David Sands
2012	—	`conf`	A Datalog Semantics for Paralocks. STM Bart van Delft, Niklas Broberg, David Sands
2011	J	`jnl`	A Semantic Hierarchy for Erasure Policies CoRR Filippo Del Tedesco, Sebastian Hunt, David Sands
2011	Misc	`conf`	A Semantic Hierarchy for Erasure Policies. ICISS Filippo Del Tedesco, Sebastian Hunt, David Sands
2011	A	`conf`	Assumptions and Guarantees for Compositional Noninterference. CSF Heiko Mantel, David Sands, Henning Sudbrock
2011	A	`conf`	From Exponential to Polynomial-Time Security Typing via Principal Types. ESOP Sebastian Hunt, David Sands
2010	—	`conf`	Implementing Erasure Policies Using Taint Analysis. NordSec Filippo Del Tedesco, Alejandro Russo, David Sands
2010	A*	`conf`	Paralocks: role-based information flow control and beyond. POPL Niklas Broberg, David Sands
2010	—	`conf`	Safe Wrappers and Sane Policies for Self Protecting JavaScript. NordSec Jonas Magazinius, Phu H. Phung, David Sands
2009	—	`conf`	A User Model for Information Erasure SECCO Filippo Del Tedesco, David Sands
2009	A	`conf`	All Secrets Great and Small. ESOP Delphine Demange, David Sands
2009	J	`jnl`	Declassification: Dimensions and principles. J. Comput. Secur. Andrei Sabelfeld, David Sands
2009	—	`conf`	Flow-sensitive semantics for dynamic information flow policies. PLAS Niklas Broberg, David Sands
2009	—	`conf`	Improving the Semantics of Imperfect Security. ARSPA-WITS Niklas Broberg, David Sands
2009	A	`conf`	Lightweight self-protecting JavaScript. AsiaCCS Phu H. Phung, David Sands, Andrey Chudnov
2009	J	`jnl`	Specification and Verification of Side Channel Declassification CoRR Josef Svenningsson, David Sands
2009	—	`conf`	Specification and Verification of Side Channel Declassification. Formal Aspects in Security and Trust Josef Svenningsson, David Sands
2008	A	`conf`	Just Forget It - The Semantics and Enforcement of Information Erasure. ESOP Sebastian Hunt, David Sands
2008	B	`conf`	Security Policy Enforcement in the OSGi Framework Using Aspect-Oriented Programming. COMPSAC Phu H. Phung, David Sands
2008	A	`conf`	Termination-Insensitive Noninterference Leaks More Than Just a Bit. ESORICS Aslan Askarov, Sebastian Hunt, Andrei Sabelfeld, David Sands
2006	A	`conf`	Flow Locks: Towards a Core Calculus for Dynamic Flow Policies. ESOP Niklas Broberg, David Sands
2006	—	`conf`	Noninterference in the Presence of Non-Opaque Pointers. CSFW Daniel Hedin, David Sands
2006	A*	`conf`	On flow-sensitive security types. POPL Sebastian Hunt, David Sands
2005	—	`conf`	A Theorem Proving Approach to Analysis of Secure Information Flow. SPC Ádám Darvas, Reiner Hähnle, David Sands
2005	—	`conf`	Dimensions and Principles of Declassification. CSFW Andrei Sabelfeld, David Sands
2005	—	`conf`	Timing Aware Information Flow Security for a JavaCard-like Bytecode. Bytecode@ETAPS Daniel Hedin, David Sands
2004	B	`conf`	Controlled Declassification Based on Intransitive Noninterference. APLAS Heiko Mantel, David Sands
2003	J	`jnl`	Erratic Fudgets: a semantic theory for an embedded coordination language. Sci. Comput. Program. Andrew Moran, David Sands, Magnus Carlsson
2002	—	`conf`	Lambda Calculi and Linear Speedups. The Essence of Computation David Sands, Jörgen Gustavsson, Andrew Moran
2002	—	`conf`	Probability and Timing: Challenges for Secure Programming. PAPM-PROBMIV David Sands
2001	J	`jnl`	A Per Model of Secure Information Flow in Sequential Programs. High. Order Symb. Comput. Andrei Sabelfeld, David Sands
2001	A	`conf`	Possibilities and Limitations of Call-by-Need Space Improvement. ICFP Jörgen Gustavsson, David Sands
2000	—	`conf`	Probabilistic Noninterference for Multi-Threaded Programs. CSFW Andrei Sabelfeld, David Sands
1999	—	`conf`	A Foundation for Space-Safe Transformations of Call-by-Need Programs. HOOTS Jörgen Gustavsson, David Sands
1999	A	`conf`	A Per Model of Secure Information Flow in Sequential Programs. ESOP Andrei Sabelfeld, David Sands
1999	C	`conf`	Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language. COORDINATION Andrew Moran, David Sands, Magnus Carlsson
1999	A*	`conf`	Improvement in a Lazy Context: An Operational Theory for Call-by-Need. POPL Andrew Moran, David Sands
1999	—	`conf`	Observable Sharing for Functional Circuit Description. ASIAN Koen Claessen, David Sands
1998	J	`jnl`	Refining Multiset Tranformers. Theor. Comput. Sci. Chris Hankin, Daniel Le Métayer, David Sands
1997	A*	`conf`	From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages. POPL David Sands
1996	J	`jnl`	Proving the Correctness of Recursion-Based Automatic Program Transformations. Theor. Comput. Sci. David Sands
1995	J	`jnl`	A Naïve Time Analysis and its Theory of Cost Equivalence. J. Log. Comput. David Sands
1995	—	`conf`	A Semantic Model of Binding Times for Safe Partial Evaluation PLILP Fritz Henglein, David Sands
1995	C	`conf`	Higher Order Expression Procedures. PEPM David Sands
1995	—	`conf`	Proving the Correctness of Recursion-Based Automatic Program Transformations. TAPSOFT David Sands
1995	A*	`conf`	Total Correctness by Local Improvement in Program Transformation. POPL David Sands
1993	—	`conf`	A Compositional Semantics of Combining Forms for Gramma Programs. Formal Methods in Programming and Their Applications David Sands
1993	—	`conf`	A Parallel Programming Style and Its Algebra of Programs. PARLE Chris Hankin, Daniel Le Métayer, David Sands
1992	—	`conf`	A Calculus of Gamma Programs. LCPC Chris Hankin, Daniel Le Métayer, David Sands
1992	—	`conf`	Transformation of Gamma Programs. WSA Chris Hankin, Daniel Le Métayer, David Sands
1991	C	`conf`	Binding Time Analysis: A New PERspective. PEPM Sebastian Hunt, David Sands
1990	—	`—`	Calculi for time analysis of functional programs. David Sands