Foundational Integration Verification of a Cryptographic Server
We present verification of a bare-metal server built using diverse implementation techniques and languages against a whole-system input-output specification in terms of machine code, network packets, and mathematical specifications of elliptic-curve cryptography. We used very different formal-reason...
| Main Authors: | , , , , , , |
|---|---|
| מחברים אחרים: | |
| פורמט: | Article |
| שפה: | English |
| יצא לאור: |
Association for Computing Machinery
2024
|
| גישה מקוונת: | https://hdl.handle.net/1721.1/155516 |