Samuel Judson

PASETO: Platform-Agnostic Security Tokens

Versatile framework for multi-party computation

Expander Compiler

SMT-based Oracles for Investigating Decisions

A no_std + serde compatible message library for Rust

Cache-Oblivious Scheduling of Shared Workloads

Tools for reasoning about circuits in Rosette/Racket 🔌

Notary: A Device for Secure Transaction Approval 📟

KLEE with floating point support (unmaintained)

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

No description provided.

JSON Web Token (JWT) Bearer Token Profiles for OAuth 2.0 client authentication strategy for Passport

Oblivious Transfer, Oblivious Transfer Extension and Variations

Simple confidentiality and message integrity via NaCl as Express middleware.

Paseto Website

Encode and decode security tokens.

1337

WS-Federation middleware for node.js and express

Simple, unobtrusive authentication for Node.js.

State-based, transactional authentication strategy for Passport and Node.js.

Helpers for testing Express handlers with the Chai assertion library.

Generates random ids with a prefix (a la Stripe)

PayPal (OAuth) authentication strategy for Passport and Node.js.

OAuth 2.0 authorization server toolkit for Node.js.

Extensions to support OpenID Connect with OAuth2orize.

OAuth 2.0 authentication strategy for Passport and Node.js.

Extensions to support Proof Key for Code Exchange with OAuth2orize.

OpenID Connect authentication strategy for Passport and Node.js.

Stateful, transactional flows using page-based navigation.

Extensions to support device flow with OAuth2orize.