Personal information
Verified email addresses
david.cock@inf.ethz.ch
Verified email domains
ethz.ch
Switzerland, Australia
Activities
Employment (2)
2015
to
present
|
Senior Researcher
(D-INFK)
Employment
Source:
David Cock
2006
to
2015
|
Research Engineer
(Trustworthy Systems)
Employment
Source:
David Cock
Education and qualifications (2)
2009-07
to
2014-08
|
Ph.D.
(Computer Science and Engineering)
Education
Source:
David Cock
2000-01
to
2005-05
|
Bachelor of Science (Advanced Science, Mathematics and Computer Science)
(Computer Science and Engineering)
Education
Source:
David Cock
Professional activities (7)
2023
to
2023
|
Program Committee
(Eurosys)
Service
Source:
David Cock
2023
to
2023
|
Program Committee
(PLOS)
Service
Source:
David Cock
2021
to
2023
|
Program Committee
(ATC)
Service
Source:
David Cock
2022
|
Software System Award
Distinction
Source:
David Cock
2019
to
2021
|
Program Committee
(EMSOFT)
Service
Source:
David Cock
2020
|
Program Committee
(RTAS 2020)
Service
Source:
David Cock
2019
|
Program Committee
(ATC 2019)
Service
Source:
David Cock
Works (28)
2024
|
Book chapter
Contributors:
Ben Fiedler;
Zikai Liu;
David Cock;
Timothy Roscoe
Source:
check_circle
Crossref
2023-06-22
|
Conference paper
Contributors:
Ben Fiedler;
Daniel Schwyn;
Constantin Gierczak-Galle;
David Cock;
Timothy Roscoe
Source:
check_circle
Crossref
International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS
2022
|
Conference paper
EID:
2-s2.0-85126391855
Contributors:
Cock, D.;
Ramdas, A.;
Schwyn, D.;
Giardino, M.;
Turowski, A.;
He, Z.;
Hossle, N.;
Korolija, D.;
Licciardello, M.;
Martsenko, K.
et al.
Source:
David Cock
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021
|
Book
EID:
2-s2.0-85113716801
Contributors:
David Cock
Source:
David Cock
grade
Preferred source
(of
2)
ACM Transactions on Embedded Computing Systems
2021
|
Journal article
EID:
2-s2.0-85115836256
Contributors:
Schult, J.;
Schwyn, D.;
Giardino, M.;
Cock, D.;
Achermann, R.;
Roscoe, T.
Source:
David Cock
via
Scopus - Elsevier
PLOS 2021 - Proceedings of the 2021 11th Workshop on Programming Languages and Operating Systems
2021
|
Conference paper
EID:
2-s2.0-85119090214
Contributors:
Achermann, R.;
Cock, D.;
Haecki, R.;
Hossle, N.;
Humbel, L.;
Roscoe, T.;
Schwyn, D.
Source:
David Cock
via
Scopus - Elsevier
HotOS 2021 - Proceedings of the 2021 Workshop on Hot Topics in Operating Systems
2021
|
Conference paper
EID:
2-s2.0-85107859266
Contributors:
Achermann, R.;
Cock, D.;
Haecki, R.;
Hossle, N.;
Humbel, L.;
Roscoe, T.;
Schwyn, D.
Source:
David Cock
via
Scopus - Elsevier
arXiv
2020
|
Other
EID:
2-s2.0-85098389173
Contributors:
Achermann, R.;
Hossle, N.;
Humbel, L.;
Schwyn, D.;
Cock, D.;
Roscoe, T.
Source:
David Cock
via
Scopus - Elsevier
arXiv
2019
|
Other
EID:
2-s2.0-85094225511
Contributors:
Achermann, R.;
Hossle, N.;
Humbel, L.;
Schwyn, D.;
Cock, D.;
Roscoe, T.
Source:
David Cock
via
Scopus - Elsevier
arXiv
2019
|
Other
EID:
2-s2.0-85093150821
Contributors:
Haecki, R.;
Humbel, L.;
Achermann, R.;
Cock, D.;
Schwyn, D.;
Roscoe, T.
Source:
David Cock
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018
|
Book
EID:
2-s2.0-85049882391
Contributors:
Achermann, R.;
Humbel, L.;
Cock, D.;
Roscoe, T.
Source:
David Cock
via
Scopus - Elsevier
2017
|
Journal article
Contributors:
Reto Achermann;
Lukas Humbel;
David Cock;
Timothy Roscoe
Source:
David Cock
via
BASE - Bielefeld Academic Search Engine
grade
Preferred source
(of
2)
Proceedings of the 9th Workshop on Programming Languages and Operating Systems, PLOS 2017
2017
|
Conference paper
EID:
2-s2.0-85037173197
Contributors:
Humbel, L.;
Achermann, R.;
Cock, D.;
Roscoe, T.
Source:
David Cock
via
Scopus - Elsevier
Journal of cryptographic engineering
2016-12-26
|
Journal article
Contributors:
Qian Ge;
Yuval Yarom;
David Cock;
Gernot Heiser
Source:
David Cock
via
Deutsche Nationalbibliothek (DNB)
grade
Preferred source
(of
2)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014
|
Book
EID:
2-s2.0-84904800091
Contributors:
Cock, D.
Source:
David Cock
via
Scopus - Elsevier
Proceedings of the ACM Conference on Computer and Communications Security
2014
|
Conference paper
EID:
2-s2.0-84910669114
Contributors:
Cock, D.;
Ge, Q.;
Murray, T.;
Heiser, G.
Source:
David Cock
via
Scopus - Elsevier
Source:
David Cock
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013
|
Book
EID:
2-s2.0-84882742694
Contributors:
Cock, D.
Source:
David Cock
via
Scopus - Elsevier
2012
|
Journal article
Contributors:
David Cock
Source:
David Cock
via
BASE - Bielefeld Academic Search Engine
Proceedings of the ACM Conference on Computer and Communications Security
2011
|
Conference paper
EID:
2-s2.0-80955143555
Contributors:
Cock, D.
Source:
David Cock
via
Scopus - Elsevier
2010
|
Conference paper
Contributors:
David Cock
Source:
David Cock
grade
Preferred source
(of
2)
Communications of the ACM
2010
|
Journal article
EID:
2-s2.0-77953210383
Contributors:
Klein, G.;
Andronick, J.;
Elphinstone, K.;
Heiser, G.;
Cock, D.;
Derrin, P.;
Elkaduwe, D.;
Engelhardt, K.;
Kolanski, R.;
Norrish, M.
et al.
Source:
David Cock
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009
|
Book
EID:
2-s2.0-70350303809
Contributors:
Winwood, S.;
Klein, G.;
Sewell, T.;
Andronick, J.;
Cock, D.;
Norrish, M.
Source:
David Cock
via
Scopus - Elsevier
SOSP'09 - Proceedings of the 22nd ACM SIGOPS Symposium on Operating Systems Principles
2009
|
Conference paper
EID:
2-s2.0-72249120603
Contributors:
Klein, G.;
Elphinstone, K.;
Heiser, G.;
Andronick, J.;
Cock, D.;
Derrin, P.;
Elkaduwe, D.;
Engelhardt, K.;
Kolanski, R.;
Norrish, M.
et al.
Source:
David Cock
via
Scopus - Elsevier
CEUR Workshop Proceedings
2008
|
Conference paper
EID:
2-s2.0-84885230563
Contributors:
Cock, D.
Source:
David Cock
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2008
|
Book
EID:
2-s2.0-57049118010
Contributors:
Cock, D.;
Klein, G.;
Sewell, T.
Source:
David Cock
via
Scopus - Elsevier
Haskell'06 - Proceedings of the ACM SIGPLAN 2006 Haskell Workshop
2006
|
Conference paper
EID:
2-s2.0-33750992489
Contributors:
Derrin, P.;
Elphinstone, K.;
Klein, G.;
Cock, D.;
Chakravarty, M.M.T.
Source:
David Cock
via
Scopus - Elsevier
2004
|
Other
Contributors:
David Cock
Source:
David Cock
grade
Preferred source
(of
2)