sjudson Goto Github PK

blackchamber

Simple confidentiality and message integrity via NaCl as Express middleware.

chai-express-handler

Helpers for testing Express handlers with the Chai assertion library.

cvc5

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

emp-ot

Oblivious Transfer, Oblivious Transfer Extension and Variations

emp-tool

flowstate

Stateful, transactional flows using page-based navigation.

id-generator

Generates random ids with a prefix (a la Stripe)

klee-float

KLEE with floating point support (unmaintained)

mp-spdz

Versatile framework for multi-party computation

node-tokens

Encode and decode security tokens.

node-wsfed

WS-Federation middleware for node.js and express

notary

Notary: A Device for Secure Transaction Approval 📟

oauth2orize

OAuth 2.0 authorization server toolkit for Node.js.

oauth2orize-device-code

Extensions to support device flow with OAuth2orize.

oauth2orize-openid

Extensions to support OpenID Connect with OAuth2orize.

oauth2orize-pkce

Extensions to support Proof Key for Code Exchange with OAuth2orize.

oauth2orize-wmrm

Web Message response mode support for OAuth2orize.

paseto-io

Paseto Website

paseto.js

PASETO: Platform-Agnostic Security Tokens

passport

Simple, unobtrusive authentication for Node.js.

passport-oauth2

OAuth 2.0 authentication strategy for Passport and Node.js.

passport-oauth2-jwt-bearer

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

passport-openidconnect

OpenID Connect authentication strategy for Passport and Node.js.

passport-paypal-oauth

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

passport-state

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

passport-wsfed-saml2

passport strategy for both WS-fed and SAML2 protocol

rtlv

Tools for reasoning about circuits in Rosette/Racket 🔌

schedule

Cache-Oblivious Scheduling of Shared Workloads

secure.af

1337

soid

SMT-based Oracles for Investigating Decisions