sjudson
"Indeed, what happened with the Random Oracle Model reminds us of the biblical story of the Bronze Serpent..."
Yale CPSCNew Haven, CT
Pinned Repositories
nexus-zkvm
The Nexus zkVM: The zero-knowledge virtual machine
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)
paseto.js
PASETO: Platform-Agnostic Security Tokens
soid
SMT-based Oracles for Investigating Decisions
sjudson's Repositories
sjudson/paseto.js
PASETO: Platform-Agnostic Security Tokens
sjudson/blackchamber
Simple confidentiality and message integrity via NaCl as Express middleware.
sjudson/chai-express-handler
Helpers for testing Express handlers with the Chai assertion library.
sjudson/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
sjudson/emp-ot
Oblivious Transfer, Oblivious Transfer Extension and Variations
sjudson/emp-tool
sjudson/flowstate
Stateful, transactional flows using page-based navigation.
sjudson/id-generator
Generates random ids with a prefix (a la Stripe)
sjudson/klee-float
KLEE with floating point support (unmaintained)
sjudson/node-tokens
Encode and decode security tokens.
sjudson/soid
SMT-based Oracles for Investigating Decisions
sjudson/MP-SPDZ
Versatile framework for multi-party computation
sjudson/node-wsfed
WS-Federation middleware for node.js and express
sjudson/notary
Notary: A Device for Secure Transaction Approval 📟
sjudson/oauth2orize
OAuth 2.0 authorization server toolkit for Node.js.
sjudson/oauth2orize-device-code
Extensions to support device flow with OAuth2orize.
sjudson/oauth2orize-openid
Extensions to support OpenID Connect with OAuth2orize.
sjudson/oauth2orize-pkce
Extensions to support Proof Key for Code Exchange with OAuth2orize.
sjudson/oauth2orize-wmrm
Web Message response mode support for OAuth2orize.
sjudson/paseto-io
Paseto Website
sjudson/passport
Simple, unobtrusive authentication for Node.js.
sjudson/passport-oauth2
OAuth 2.0 authentication strategy for Passport and Node.js.
sjudson/passport-oauth2-jwt-bearer
JSON Web Token (JWT) Bearer Token Profiles for OAuth 2.0 client authentication strategy for Passport
sjudson/passport-openidconnect
OpenID Connect authentication strategy for Passport and Node.js.
sjudson/passport-paypal-oauth
PayPal (OAuth) authentication strategy for Passport and Node.js.
sjudson/passport-state
State-based, transactional authentication strategy for Passport and Node.js.
sjudson/passport-wsfed-saml2
passport strategy for both WS-fed and SAML2 protocol
sjudson/rtlv
Tools for reasoning about circuits in Rosette/Racket 🔌
sjudson/schedule
Cache-Oblivious Scheduling of Shared Workloads
sjudson/secure.af
1337