Samuel Judson's repositories
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.
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)
node-tokens
Encode and decode security tokens.
soid
SMT-based Oracles for Investigating Decisions
MP-SPDZ
Versatile framework for multi-party computation
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
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