E-LIB Suche - Ergebnisse für: Chisnall, David

1

CHERI: Hardware-Enabled C/C++ Memory Protection at Scale:

Watson, Robert N. M. ; Chisnall, David ; Clarke, Jessica...
IEEE Security & Privacy. , 2024

2

Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal ..:

, In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2,

Filardo, Nathaniel Wesley ; Gutstein, Brett F. ; Woodruff, Jonathan... - p. 251-268 , 2024

Link: https://dl.acm.org/doi/1..

3

How to Design an ISA:

Chisnall, David
Communications of the ACM. 67 (2024) 5 - p. 60-66 , 2024

Link: https://doi.org/10.1145/..

4

Formal Mechanised Semantics of CHERI C: Capabilities, Undef..:

, In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1,

Zaliva, Vadim ; Memarian, Kayvan ; Almeida, Ricardo... - p. 181-196 , 2024

Link: https://dl.acm.org/doi/1..

5

How to Design an ISA: The popularity of RISC-V has led many..:

Chisnall, David
Queue. 21 (2023) 6 - p. 27-46 , 2023

Link: https://doi.org/10.1145/..

6

CHERIoT: Complete Memory Safety for Embedded Devices:

, In: Proceedings of the 56th Annual IEEE/ACM International Symposium on Microarchitecture,

Amar, Saar ; Chisnall, David ; Chen, Tony... - p. 641-653 , 2023

Link: https://dl.acm.org/doi/1..

7

Towards (Really) Safe and Fast Confidential I/O:

, In: Proceedings of the 19th Workshop on Hot Topics in Operating Systems,

Lefeuvre, Hugo ; Chisnall, David ; Kogias, Marios. - p. 214-222 , 2023

Link: https://dl.acm.org/doi/1..

8

When Concurrency Matters: Behaviour-Oriented Concurrency:

Cheeseman, Luke ; Parkinson, Matthew J. ; Clebsch, Sylvan...
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 1531-1560 , 2023

Link: https://doi.org/10.1145/..

9

A Secret-Free Hypervisor: Rethinking Isolation in the Age o..:

, In: 2022 IEEE Symposium on Security and Privacy (SP),

Xia, Hongyan ; Zhang, David ; Liu, Wei... - p. 370-385 , 2022

Link: https://doi.org/10.1109/..

10

Proceedings of the 2022 ACM SIGPLAN International Symposium..:

Lippautz, Michael ; Chisnall, David , 2022

Link: https://dl.acm.org/doi/1..

11

Toward confidential cloud computing:

Russinovich, Mark ; Costa, Manuel ; Fournet, Cédric...
Communications of the ACM. 64 (2021) 6 - p. 54-61 , 2021

Link: https://dl.acm.org/doi/1..

12

Toward Confidential Cloud Computing : Extending hardware..:

Russinovich, Mark ; Costa, Manuel ; Fournet, Cédric...
Queue. 19 (2021) 1 - p. 49-76 , 2021

Link: https://dl.acm.org/doi/1..

13

Toward Confidential Cloud Computing: Extending hardware-enf..:

Russinovich, Mark ; Costa, Manuel ; Fournet, Cédric...
Queue. 19 (2021) 1 - p. 49-76 , 2021

Link: https://doi.org/10.1145/..

14

Toward confidential cloud computing:

Russinovich, Mark ; Costa, Manuel ; Fournet, Cédric...
Communications of the ACM. 64 (2021) 6 - p. 54-61 , 2021

Link: https://doi.org/10.1145/..

15

Cornucopia: Temporal Safety for CHERI Heaps:

, In: 2020 IEEE Symposium on Security and Privacy (SP),

Wesley Filardo, Nathaniel ; Gutstein, Brett F. ; Woodruff, Jonathan... - p. 608-625 , 2020

Link: https://doi.org/10.1109/..