microsoft / Komodo

Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
https://www.microsoft.com/en-us/research/project/komodo/
Other
102 stars 28 forks source link

Adding Microsoft SECURITY.MD #22

Open microsoft-github-policy-service[bot] opened 2 years ago

microsoft-github-policy-service[bot] commented 2 years ago

Please accept this contribution adding the standard Microsoft SECURITY.MD :lock: file to help the community understand the security policy and how to safely report security issues. GitHub uses the presence of this file to light-up security reminders and a link to the file. This pull request commits the latest official SECURITY.MD file from https://github.com/microsoft/repo-templates/blob/main/shared/SECURITY.md.

Microsoft teams can learn more about this effort and share feedback within the open source guidance available internally.

aferr commented 2 years ago

@0xabu This one looks fairly safe to merge. Should we do so?

(BTW Hello! Long time no see. I hope you are well :)

0xabu commented 2 years ago

Hi @aferr! Actually, given the state of this project, I'm thinking the best thing to do is to formally archive the repository, which keeps it available (in case anyone wants to understand the system / reproduce our results) but makes it clear that it is unmaintained. Any objections?

aferr commented 2 years ago

Hi @aferr! Actually, given the state of this project, I'm thinking the best thing to do is to formally archive the repository, which keeps it available (in case anyone wants to understand the system / reproduce our results) but makes it clear that it is unmaintained. Any objections?

No objections!