#edhoc — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #edhoc, aggregated by home.social.
-
At today's #IETF #hackathon I had the opportunity to talk about recent work done jointly with @cryspen and @inria: embedded-cal is now getting to the stage where we could try first integrations into Lakers (a library implementing #EDHOC), and @ariel, which is in a good position to provide whichever hardware acceleration is available on a platform, and fill the rest with libcrux.
-
At today's #IETF #hackathon I had the opportunity to talk about recent work done jointly with @cryspen and @inria: embedded-cal is now getting to the stage where we could try first integrations into Lakers (a library implementing #EDHOC), and @ariel, which is in a good position to provide whichever hardware acceleration is available on a platform, and fill the rest with libcrux.
-
On my way to the #IETF #hackathon. This time, my focus will be on #EDHOC (key establishment for devices with tiny footprints, trying out the Lakers implementation of the PSK draft) and #CBOR experiments around matching its information model with XSD types (to reduce mismatches with #RDF).
And maybe I'll also show off #IPv6 over #DectNRPlus.
-
On my way to the #IETF #hackathon. This time, my focus will be on #EDHOC (key establishment for devices with tiny footprints, trying out the Lakers implementation of the PSK draft) and #CBOR experiments around matching its information model with XSD types (to reduce mismatches with #RDF).
And maybe I'll also show off #IPv6 over #DectNRPlus.
-
On my way to the #IETF #hackathon. This time, my focus will be on #EDHOC (key establishment for devices with tiny footprints, trying out the Lakers implementation of the PSK draft) and #CBOR experiments around matching its information model with XSD types (to reduce mismatches with #RDF).
And maybe I'll also show off #IPv6 over #DectNRPlus.
-
On my way to the #IETF #hackathon. This time, my focus will be on #EDHOC (key establishment for devices with tiny footprints, trying out the Lakers implementation of the PSK draft) and #CBOR experiments around matching its information model with XSD types (to reduce mismatches with #RDF).
And maybe I'll also show off #IPv6 over #DectNRPlus.
-
On my way to the #IETF #hackathon. This time, my focus will be on #EDHOC (key establishment for devices with tiny footprints, trying out the Lakers implementation of the PSK draft) and #CBOR experiments around matching its information model with XSD types (to reduce mismatches with #RDF).
And maybe I'll also show off #IPv6 over #DectNRPlus.
-
Lakers, an implementation of #EDHOC, i.e., lightweight security for #IoT, now uses formal verification to continuously check a first small part of its code using #hax and F*, proving our buffers won't reach out of their bounds and panic. Thanks @cryspen for making that tool rather straightforward to learn.
-
Lakers, an implementation of #EDHOC, i.e., lightweight security for #IoT, now uses formal verification to continuously check a first small part of its code using #hax and F*, proving our buffers won't reach out of their bounds and panic. Thanks @cryspen for making that tool rather straightforward to learn.
-
The #IETF122 hackathon starts in a few hours. I will be joining remotely, work on #EDHOC on @ariel (let's see if its out-of-the-box support also interoperates out-of-the-box), and play with #embeddfriendly URIs expressed in #CBOR.
-
The #IETF122 hackathon starts in a few hours. I will be joining remotely, work on #EDHOC on @ariel (let's see if its out-of-the-box support also interoperates out-of-the-box), and play with #embeddfriendly URIs expressed in #CBOR.
-
A new lightweight authenticated key exchange protocol provides improved security with less overhead for Internet-of-Things devices. Read about #EDHOC, as described in #RFC9528 & #RFC9529, from LAKE Working Group co-chairs Mališa Vučinić & Stephen Farrell: https://www.ietf.org/blog/edhoc/
-
A new lightweight authenticated key exchange protocol provides improved security with less overhead for Internet-of-Things devices. Read about #EDHOC, as described in #RFC9528 & #RFC9529, from LAKE Working Group co-chairs Mališa Vučinić & Stephen Farrell: https://www.ietf.org/blog/edhoc/
-
Getting ready for the #IETF LAKE hackathon combined with the #IRTF T2TRG meeting at INRIA Paris <https://parishackathon.lakewg.org/> on the next two days.
We will interop #EDHOC implementations (eg. using @RIOT_OS and its #RustLang companion RIOT-rs), test it directly on #CoAP, and discuss current engineering and research questions on how #IoT devices can communicate in a secure and privacy preserving manner while fitting on the tiniest of devices. -
Getting ready for the #IETF LAKE hackathon combined with the #IRTF T2TRG meeting at INRIA Paris <https://parishackathon.lakewg.org/> on the next two days.
We will interop #EDHOC implementations (eg. using @RIOT_OS and its #RustLang companion RIOT-rs), test it directly on #CoAP, and discuss current engineering and research questions on how #IoT devices can communicate in a secure and privacy preserving manner while fitting on the tiniest of devices. -
Getting ready for the #IETF LAKE hackathon combined with the #IRTF T2TRG meeting at INRIA Paris <https://parishackathon.lakewg.org/> on the next two days.
We will interop #EDHOC implementations (eg. using @RIOT_OS and its #RustLang companion RIOT-rs), test it directly on #CoAP, and discuss current engineering and research questions on how #IoT devices can communicate in a secure and privacy preserving manner while fitting on the tiniest of devices. -
Getting ready for the #IETF LAKE hackathon combined with the #IRTF T2TRG meeting at INRIA Paris <https://parishackathon.lakewg.org/> on the next two days.
We will interop #EDHOC implementations (eg. using @RIOT_OS and its #RustLang companion RIOT-rs), test it directly on #CoAP, and discuss current engineering and research questions on how #IoT devices can communicate in a secure and privacy preserving manner while fitting on the tiniest of devices. -
Getting ready for the #IETF LAKE hackathon combined with the #IRTF T2TRG meeting at INRIA Paris <https://parishackathon.lakewg.org/> on the next two days.
We will interop #EDHOC implementations (eg. using @RIOT_OS and its #RustLang companion RIOT-rs), test it directly on #CoAP, and discuss current engineering and research questions on how #IoT devices can communicate in a secure and privacy preserving manner while fitting on the tiniest of devices.