A collection of silver-level SPARK 2014 verified RFSB509 implementations, that deviate from the original specifications. This is for research only. DO NOT USE IT WHERE SECURITY MATTERS
-
Notifications
You must be signed in to change notification settings - Fork 0
A collection of silver-level SPARK 2014 verified RFSB509 implementations, that deviate from the original specifications. This is for research only.
License
MxAR/spark-rfsb509exp
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A collection of silver-level SPARK 2014 verified RFSB509 implementations, that deviate from the original specifications. This is for research only.
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published