Thread
Stories related to "RFC 7493: The I-JSON Message Format (restricted subset of JSON for better interoperability) (2015)" across the full archive.
For the morbidly curious, this is that those of us in the healthcare sector are up against.
Considered tagging this `satire`, but then I realized I needed to get back to weeping at my desk.
> This document specifies a protocol for clients to efficiently query, fetch, and modify JSON-based data objects, with support for push notification of changes and fast resynchronisation and for out-of-band binary data upload/download.
Published at Usenix Security 2019.
TL;DR generate formally verified C and F* implementations of parsers/serializers for arbitrary formats defined in a high-level RFC-like language or from F* directly.
Properties such as memory safety are guaranteed, and serializations are bijective with the ac...
Mojo - Platform-agnostic abstraction of common IPC, message IDL format, and codegen bindings library
(chromium.googlesource.com)
https://securitytxt.org/ got published as an RFC