issues
search
microsoft
/
Ironclad
The MSR Ironclad project builds provably secure and reliable systems.
http://research.microsoft.com/en-us/projects/ironclad/
Other
241
stars
56
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Why not just use Ada/Spark?
#26
kevlar700
closed
11 months ago
1
This repo is missing important files
#25
microsoft-github-policy-service[bot]
closed
1 year ago
0
Adding Microsoft SECURITY.MD
#24
microsoft-github-policy-service[bot]
closed
1 year ago
0
This repo is missing a LICENSE file
#23
microsoft-github-policy-service[bot]
closed
1 year ago
0
Secure, deterministic hashing of public keys
#22
jaylorch
closed
1 year ago
3
Improve performance for IoFramework
#21
MadeByMars
closed
2 years ago
1
Improve performance for IoFramework
#20
MadeByMars
closed
2 years ago
1
Faster verification of IronLock
#19
jaylorch
closed
3 years ago
0
Faster lock verification
#18
jaylorch
closed
3 years ago
0
Secure Ironfleet networking
#17
jaylorch
closed
3 years ago
0
Make compatible with Dafny 3.2.0
#16
jaylorch
closed
3 years ago
0
Use nuget for IronRSLClient functionality
#15
jaylorch
closed
3 years ago
0
Simpler sequence number handling
#14
jaylorch
closed
3 years ago
0
Support arbitrary C# state machines in IronRSL, use TCP for IronFleet networking
#13
jaylorch
closed
3 years ago
0
Prevent conflict between builds concurrently using host shell
#12
jaylorch
closed
3 years ago
0
Race condition in build system
#11
jaylorch
closed
3 years ago
0
Add colon notation and DNS lookups for command-line arguments
#10
Chris-Hawblitzel
closed
3 years ago
1
Ensure compatibility with recent Dafny
#9
jaylorch
closed
3 years ago
0
Ensure compatibility with recent Dafny commit
#8
jaylorch
closed
3 years ago
0
Version 0.2, compatible with Dafny 3.0.0 and .NET Core 5
#7
jaylorch
closed
3 years ago
0
Organization of this repo
#6
gshanemiller
opened
3 years ago
1
location of final c-sharp source code for the key-value store
#5
glycerine
closed
7 years ago
0
Update Dafny's URL in README
#4
cpitclaudel
closed
8 years ago
1
Incomplete high-level spec prevents verification of exactly-once semantic
#3
pfons
closed
8 years ago
1
Prover dies and verification is inconclusive
#2
pfons
closed
8 years ago
2
Fix NuBuild bug that causes it to falsely report that verification succeeds
#1
pfons
closed
8 years ago
2