[Ace] Please upload your slides for the IETF 123 session[Ace] Please upload your slides for the IETF 123 session
Loganaden Velvindron
2025-07-19
ace
/arch/msg/ace/47gbLbaeACMTnJ3kH_lsLdpR1O8/
3624332
2201846
[Ace] IETF 123: Formally verified implementation of CBOR, CDDL, COSE[Ace] IETF 123: Formally verified implementation of CBOR, CDDL, COSE
Tahina Ramananandro
2025-07-18
ace
/arch/msg/ace/BYqH5QFLFj5jAP9wv9YDJ9cpGJE/
3623865
2201710