All pull requests

Pull requests

• Morello server setup instructions

  #42·IsaacG18 opened Jun 12, 2025·

  ·

• V2

  #40·JakeTrevor opened Sep 5, 2024Collaborator·1 of 2 tasks·

  ·

• MorelloPreventionofAnotherStackMachineBufferOverflowExample2

  #38·josephproject1 opened Dec 26, 2023·

  ·

• Run deploy only when the repo is jeremysinger/capabilitiesforcoders

  #37·cocoa-xu opened Dec 25, 2023Contributor·

  ·

• StackMachineVulnerableProgramExample2.rst

  #36·josephproject1 opened Dec 3, 2023·

  ·

• StackMachineBufferOverflowExample1.rst

  #35·josephproject1 opened Dec 3, 2023·

  ·

• Morello protects a vulnerable program to run malicious code

  #34·josephproject1 opened Nov 28, 2023·

  ·

• [ci] prevent deploy ci from running

  #33·cocoa-xu opened Nov 23, 2023Contributor·

  ·

• Morello Stack buffer overflow - In-address space security exception (core dumped)

  #32·josephproject1 opened Nov 20, 2023·

  ·

• FAQ: sealed capabilities

  #28·cocoa-xu opened Nov 15, 2023Contributor·

  ·
  2

• Application compartmentalization

  #26·josephproject1 opened Nov 9, 2023·

  ·

• Ensures single in-address-space protection

  #25·josephproject1 opened Nov 9, 2023·

  ·

• No enforced isolation

  #24·josephproject1 opened Nov 9, 2023·

  ·

• Addressing insecure encapuslation

  #23·josephproject1 opened Nov 9, 2023·

  ·

• Insecure encapsulation

  #22·josephproject1 opened Nov 9, 2023·

  ·

• Facilitating Sweeping Revocation Technique

  #21·josephproject1 opened Nov 8, 2023·

  ·

• CHERI guarantees provenance source

  #20·josephproject1 opened Nov 8, 2023·

  ·

• uintptr_t does not maintain provenance information

  #19·josephproject1 opened Nov 8, 2023·

  ·

• printMyNameCompartment

  #18·josephproject1 opened Oct 18, 2023·

  ·
  1

• PrintCapabilityValue.c

  #16·jkaberuka365 opened Sep 29, 2023·

  ·

• Provenanceissue.c

  #15·jkaberuka365 opened Sep 29, 2023·

  ·

• Add buildsuccess.txt file

  #14·jkaberuka365 opened Sep 29, 2023·

  ·