Funded solution Archive | Page 105 of 212

Encrypted ad hoc local-area networking

Persistent citation for Dekko-based open source data collections

Formal protocol verification with Reowolf

Safer booting into UEFI-compliant operating system

Logical validation of ASIC layouts

CRDT-based collaborative block-based editor

Make build logs available as publicly verifiable, tamper-proof Merkle trees

Alternative Rust-based software build transparency

Open hardware implementation of Trusted Platform Module

Measure on-going trust between interacting agents

1 … 104 105 106 … 212