This repository contains a specification describing the ElectionGuard software development kit, including cryptographic protocols and implementation decisions, as well as an overview of voting system components and functionality.
Обновлено 2024-08-28 11:47:04 +03:00
DotNetty project – a port of netty, event-driven asynchronous network application framework
Обновлено 2024-02-15 00:25:16 +03:00
Implementation of helper service protocols for the Masked Learning, Aggregation and Reporting worKflow
Обновлено 2024-02-02 00:29:34 +03:00
Server Query Protocols in golang
Обновлено 2023-08-30 17:11:50 +03:00
The NFC Class Extension driver implements all NFC device driver interfaces and standard NFC protocols and formats based on the NFC Forum NFC Controller Interface (NCI) Technical Specification
Обновлено 2023-06-14 18:19:36 +03:00
Network captures for examples in Windows protocols overview documents
Обновлено 2023-06-12 23:52:48 +03:00
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
Обновлено 2020-09-04 21:38:51 +03:00