Repository navigation

All pull requests

Morello server setup instructions
#42IsaacG18 opened Jun 12, 2025
V2
#40JakeTrevor opened Sep 5, 2024Collaborator1 of 2 tasks
MorelloPreventionofAnotherStackMachineBufferOverflowExample2
#38josephproject1 opened Dec 26, 2023
Run deploy only when the repo is jeremysinger/capabilitiesforcoders
#37cocoa-xu opened Dec 25, 2023Contributor
StackMachineVulnerableProgramExample2.rst
#36josephproject1 opened Dec 3, 2023
StackMachineBufferOverflowExample1.rst
#35josephproject1 opened Dec 3, 2023
Morello protects a vulnerable program to run malicious code
#34josephproject1 opened Nov 28, 2023
[ci] prevent deploy ci from running
#33cocoa-xu opened Nov 23, 2023Contributor
Morello Stack buffer overflow - In-address space security exception (core dumped)
#32josephproject1 opened Nov 20, 2023
FAQ: sealed capabilities
#28cocoa-xu opened Nov 15, 2023Contributor
2
Application compartmentalization
#26josephproject1 opened Nov 9, 2023
Ensures single in-address-space protection
#25josephproject1 opened Nov 9, 2023
No enforced isolation
#24josephproject1 opened Nov 9, 2023
Addressing insecure encapuslation
#23josephproject1 opened Nov 9, 2023
Insecure encapsulation
#22josephproject1 opened Nov 9, 2023
Facilitating Sweeping Revocation Technique
#21josephproject1 opened Nov 8, 2023
CHERI guarantees provenance source
#20josephproject1 opened Nov 8, 2023
uintptr_t does not maintain provenance information
#19josephproject1 opened Nov 8, 2023
printMyNameCompartment
#18josephproject1 opened Oct 18, 2023
1
PrintCapabilityValue.c
#16jkaberuka365 opened Sep 29, 2023
Provenanceissue.c
#15jkaberuka365 opened Sep 29, 2023
Add buildsuccess.txt file
#14jkaberuka365 opened Sep 29, 2023

Pull requests