المؤلفون: Alexandre Joannou, Peter Rugg, Jonathan Woodruff, Franz A. Fuchs, Marno Van der Maas, Matthew Naylor, Michael Roe, Robert N. M. Watson, Peter G. Neumann, Simon W. Moore

المساهمون: Woodruff, Jonathan [0000-0003-3971-2681], Fuchs, Franz A [0000-0002-1402-7138], Moore, Simon W [0000-0002-2806-495X], Apollo - University of Cambridge Repository

المصدر: IEEE Design & Test. :1-1

مصطلحات موضوعية: 4009 Electronics, Sensors and Digital Hardware, Hardware and Architecture, Electrical and Electronic Engineering, Software, 40 Engineering

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1c3df44ab2b72d1129702ce1b1f60b20
https://doi.org/10.1109/mdat.2023.3262741

المؤلفون: Peter Sewell, Khilan Gudka, David Chisnall, Alexander Richardson, Robert N. M. Watson, Alexandre Joannou, Stacey Son, John Baldwin, Edward Napierala, Michael Roe, Robert M. Norton, Nathaniel Wesley Filardo, Alfredo Mazzinghi, Simon W. Moore, Jessica Clarke, Jonathan Woodruff, Sam Ainsworth, Brooks Davis, Brett F. Gutstein, Peter G. Neumann, Lucian Paul-Trifu, A. Theodore Markettos, Hongyan Xia, Timothy M. Jones

المصدر: Proceedings of the 41st IEEE Symposium on Security and Privacy (SP)
2020 IEEE Symposium on Security and Privacy (SP)
IEEE Symposium on Security and Privacy

مصطلحات موضوعية: 010302 applied physics, Revocation, Computer science, Spec#, 02 engineering and technology, computer.software_genre, 3301 Architecture, 01 natural sciences, 020202 computer hardware & architecture, Allocator, Memory management, 46 Information and Computing Sciences, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, Operating system, Test suite, Hardware acceleration, 33 Built Environment and Design, Memory safety, computer, Booting, computer.programming_language, Heap (data structure)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aca2234b627b684664fc034652d5b50c

المؤلفون: 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, Peter Sewell, Stacey Son, Hongyan Xia

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::1f5b2e44e3ab9cca15f234ee537f453d

المؤلفون: Robert N. M. Watson, Jonathan Woodruff, Alexandre Joannou, Simon W. Moore, Peter Sewell, Arm Limited

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5771d115e08f91034b30770cbef44133

المؤلفون: Michael Roe, Simon W. Moore, Alexandre Joannou, Khilan Gudka, Peter G. Neumann, Jonathan Woodruff, Robert Norton, J. Edward Maste, Stacey Son, A. Theodore Markettos, Ben Laurie, Robert N. M. Watson, Brooks Davis, David Brazdil, David Chisnall

المصدر: ASPLOS

مصطلحات موضوعية: Java, Scala, Computer science, Embedded Java, 02 engineering and technology, computer.software_genre, 01 natural sciences, 46 Information and Computing Sciences, Real time Java, 020204 information systems, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 4604 Cybersecurity and Privacy, Memory safety, Java applet, computer.programming_language, General Environmental Science, 010302 applied physics, Programming language, strictfp, Non-blocking I/O, General Medicine, Generics in Java, Computer Graphics and Computer-Aided Design, Java concurrency, Java API for XML-based RPC, Operating system, General Earth and Planetary Sciences, Compiler, Java Card, Machine code, computer, Java annotation, Software, Java Modeling Language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::45826b388701e9ab0d83cd07e7650eab
https://doi.org/10.1145/3093315.3037725

المؤلفون: Matthew Naylor, Michael Roe, Thomas Bauereiss, Brian Campbell, Kyndylan Nienhuis, Simon W. Moore, Ian Stark, Peter Sewell, Robert M. Norton, Peter G. Neumann, Alexandre Joannou, Robert N. M. Watson, Anthony Fox

المصدر: Nienhuis, K, Joannou, A, Bauereiss, T, Fox, A, Roe, M, Campbell, B, Naylor, M, Norton, R M, Moore, S W, Neumann, P G, Stark, I, Watson, R N M & Sewell, P 2020, Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process . in 2020 IEEE Symposium on Security and Privacy (SP) . Institute of Electrical and Electronics Engineers (IEEE), San Francisco, CA, USA, pp. 1003-1020, 41st IEEE Symposium on Security and Privacy, San Francisco, California, United States, 18/05/20 . https://doi.org/10.1109/SP40000.2020.00055
2020 IEEE Symposium on Security and Privacy (SP)
Proceedings of the 41st IEEE Symposium on Security and Privacy (SP)
IEEE Symposium on Security and Privacy

مصطلحات موضوعية: Hardware security module, Computer science, business.industry, Vulnerability, 02 engineering and technology, 3301 Architecture, Oracle, 020202 computer hardware & architecture, Microarchitecture, Instruction set, Documentation, Software, Software bug, 46 Information and Computing Sciences, Scalability, 0202 electrical engineering, electronic engineering, information engineering, 4604 Cybersecurity and Privacy, 020201 artificial intelligence & image processing, Software engineering, business, Engineering design process, 33 Built Environment and Design, Formal verification, 4612 Software Engineering

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::088194b0b16081fc68eabf7d11140121

المؤلفون: Alexandre Joannou, Khilan Gudka, Peter G. Neumann, David Chisnall, Robert M. Norton, A. Theodore Markettos, Jonathan Woodruff, Simon W. Moore, Nathaniel Wesley Filardo, Brooks Davis, Michael Roe, Robert N. M. Watson, Anthony Fox, Hongyan Xia

المساهمون: Xia, Hongyan [0000-0002-8047-899X], Norton-Wright, Robert [0000-0002-6095-6405], Moore, Simon [0000-0002-2806-495X], Apollo - University of Cambridge Repository

مصطلحات موضوعية: memory safety, Correctness, business.industry, Computer science, Processor design, Legacy system, 02 engineering and technology, Capabilities, compression, 020202 computer hardware & architecture, Theoretical Computer Science, Instruction set, Uncompressed video, Software, Computational Theory and Mathematics, Computer engineering, Hardware and Architecture, Pointer (computer programming), 0202 electrical engineering, electronic engineering, information engineering, fat pointers, computer architecture, business

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d0e95515760db766c3e26d5ad557891a
https://www.repository.cam.ac.uk/handle/1810/292406

المؤلفون: Robert N. M. Watson, Brooks Davis, Peter Sewell, Alexandre Joannou, Alfredo Mazzinghi, Nathaniel Wesley Filardo, Jonathan Woodruff, Alexander Richardson, Khilan Gudka, Jessica Clarke, Robert M. Norton, Ben Laurie, Stacey Son, David Chisnall, Simon W. Moore, Michael Roe, Peter G. Neumann, John Baldwin, Edward Napierala, J. Edward Maste, A. Theodore Markettos

المصدر: ASPLOS
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems

مصطلحات موضوعية: operating systems, 010302 applied physics, Computer science, Distributed computing, security, 02 engineering and technology, 01 natural sciences, CHERI, 020202 computer hardware & architecture, POSIX, Pointer (computer programming), 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, hardware, Notional amount, Architecture, Memory safety

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f1e757dbf0968dafc0479d4c9f8a8c46

المؤلفون: 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, Hongyan Xia

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d5e58ff1ab5227b612ba7ee3a0b087fd

المؤلفون: Jonathan Anderson, Peter G. Neumann, Robert Norton, Stacey Son, Brooks Davis, Jonathan Woodruff, Alexandre Joannou, Nirav H. Dave, Khilan Gudka, Ed Maste, Steven J. Murdoch, A. Theodore Markettos, Michael Roe, Simon W. Moore, Colin Rothwell, Munraj Vadera, Ben Laurie, Robert N. M. Watson, David Chisnall

المساهمون: Norton-Wright, Robert [0000-0002-6095-6405], Moore, Simon [0000-0002-2806-495X], Apollo - University of Cambridge Repository

المصدر: IEEE Micro. 36:38-49

مصطلحات موضوعية: Reduced instruction set computing, Computer science, 02 engineering and technology, computer.software_genre, 01 natural sciences, Instruction set, 4009 Electronics, Sensors and Digital Hardware, Memory management unit, 46 Information and Computing Sciences, 020204 information systems, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 4604 Cybersecurity and Privacy, Electrical and Electronic Engineering, 4612 Software Engineering, Conventional memory, 40 Engineering, computer.programming_language, 010302 applied physics, Address space, SystemVerilog, Memory management, Computer architecture, Hardware and Architecture, Scalability, Compiler, 4008 Electrical Engineering, computer, Software, Memory protection

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2ae4b85c6e4842aeeda73fa15322bae7
https://doi.org/10.1109/mm.2016.84