Funded solution Archive | Page 2 of 212 | Next Generation Internet

Optimise software through symbolic execution in/via Wasm

TCP/IP implementation derived from HOL4 formal specification

Full-featured expandable mobile phone from off-the-shelf components

Increased readability of ISO document formats and mobile web pages

Privacy friendly real time certificate transparency log auditor

Timing-attack resistant, high performance microlibrary for ECC 25519

Tool to improve x86 (dis)assemblers, Emulators and Binary Translators

Lightweight memory-safe mechanism against undesired scraping system

Better desktop rendering on electrophoretic displays

Privacy preserving statistics about sensitive data from small groups

1 2 3 … 212