E-LIB Suche - Ergebnisse für: Sewell, Peter

1

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..

2

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

Watson, Robert N. M. ; Chisnall, David ; Clarke, Jessica...
IEEE Security & Privacy. 22 (2024) 4 - p. 50-61 , 2024

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

3

An Axiomatic Basis for Computer Programming on the Relaxed ..:

Hammond, Angus ; Liu, Zongyuan ; Pérami, Thibaut...
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 604-637 , 2024

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

4

Fungal Infections Are Not Associated with Increased Mortali..:

Ainsworth, James ; Sewell, Peter ; Eggert, Sabine...
Critical Care Research and Practice. 2023 (2023) - p. 1-6 , 2023

Link: https://doi.org/10.1155/..

5

The Arm Morello Evaluation Platform—Validating CHERI-Based ..:

Grisenthwaite, Richard ; Barnes, Graeme ; Watson, Robert N. M....
IEEE Micro. 43 (2023) 3 - p. 50-57 , 2023

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

6

Isla: integrating full-scale ISA semantics and axiomatic co..:

Armstrong, Alasdair ; Campbell, Brian ; Simner, Ben..
Formal Methods in System Design. , 2023

Link: https://doi.org/10.1007/..

7

CN: Verifying Systems C Code with Separation-Logic Refineme..:

Pulte, Christopher ; Makwana, Dhruv C. ; Sewell, Thomas...
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 1-32 , 2023

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

8

Verified Security for the Morello Capability-enhanced Proto..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Bauereiss, Thomas ; Campbell, Brian ; Sewell, Thomas... - p. 174-203 , 2022

Link: https://doi.org/10.1007/..

9

VIP: verifying real-world C idioms with integer-pointer cas..:

Lepigre, Rodolphe ; Sammler, Michael ; Memarian, Kayvan...
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-32 , 2022

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

10

Relaxed virtual memory in Armv8-A:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Simner, Ben ; Armstrong, Alasdair ; Pichon-Pharabod, Jean... - p. 143-173 , 2022

Link: https://doi.org/10.1007/..

11

Islaris: verification of machine code against authoritative..:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Sammler, Michael ; Hammond, Angus ; Lepigre, Rodolphe... - p. 825-840 , 2022

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

12

VIP: verifying real-world C idioms with integer-pointer cas..:

Lepigre, Rodolphe ; Sammler, Michael ; Memarian, Kayvan...
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-32 , 2022

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

13

Underpinning the foundations: sail-based semantics, testing..:

, In: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Sewell, Peter - p. 4 ff. , 2021

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

14

Isla: Integrating Full-Scale ISA Semantics and Axiomatic Co..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Armstrong, Alasdair ; Campbell, Brian ; Simner, Ben.. - p. 303-316 , 2021

Link: https://doi.org/10.1007/..

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/..