Главная
Study mode:
on
You
History
Saved
In progress 0 courses
compleat 0 courses
#Art & Design #Adobe #ChatGPT #GitHub

#CHERI

Showing: 10 courses
ACM SIGPLAN

Secure Calling Conventions for CHERI Capability Machines in Practice - Work in Progress

0 rewiews
Explore secure calling conventions for CHERI capability machines, focusing on temporal memory safety and stack frame encapsulation. Evaluate performance impact and compatibility.
Add to list
1 Lesons
24 minutes
On-Demand
Free-Video
TheIACR

CHERI and CHERI-RISC-V, by Simon Moore, University of Cambridge

0 rewiews
Explore CHERI architecture and its RISC-V implementation, covering hardware principles, software models, and security implications for modern computing systems.
Add to list
6 Lesons
28 minutes
On-Demand
Free-Video
ACM SIGPLAN

The Morello ISA Semantics, Proof, and Test Generation

0 rewiews
Explore Morello ISA semantics, proof techniques, and test generation methods for advanced computer architecture and security applications.
Add to list
1 Lesons
16 minutes
On-Demand
Free-Video
ACM SIGPLAN

Sealed with a Library Call: Memory Allocators Should Track Capability Seal Operations - POCL'24

0 rewiews
Explore the interaction between sealed capabilities and memory allocators in CHERI, examining potential runtime errors and proposing an augmented allocator API for tracking seal operations.
Add to list
1 Lesons
17 minutes
On-Demand
Free-Video
ACM SIGPLAN

The State of Morello Software and Projects - POCL'24

0 rewiews
Explore the current landscape of Morello software and ongoing projects, gaining insights into the latest developments and advancements in this field.
Add to list
1 Lesons
14 minutes
On-Demand
Free-Video
USENIX

HashTag - Hash-based Integrity Protection for Tagged Architectures

0 rewiews
Innovative hash-based error detection and correction technique for DRAM, enabling efficient implementation of tagged memory architectures while maintaining strong data integrity protection.
Add to list
1 Lesons
15 minutes
On-Demand
Free-Video
ACM SIGPLAN

CHERI Static Analysis - POCL'24

0 rewiews
Explore CHERI static analysis techniques for enhanced memory safety and security in software development.
Add to list
1 Lesons
23 minutes
On-Demand
Free-Video
ACM SIGPLAN

Static Analysis for CHERI - SOAP 2024

0 rewiews
Explore custom static analyses supporting C/C++ code transition to CHERI hardware, enhancing memory protection and software compartmentalization for RISC-V and AArch64 architectures.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
OpenUK

Sonata: Low-Cost CHERI Hardware for Embedded Systems

0 rewiews
Explore low-cost CHERI hardware for embedded systems with Sonata, enhancing security and efficiency in resource-constrained environments.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

The State of Morello and CHERI

0 rewiews
Explore the current status and advancements of Morello and CHERI technologies in computer architecture and security.
Add to list
1 Lesons
42 minutes
On-Demand
Free-Video