Shadowgraph
TrendingAbout
Sign in

microsoft/Ironclad

The MSR Ironclad project builds provably secure and reliable systems.

Dafny

268

140 commits

updated Jun 3, 2023

research.microsoft.com/en-us/projects/ironclad

See the code

README

About

To learn more about the Ironclad Apps project, please see the related README file.

To learn more about the IronFleet project, please see the related README file.

Contributors

jaylorch

110 commits

srinathsetty

16 commits

pfons

4 commits

Chris-Hawblitzel

3 commits

Similar repos

OP-TEE/optee_os

Trusted side of the TEE

1,934

TranSirius/SafeMCP

0

ZababurinSergei/DevOps

DevOps

0

google/wasefire

Secure firmware framework focusing on developer experience

189

ferrous-systems/sealed-rust

Bringing Rust to the Safety Critical Domain

215

au-ts/lionsos

A secure, fast, and adaptable OS based on the seL4 microkernel

267

HotCakeX/Harden-Windows-Security

Harden Windows Safely, Securely using Official Supported Microsoft methods and proper explanation |…

4,748

faridlazuarda/indorobusta

3

Languages

Dafny

60.5%

C#

28.8%

C++

4.1%

F#

2.3%

Assembly

1.4%

microsoft/Ironclad

The MSR Ironclad project builds provably secure and reliable systems.

Dafny

268

140 commits

updated Jun 3, 2023

research.microsoft.com/en-us/projects/ironclad

See the code

README

About

To learn more about the Ironclad Apps project, please see the related README file.

To learn more about the IronFleet project, please see the related README file.

Similar repos

OP-TEE/optee_os

Trusted side of the TEE

1,934

TranSirius/SafeMCP

0

ZababurinSergei/DevOps

DevOps

0

google/wasefire

Secure firmware framework focusing on developer experience

189

ferrous-systems/sealed-rust

Bringing Rust to the Safety Critical Domain

215

au-ts/lionsos

A secure, fast, and adaptable OS based on the seL4 microkernel

267

HotCakeX/Harden-Windows-Security

Harden Windows Safely, Securely using Official Supported Microsoft methods and proper explanation |…

4,748

faridlazuarda/indorobusta

3

Contributors

jaylorch

110 commits

srinathsetty

16 commits

pfons

4 commits

Chris-Hawblitzel

3 commits

Languages

Dafny

60.5%

C#

28.8%

C++

4.1%

F#

2.3%

Assembly

1.4%