Članki z zahtevami za javni dostop - Simon MooreVeč o tem
SkupnoEPSRCDoDUK Research & InnovationEuropean CommissionGatesNIHNHMRCCIHRHelmholtzINSERMSwedish Research CouncilBreast Cancer Now, UKCancer Research UKMRCNIHRWellcomeWorldwide Cancer Research, UKState of CalifoniaGovernment of SpainBMBFSCLGovernment of ItalyNCNAIRC Foundation for Cancer Research in ItalyWorld Cancer Researh Fund, UKNordforsk
Ni na voljo nikjer: 4
Practical distributed implementation of very large scale Petri net simulations
A Rafiev, J Morris, F Xia, A Yakovlev, M Naylor, S Moore, D Thomas, ...
Transactions on Petri Nets and Other Models of Concurrency XVI, 112-139, 2022
Zahteve: UK Engineering and Physical Sciences Research Council
Architectural contracts for safe speculation
FA Fuchs, J Woodruff, P Rugg, M van der Maas, A Joannou, A Richardson, ...
2023 IEEE 41st International Conference on Computer Design (ICCD), 578-586, 2023
Zahteve: US Department of Defense, UK Engineering and Physical Sciences Research Council
Non-deterministic event brokered computing
A Brown, T Todman, W Luk, D Thomas, M Vousden, G Bragg, J Beaumont, ...
Proceedings of the 12th International Symposium on Highly-Efficient …, 2022
Zahteve: UK Engineering and Physical Sciences Research Council
Custom Computing or Vector Processing?
SW Moore, PJ Fox, AT Markettos, M Naylor
TRANSFORMING RECONFIGURABLE SYSTEMS: A Festschrift Celebrating the 60th …, 2015
Zahteve: UK Engineering and Physical Sciences Research Council
Na voljo nekje: 49
Efficient physical embedding of topologically complex information processing networks in brains and computer circuits
DS Bassett, DL Greenfield, A Meyer-Lindenberg, DR Weinberger, ...
PLoS computational biology 6 (4), e1000748, 2010
Zahteve: US National Institutes of Health
Capability hardware enhanced RISC instructions: CHERI instruction-set architecture (version 7)
RNM Watson, PG Neumann, J Woodruff, M Roe, H Almatary, J Anderson, ...
University of Cambridge, Computer Laboratory, 2019
Zahteve: Bill & Melinda Gates Foundation, US Department of Defense, UK Engineering …
Thunderclap: Exploring vulnerabilities in operating system IOMMU protection via DMA from untrustworthy peripherals
AT Markettos, C Rothwell, BF Gutstein, A Pearce, PG Neumann, ...
Internet Society, 2019
Zahteve: US Department of Defense, UK Engineering and Physical Sciences Research Council
CheriABI: Enforcing valid pointer provenance and minimizing pointer privilege in the POSIX C run-time environment
B Davis, RNM Watson, A Richardson, PG Neumann, SW Moore, ...
Proceedings of the Twenty-Fourth International Conference on Architectural …, 2019
Zahteve: US Department of Defense, UK Engineering and Physical Sciences Research …
Cherivoke: Characterising pointer revocation using cheri capabilities for temporal memory safety
H Xia, J Woodruff, S Ainsworth, NW Filardo, M Roe, A Richardson, ...
Proceedings of the 52nd Annual IEEE/ACM International Symposium on …, 2019
Zahteve: US Department of Defense, UK Engineering and Physical Sciences Research Council
Cornucopia: Temporal safety for CHERI heaps
NW Filardo, BF Gutstein, J Woodruff, S Ainsworth, L Paul-Trifu, B Davis, ...
2020 IEEE Symposium on Security and Privacy (SP), 608-625, 2020
Zahteve: Bill & Melinda Gates Foundation, US Department of Defense, UK Engineering …
Efficient tagged memory
A Joannou, J Woodruff, R Kovacsics, SW Moore, A Bradbury, H Xia, ...
2017 IEEE International Conference on Computer Design (ICCD), 641-648, 2017
Zahteve: US Department of Defense, UK Engineering and Physical Sciences Research Council
Cheri concentrate: Practical compressed capabilities
J Woodruff, A Joannou, H Xia, A Fox, RM Norton, D Chisnall, B Davis, ...
IEEE Transactions on Computers 68 (10), 1455-1469, 2019
Zahteve: US Department of Defense, UK Engineering and Physical Sciences Research Council
An introduction to CHERI
RNM Watson, SW Moore, P Sewell, PG Neumann
University of Cambridge, Computer Laboratory, 2019
Zahteve: US Department of Defense, UK Engineering and Physical Sciences Research Council
Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process
K Nienhuis, A Joannou, T Bauereiss, A Fox, M Roe, B Campbell, M Naylor, ...
2020 IEEE Symposium on Security and Privacy (SP), 1003-1020, 2020
Zahteve: US Department of Defense, UK Engineering and Physical Sciences Research …
Fast protection-domain crossing in the CHERI capability-system architecture
RNM Watson, RM Norton, J Woodruff, SW Moore, PG Neumann, ...
IEEE Micro 36 (5), 38-49, 2016
Zahteve: UK Engineering and Physical Sciences Research Council
CHERI JNI: Sinking the Java security model into the C
D Chisnall, B Davis, K Gudka, D Brazdil, A Joannou, J Woodruff, ...
ACM SIGARCH Computer Architecture News 45 (1), 569-583, 2017
Zahteve: US Department of Defense, UK Engineering and Physical Sciences Research Council
Managing the FPGA memory wall: Custom computing or vector processing?
M Naylor, PJ Fox, AT Markettos, SW Moore
2013 23rd International Conference on Field programmable Logic and …, 2013
Zahteve: UK Engineering and Physical Sciences Research Council
Cheri c/c++ programming guide
RNM Watson, A Richardson, B Davis, J Baldwin, D Chisnall, J Clarke, ...
University of Cambridge, Computer Laboratory, 2020
Zahteve: US Department of Defense, UK Engineering and Physical Sciences Research …
Capability hardware enhanced RISC instructions: CHERI instruction-set architecture
RNM Watson, PG Neumann, J Woodruff, M Roe, J Anderson, D Chisnall, ...
University of Cambridge, Computer Laboratory, 2015
Zahteve: UK Engineering and Physical Sciences Research Council, UK Research & Innovation
Interconnect for commodity FPGA clusters: Standardized or customized?
AT Markettos, PJ Fox, SW Moore, AW Moore
2014 24th International Conference on Field Programmable Logic and …, 2014
Zahteve: UK Engineering and Physical Sciences Research Council
Podatke o objavi in financiranju samodejno določi računalniški program