-
1
المؤلفون: 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
-
2
المؤلفون: 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)
-
3
المؤلفون: 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
-
4
-
5
المؤلفون: 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
-
6
المؤلفون: 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
-
7
المؤلفون: 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 -
8
المؤلفون: 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
-
9
المؤلفون: 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
-
10
المؤلفون: 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