Matter smart home protocol implementation for OCaml
matter: document PASE, CASE, mDNS discovery, session management, AES-CCM features
+20
-4
+20
-4
README.md
+20
-4
README.md
···
9
9
10
10
## Features
11
11
12
-
- TLV (Tag-Length-Value) encoding and decoding
13
-
- Support for all Matter TLV types: integers, booleans, floats, strings, bytes, null
14
-
- Nested containers: structures, arrays, lists
15
-
- All tag forms: anonymous, context-specific, common/implicit profile, fully-qualified
12
+
- **TLV** encoding/decoding with all tag forms (anonymous, context-specific,
13
+
common/implicit profile, fully-qualified)
14
+
- **PASE** (Password-Authenticated Session Establishment) via SPAKE2+
15
+
- **CASE** (Certificate-Authenticated Session Establishment) via X.509
16
+
- **Message framing** with encryption for secure sessions
17
+
- **mDNS discovery** of Matter devices on the local network
18
+
- **Session management** with secure key exchange
19
+
- **AES-CCM** encryption for Matter messages
16
20
17
21
## Installation
18
22
···
50
54
- `Matter.Tlv.int`, `uint`, `bool`, `string`, `bytes`, `null` - Value constructors
51
55
- `Matter.Tlv.structure`, `array`, `list` - Container constructors
52
56
- `Matter.Tlv.ctx_int`, `ctx_uint`, etc. - Context-tagged constructors
57
+
58
+
### Security Modules
59
+
60
+
- `Matter.Pase` - SPAKE2+ password-authenticated session establishment
61
+
- `Matter.Case` - X.509 certificate-authenticated session establishment
62
+
- `Matter.Aes_ccm` - AES-CCM encryption for secure messages
63
+
- `Matter.Session` - Session key management and lifecycle
64
+
- `Matter.Msg` - Matter message framing with encryption
65
+
66
+
### Discovery
67
+
68
+
- `Matter.Discovery` - mDNS-based device discovery on the local network
53
69
54
70
## Related Work
55
71