David Sands
发表
Sungkook Park,
David Sands,
Carlos Alejaldre,
2010
.
David Sands,
Phu H. Phung,
Jonas Magazinius,
2010,
NordSec.
David Sands,
Niklas Broberg,
David Sands,
2010,
POPL '10.
David Sands,
Niklas Broberg,
Bart van Delft,
2014,
Software Systems Safety.
David Sands,
Niklas Broberg,
Bart van Delft,
2013,
APLAS.
David Sands,
Niklas Broberg,
2009,
SIGP.
David Sands,
Niklas Broberg,
Bart van Delft,
2015,
2015 IEEE 28th Computer Security Foundations Symposium.
David Sands,
David Sands,
1996,
TOPL.
Reiner Hähnle,
David Sands,
Ádám Darvas,
2005,
SPC.
Flemming Nielson,
David Sands,
F. Nielson,
2019,
Lecture Notes in Computer Science.
David Sands,
Sebastian Hunt,
David Sands,
1991,
PEPM '91.
David Sands,
Johan Agat,
2001,
S&P 2001.
David Sands,
1995,
TAPSOFT.
David Sands,
David Sands,
1989,
Functional Programming.
Andrew Moran,
David Sands,
Magnus Carlsson,
2003,
Sci. Comput. Program..
David Sands,
2006,
Ind. Robot.
David Sands,
David Sands,
2001
.
Alejandro Russo,
David Sands,
Filippo Del Tedesco,
2014,
ESSoS.
David Sands,
David Sands,
1999
.
Stefan Axelsson,
David Sands,
Stefan Axelsson,
2005
.
David Sands,
Andrei Sabelfeld,
1999,
ESOP.
David Sands,
Hamid Ebadi,
David Sands,
2015,
J. Priv. Confidentiality.
David Sands,
Niklas Broberg,
2006,
ESOP.
Stefan Axelsson,
David Sands,
2006,
Advances in Information Security.
David Sands,
2018
.
David Sands,
David Sands,
1995,
Theor. Comput. Sci..
David Sands,
Niklas Broberg,
Bart van Delft,
2014,
PLAS@ECOOP.
David Sands,
Phu H. Phung,
David Sands,
2008,
2008 32nd Annual IEEE International Computer Software and Applications Conference.
David Sands,
Niklas Broberg,
David Sands,
2009,
PLAS '09.
David Sands,
Niklas Broberg,
Bart van Delft,
2012,
STM.
Marianne Winslett,
Andrew D. Gordon,
David Sands,
2006,
FMSE.
David Sands,
Filippo Del Tedesco,
2009,
SECCO.
David Sands,
Daniel Hedin,
2006,
19th IEEE Computer Security Foundations Workshop (CSFW'06).
David Sands,
David Sands,
1995,
PEPM '95.
Andrew Moran,
David Sands,
Magnus Carlsson,
1999,
Sci. Comput. Program..
David Sands,
Daniel Hedin,
2005,
Electron. Notes Theor. Comput. Sci..
David Sands,
Johan Agat,
David Sands,
2001,
Proceedings 2001 IEEE Symposium on Security and Privacy. S&P 2001.
David Sands,
Sebastian Hunt,
David Sands,
2008,
ESOP.
Marianne Winslett,
Andrew D. Gordon,
David Sands,
2006,
CCS 2006.
Andrew Moran,
David Sands,
David Sands,
1999,
POPL '99.
David Sands,
D. Sands,
J. V. Leeuwen,
2001,
Lecture Notes in Computer Science.
David Sands,
Sebastian Hunt,
2020,
From Lambda Calculus to Cybersecurity Through Program Analysis.
David Sands,
Delphine Demange,
2009,
ESOP.
Chris Hankin,
David Sands,
Daniel Le Métayer,
1998,
Theor. Comput. Sci..
David Sands,
Abigail L Marchant,
2012
.
David Sands,
Heiko Mantel,
Henning Sudbrock,
2011,
2011 IEEE 24th Computer Security Foundations Symposium.
Koen Claessen,
David Sands,
David Sands,
1999,
ASIAN.
David Sands,
2010
.
Alejandro Russo,
David Sands,
Filippo Del Tedesco,
2014,
ArXiv.
David Sands,
1997,
POPL '97.
Alejandro Russo,
David Sands,
Filippo Del Tedesco,
2010,
NordSec.
Chris Hankin,
David Sands,
Daniel Le Métayer,
1992,
LCPC.
Fritz Henglein,
David Sands,
F. Henglein,
1995,
PLILP.
David Sands,
D. Sands,
2016
.
David Sands,
Andrei Sabelfeld,
David Sands,
2005,
18th IEEE Computer Security Foundations Workshop (CSFW'05).
Chris Hankin,
David Sands,
Daniel Le Métayer,
1992,
WSA.
David Sands,
Niklas Broberg,
2009,
ARSPA-WITS.
David Sands,
David Sands,
1991,
FSTTCS.
David Sands,
Sebastian Hunt,
David Sands,
2006,
POPL '06.
David Sands,
1983,
Microprocess. Microsystems.
David Sands,
Josef Svenningsson,
David Sands,
2009,
Formal Aspects in Security and Trust.
David Sands,
Gerardo Schneider,
Srinivas Pinisetty,
2018,
2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE).
David Sands,
Andrei Sabelfeld,
David Sands,
1999,
High. Order Symb. Comput..
David Sands,
1993,
Theory and Formal Methods.
David Sands,
David Sands,
1991,
Functional Programming.
David Sands,
David Sands,
1995,
J. Log. Comput..
David Sands,
1993,
Formal Methods in Programming and Their Applications.
David Sands,
Thibaud Antignac,
Hamid Ebadi,
2016,
2016 14th Annual Conference on Privacy, Security and Trust (PST).
David Sands,
Phu H. Phung,
Andrey Chudnov,
2009,
ASIACCS '09.
The 4th ACM Workshop onProceedings of the 4th ACM Workshop on Formal Methods in Security Engineering
Andrew D. Gordon,
David Sands,
David Sands,
2006
.
David Sands,
Andrei Sabelfeld,
David Sands,
2000,
Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13.
David Sands,
1996
.
David Sands,
David Sands,
1995,
POPL '95.
David Sands,
1990
.
David Sands,
Gerardo Schneider,
Thibaud Antignac,
2018,
ArXiv.
David Sands,
2013,
PLAS '13.
David Sands,
Sebastian Hunt,
David Sands,
1991,
PEPM '91.
David Sands,
David Sands,
1990
.
David Sands,
Sebastian Hunt,
Bart van Delft,
2015,
POST.
Chris Hankin,
David Sands,
Daniel Le Métayer,
1993,
PARLE.
David Sands,
Gerardo Schneider,
Thibaud Antignac,
2017,
SEC.
David Sands,
Niklas Broberg,
Bart van Delft,
2012
.
David Sands,
Gerardo Schneider,
Hamid Ebadi,
2015,
POPL.
David Sands,
Andrei Sabelfeld,
Sebastian Hunt,
2008,
ESORICS.
Andrew Moran,
David Sands,
Jörgen Gustavsson,
2002,
The Essence of Computation.
David Sands,
Jörgen Gustavsson,
David Sands,
1999,
HOOTS.
David Sands,
Sebastian Hunt,
Filippo Del Tedesco,
2011,
ICISS.
David Sands,
Andrei Sabelfeld,
David Sands,
2009,
J. Comput. Secur..
David Sands,
Gerardo Schneider,
Thibaud Antignac,
2016,
ArXiv.
David Sands,
Sebastian Hunt,
David Sands,
2011,
ESOP.
David Sands,
Niklas Broberg,
Bart van Delft,
2017,
J. Comput. Secur..
David Sands,
2002,
PAPM-PROBMIV.
David Sands,
Jörgen Gustavsson,
David Sands,
2001,
ICFP '01.
Alejandro Russo,
David Sands,
Filippo Del Tedesco,
2016,
2016 IEEE 29th Computer Security Foundations Symposium (CSF).
David Sands,
Martin Weichert,
1998,
Proceedings of the Thirty-First Hawaii International Conference on System Sciences.
David Sands,
Heiko Mantel,
2004,
APLAS.
David Sands,
Sebastian Hunt,
David Sands,
2021,
2021 IEEE 34th Computer Security Foundations Symposium (CSF).