Packages tagged security

42 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (36), bsd3 (20), program (12), mit (8), deprecated (4), network (4), apache (3), web (3), aws (2), gpl (2), reverse-engineering (2), agpl (1), cli (1), console (1), database (1), devops (1), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
Capabilities10.0Separate and contain effects of IO monad. (bsd3, generics, library, security)2013-08-08BaldurBlondal
GoogleSB10.0Interface to Google Safe Browsing API (bsd3, library, security)2009-06-19AlexOtt
TransformeR (deprecated)50.0eDSL in R for Safe Variable Transformarion (bsd3, deprecated, dsl, library, program, security, statistics)2016-08-04remy
biscuit-haskell60.0Library support for the Biscuit security token (bsd3, library, security)2022-03-28clementd
biscuit-servant60.0Servant support for the Biscuit security token (bsd3, library, security)2022-03-28clementd
credentials40.0Secure Credentials Storage and Distribution (aws, library, network, security)2017-04-28BrendanHay
credentials-cli30.0Secure Credentials Administration (aws, console, network, program, security)2017-04-28BrendanHay
dclabel (deprecated in favor of lio)110.0This packge is deprecated. See the the "LIO.DCLabel" in the "lio" package. (bsd3, deprecated, library, security)2012-08-17DeianStefan
dclabel-eci11 (deprecated in favor of lio)70.0The Disjunction Category Label Format. (bsd3, deprecated, library, security)2011-07-23AlejandroRusso
dewdrop50.0Find gadgets for return-oriented programming on x86 (bsd3, library, reverse-engineering, security)2011-08-28KeeganMcAllister
faceted20.0Faceted computation for dynamic information flow security (apache, library, security)2014-05-12KennKnowles
flowlocks-framework60.0Generalized Flow Locks Framework (bsd3, library, security)2022-05-17NiklasBroberg
gothic230.0A Haskell Vault KVv2 secret engine client (bsd3, database, devops, library, security)2021-11-20MichelBoucey
hpg70.0a simple password generator (program, security)2018-01-04fritjof
hsaml2170.0OASIS Security Assertion Markup Language (SAML) V2.0 (apache, library, network, security, web)2022-02-03DylanSimon
jail20.0Jailed IO monad. (bsd3, library, security, system)2009-08-27SebastiaanVisser
liboath-hs90.0Bindings to liboath (gpl, library, program, security)2020-10-26parsonsmatt
lio272.0Labeled IO Information Flow Control Library (library, mit, security)2020-09-23AmitLevy, DavidMazieres, DeianStefan
lio-eci11 (deprecated in favor of lio)20.0Labeled IO library (deprecated, library, security)2011-07-23AlejandroRusso
lio-fs30.0Labeled File System interface for LIO (library, security)2014-03-13DeianStefan
lmonad20.0LMonad is an Information Flow Control (IFC) framework for Haskell applications. (library, mit, security)2016-01-08jp_rider
lmonad-yesod40.0LMonad for Yesod integrates LMonad's IFC with Yesod web applications. (library, mit, security, web, yesod)2016-04-19jp_rider
mac92.0Static Mandatory Access Control in Haskell (bsd3, library, security)2016-07-05AlejandroRusso
openssh-protocol10.0Haskell implementation of openssh protocol primitives. (bsd3, library, security)2019-02-08MarkHibberd
otp-authenticator50.0OTP Authenticator (a la google) command line client (bsd3, cli, library, program, security)2019-09-20jle
paphragen20.0A passphrase generator. (gpl, program, security)2016-12-30mgmillani
passman132.0a simple password manager (lgpl, library, program, security)2021-05-14jlamothe
pi-hoole20.0Lightweight access control solution for the pijul vcs (agpl, library, program, security)2018-05-05lethom
planb-token-introspection50.0Token Introspection for PlanB (bsd3, library, security)2019-05-03DmitryIvanov, mtesseract
rz-pipe12.0Pipe interface for Rizin (library, mit, program, reverse-engineering, security)2021-01-20FlorianMaerkl
safe-access180.0A simple environment to control access to data (bsd3, library, security)2020-02-21thoferon
scyther-proof100.0Automatic generation of Isabelle/HOL correctness proofs for security protocols. (program, security, theorem-provers)2015-06-21SimonMeier, lochbihl
seclib152.0A simple library for static information-flow security in Haskell (bsd3, library, security)2021-01-25AlejandroRusso
secrm10.0Example of writing "secure" file removal in Haskell rather than C. (program, public-domain, security)2010-09-24JonSlenk
servant-rate-limit120.0Rate limiting for Servant (library, mit, security)2022-03-30mbg
sme10.0A library for Secure Multi-Execution in Haskell (bsd3, library, security)2011-05-07AlejandroRusso
smith-cli10.0Command line tool for <https://smith.st/ Smith>. (bsd3, program, security)2019-02-08MarkHibberd
smith-client50.0API client for <https://smith.st/ Smith>. (bsd3, library, security)2019-02-08MarkHibberd
wai-rate-limit360.0Rate limiting as WAI middleware (library, mit, security)2022-03-30mbg
wai-rate-limit-postgres162.0See README for more info (apache, library, network, security, web)2022-06-27AdityaManthramurthy
wai-rate-limit-redis110.0Redis backend for rate limiting as WAI middleware (library, mit, security)2022-03-21mbg
wai-saml2460.0SAML2 assertion validation as WAI middleware (library, mit, security)2022-08-25mbg