CORDIS provides links to public deliverables and publications of HORIZON projects.
Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .
Publications
Author(s):
Alasdair Armstrong, Brian Campbell, Ben Simner, Christopher Pulte, Peter Sewell
Published in:
Formal Methods in System Design, Issue 63, 2024, Page(s) 110-133, ISSN 0925-9856
Publisher:
Kluwer Academic Publishers
DOI:
10.1007/s10703-023-00409-y
Author(s):
Christopher Pulte, Dhruv C. Makwana, Thomas Sewell, Kayvan Memarian, Peter Sewell, and Neel Krishnaswami
Published in:
PACM PL POPL - POPL 2023: Proceedings of the 50th ACM SIGPLAN Symposium on Principles of Programming Languages., 2023, ISSN 2475-1421
Publisher:
ACM
DOI:
10.1145/3571194
Author(s):
Angus Hammond, Zongyuan Liu, Thibaut Pérami, Peter Sewell, Lars Birkedal, Jean Pichon-Pharabod
Published in:
Proceedings of the ACM on Programming Languages, Issue 8, 2024, Page(s) 604-637, ISSN 2475-1421
Publisher:
ACM
DOI:
10.1145/3632863
Author(s):
Thomas Sewell, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar, Alexander Mihajlovic, Oskar Abrahamsson, Scott Owens
Published in:
Proceedings of the ACM on Programming Languages, Issue 7, 2023, Page(s) 1121-1144, ISSN 2475-1421
Publisher:
ACM
DOI:
10.1145/3591266
Author(s):
Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Alastair Reid, Kathryn E. Gray, Robert M. Norton, Prashanth Mundkur, Mark Wassell, Jon French, Christopher Pulte, Shaked Flur, Ian Stark, Neel Krishnaswami, Peter Sewell
Published in:
Proceedings of the ACM on Programming Languages, Issue 3/POPL, 2019, Page(s) 1-31, ISSN 2475-1421
Publisher:
ACM
DOI:
10.1145/3290384
Author(s):
Kayvan Memarian, Victor B. F. Gomes, Brooks Davis, Stephen Kell, Alexander Richardson, Robert N. M. Watson, Peter Sewell
Published in:
Proceedings of the ACM on Programming Languages, Issue 3/POPL, 2019, Page(s) 1-32, ISSN 2475-1421
Publisher:
ACM
DOI:
10.1145/3290380
Author(s):
Robert N. M. Watson, David Chisnall, Jessica Clarke, Brooks Davis, Nathaniel Wesley Filardo, Ben Laurie, Simon W. Moore, Peter G. Neumann, Alexander Richardson, Peter Sewell, Konrad Witaszczyk, Jonathan Woodruff
Published in:
IEEE Security & Privacy, Issue 22, 2024, Page(s) 50-61, ISSN 1540-7993
Publisher:
IEEE Computer Society
DOI:
10.1109/msec.2024.3396701
Author(s):
Richard Grisenthwaite, Graeme Barnes, Robert N. M. Watson, Simon W. Moore, Peter Sewell, Jonathan Woodruff
Published in:
IEEE Micro, Issue 43, 2023, Page(s) 50-57, ISSN 0272-1732
Publisher:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/mm.2023.3264676
Author(s):
Robert N. M. Watson, Alexander Richardson, Brooks Davis, John Baldwin, David Chisnall, Jessica Clarke, Nathaniel Filardo, Simon W. Moore, Edward Napierala, Peter Sewell, and Peter G. Neumann
Published in:
2020
Publisher:
University of Cambridge Computer Laboratory
Author(s):
Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John Baldwin, David Chisnall, Brooks Davis, Nathaniel Wesley Filardo, Alexandre Joannou, Ben Laurie, A. Theodore Markettos, Simon W. Moore, Steven J. Murdoch, Kyndylan Nienhuis, Robert Norton, Alex Richardson, Peter Rugg, Peter Sewell, Stacey Son, and Hongyan Xia.
Published in:
2019
Publisher:
University of Cambridge Computer Laboratory
Author(s):
Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John Baldwin, Graeme Barnes, David Chisnall, Jessica Clarke, Brooks Davis, Lee Eisen, Nathaniel Wesley Filardo, Richard Grisenthwaite, Alexandre Joannou, Ben Laurie, A. Theodore Markettos, Simon W. Moore, Steven J. Murdoch, Kyndylan Nienhuis, Robert Norton, Alexander Richardson, Peter Rugg, P
Published in:
2020
Publisher:
University of Cambridge Computer Laboratory
Author(s):
Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Peter Neumann
Published in:
2019
Publisher:
University of Cambridge Computer Laboratory
Author(s):
Bauereiss, Thomas and Campbell, Brian and Sewell, Thomas
and Armstrong, Alasdair and Esswood, Lawrence and Stark,
Ian and Barnes, Graeme and Watson, Robert N. M. and Sewell,
Peter
Published in:
2021
Publisher:
University of Cambridge, Computer Laboratory
DOI:
10.48456/tr-959
Author(s):
Jens Gustedt, Peter Sewell, Kayvan Memarian, Victor B. F. Gomes, and Martin Uecker
Published in:
2022
Publisher:
WG 14
Author(s):
Jens Gustedt, Peter Sewell, Kayvan Memarian, Victor B. F. Gomes, and Martin Uecker.
Published in:
2021
Publisher:
ISO/IEC JTC1/SC22/WG14 C Standards Committee
Author(s):
Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, Deepak Garg
Published in:
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021, Page(s) 158-174, ISBN 9781450383912
Publisher:
ACM
DOI:
10.1145/3453483.3454036
Author(s):
Alasdair Armstrong, Brian Campbell, Ben Simner, Christopher Pulte,
Peter Sewell
Published in:
Computer Aided Verification - 33rd International Conference, {CAV} 2021, 2021, Page(s) 303-316
Publisher:
Springer
DOI:
10.1007/978-3-030-81685-8_14
Author(s):
Ben Simner, Alasdair Armstrong, Jean Pichon-Pharabod, Christopher Pulte, Richard Grisenthwaite, and Peter Sewell
Published in:
ESOP 2022: Proceedings of the 31st European Symposium on Programming, 2022, Page(s) 143-173
Publisher:
Springer
DOI:
10.1007/978-3-030-99336-8_6
Author(s):
Rodolphe Lepigre, Michael Sammler, Kayvan Memarian, Robbert Krebbers, Derek Dreyer, and Peter Sewell.
Published in:
PACM PL (POPL), 2022
Publisher:
ACM
DOI:
10.1145/3498681
Author(s):
Michael Sammler, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, and Peter Sewell
Published in:
PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2022
Publisher:
ACM
DOI:
10.1145/3519939.3523434
Author(s):
Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin, and Philippa Gardner.
Published in:
Formal Methods - 24th International Symposium, FM 2021, 2021, Page(s) 61-79
Publisher:
Springer
DOI:
10.1007/978-3-030-90870-6_4
Author(s):
Kyndylan Nienhuis and Alexandre Joannou and Thomas Bauereiss and Anthony Fox and Michael Roe and Brian Campbell and Matthew Naylor and Robert M. Norton and Moore, Simon W. and Neumann, Peter G. and Ian Stark and Watson, Robert N. M. and Peter Sewell
Published in:
Proceedings of the 41st IEEE Symposium on Security and Privacy (SP), Issue 41, 2020, Page(s) 1007--1024
Publisher:
IEEE Computer Society
DOI:
10.1109/sp40000.2020.00055
Author(s):
Nathaniel Wesley Filardo and Brett F. Gutstein and Jonathan Woodruff and Sam Ainsworth and Lucian Paul-Trifu and Brooks Davis and Hongyan Xia and Edward Tomasz Napierala and Alexander Richardson and John Baldwin and David Chisnall and Jessica Clarke and Khilan Gudka and Alexandre Joannou and A. Theodore Markettos and Alfredo Mazzinghi and Robert M. Norton and Michael Roe and Peter Sewell and Stace
Published in:
Proceedings of the 41st IEEE Symposium on Security and Privacy (SP), 2020, Page(s) 1507-1524
Publisher:
IEEE Computer Society
DOI:
10.1109/sp40000.2020.00098
Author(s):
Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. Moore, John Baldwin, David Chisnall, James Clarke, Nathaniel Wesley Filardo, Khilan Gudka, Alexandre Joannou, Ben Laurie, A. Theodore Markettos, J. Edward Maste, Alfredo Mazzinghi, Edward Tomasz Napierala, Robert M. Norton, Michael Roe, Peter Sewell, Stacey Son, Jonathan Woodruff
Published in:
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019, Page(s) 379-393, ISBN 9781-450362405
Publisher:
ACM
DOI:
10.1145/3297858.3304042
Author(s):
Matthew J. Parkinson, Sylvan Clebsch, Ben Simner
Published in:
Proceedings of the 2023 ACM SIGPLAN International Symposium on Memory Management, 2023, Page(s) 85-96
Publisher:
ACM
DOI:
10.1145/3591195.3595271
Author(s):
Thomas Bauereiss, Brian Campbell, Thomas Sewell, Alasdair Armstrong, Lawrence Esswood, Ian Stark, Graeme Barnes, Robert N. M. Watson, and Peter Sewell
Published in:
ESOP 2022: Proceedings of the 31st European Symposium on Programming, 2022, Page(s) 174-203
Publisher:
Springer
DOI:
10.1007/978-3-030-99336-8_7
Author(s):
Vadim Zaliva, Kayvan Memarian, Ricardo Almeida, Jessica Clarke, Brooks Davis, Alexander Richardson, David Chisnall, Brian Campbell, Ian Stark, Robert N. M. Watson, Peter Sewell
Published in:
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1, 2024, Page(s) 181-196
Publisher:
ACM
DOI:
10.1145/3617232.3624859
Author(s):
Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, Shu-yu Guo
Published in:
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 2020, Page(s) 346-361, ISBN 9781450376136
Publisher:
ACM
DOI:
10.1145/3385412.3385973
Author(s):
Robert N. M. Watson, Peter Sewell, and William Martin
Published in:
The Next Wave, Issue Vol 24(1), 2023, Page(s) 10-21, ISSN 2640-1797
Publisher:
Executive Agency Publications (National Security Agency)
Author(s):
Stella Lau, Victor B. F. Gomes, Kayvan Memarian, Jean Pichon-Pharabod, Peter Sewell
Published in:
Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, Issue 11561, 2019, Page(s) 387-397, ISBN 978-3-030-25539-8
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-25540-4_22
Author(s):
Ben Simner, Shaked Flur, Christopher Pulte, Alasdair Armstrong, Jean Pichon-Pharabod, Luc Maranget, Peter Sewell
Published in:
Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Issue 12075, 2020, Page(s) 626-655, ISBN 978-3-030-44913-1
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-44914-8_23
Author(s):
Nienhuis, Kyndylan
Published in:
Issue 1, 2022
Publisher:
University of Cambridge
DOI:
10.17863/cam.83267
Author(s):
Kayvan Memarian
Published in:
2023
Publisher:
University of Cambridge Computer Laboratory
DOI:
10.48456/tr-981
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available