Packages tagged security

47 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (41), bsd3 (25), program (15), mit (8), network (5), cryptography (4), deprecated (4), web (4), apache (3), parsers (3), aws (2), gpl (2), reverse-engineering (2), agpl (1), cli (1), console (1), database (1), devops (1), distributed-computing (1), dsl (1), ...

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
Capabilities70.01Separate and contain effects of IO monad. (bsd3, generics, library, security)2013-08-080.1.0.0BaldurBlondal
GoogleSB30.01Interface to Google Safe Browsing API (bsd3, library, security)2009-06-190.1AlexOtt
TransformeR (deprecated)60.00eDSL in R for Safe Variable Transformarion (bsd3, deprecated, dsl, library, program, security, statistics)2016-08-040.1.0.0remy
acme-not-a-joke60.00implements ACME clients (rfc-8555) (bsd3, library, security)2024-04-230.1.0.0LucasDiCioccio
biscuit-haskell210.01Library support for the Biscuit security token (bsd3, library, security)2024-05-110.3.0.1clementd
biscuit-servant140.00Servant support for the Biscuit security token (bsd3, library, security)2024-05-110.3.0.1clementd
credentials80.00Secure Credentials Storage and Distribution (aws, library, network, security)2017-04-280.0.2BrendanHay
credentials-cli70.01Secure Credentials Administration (aws, console, network, program, security)2017-04-280.0.2BrendanHay
dclabel (deprecated in favor of lio)180.03This packge is deprecated. See the the "LIO.DCLabel" in the "lio" package. (bsd3, deprecated, library, security)2012-08-170.9.0.0DeianStefan
dclabel-eci11 (deprecated in favor of lio)70.02The Disjunction Category Label Format. (bsd3, deprecated, library, security)2011-07-230.3AlejandroRusso
dewdrop60.01Find gadgets for return-oriented programming on x86 (bsd3, library, reverse-engineering, security)2011-08-280.1KeeganMcAllister
faceted40.01Faceted computation for dynamic information flow security (apache, library, security)2014-05-120.0.2.0KennKnowles
flowlocks-framework60.01Generalized Flow Locks Framework (bsd3, library, security)2022-05-170.1.4NiklasBroberg
gothic320.00A Haskell Vault KVv2 secret engine client (bsd3, database, devops, library, security)2024-01-250.1.8.2MichelBoucey
hpg180.01a simple password generator (program, security)2018-01-040.8fritjof
hsaml290.01OASIS Security Assertion Markup Language (SAML) V2.0 (apache, library, network, security, web)2022-02-030.1.2DylanSimon
jail70.01Jailed IO monad. (bsd3, library, security, system)2009-08-270.0.1.1SebastiaanVisser
liboath-hs110.00Bindings to liboath (gpl, library, program, security)2020-10-260.0.1.2parsonsmatt
lio432.04Labeled IO Information Flow Control Library (library, mit, security)2020-09-230.11.7.1AmitLevy, DavidMazieres, DeianStefan
lio-eci11 (deprecated in favor of lio)70.01Labeled IO library (deprecated, library, security)2011-07-230.2AlejandroRusso
lio-fs170.01Labeled File System interface for LIO (library, security)2014-03-130.0.1.2DeianStefan
lmonad30.01LMonad is an Information Flow Control (IFC) framework for Haskell applications. (library, mit, security)2016-01-080.1.0.0jp_rider
lmonad-yesod100.01LMonad for Yesod integrates LMonad's IFC with Yesod web applications. (library, mit, security, web, yesod)2016-04-191.0.0.0jp_rider
mac132.01Static Mandatory Access Control in Haskell (bsd3, library, security)2016-07-050.1.3.0AlejandroRusso
openssh-protocol30.00Haskell implementation of openssh protocol primitives. (bsd3, library, security)2019-02-080.0.1MarkHibberd
otp-authenticator140.00OTP Authenticator (a la google) command line client (bsd3, cli, library, program, security)2024-01-150.1.2.1jle
paphragen60.01A passphrase generator. (gpl, program, security)2016-12-300.2.0.0mgmillani
passman182.00a simple password manager (lgpl, library, program, security)2023-05-020.3.1.1jlamothe
pi-hoole60.00Lightweight access control solution for the pijul vcs (agpl, library, program, security)2018-05-050.2.0.0lethom
planb-token-introspection70.01Token Introspection for PlanB (bsd3, library, security)2019-05-030.1.4.0DmitryIvanov, mtesseract
rz-pipe72.00Pipe interface for Rizin (library, mit, program, reverse-engineering, security)2021-01-200.1.0FlorianMaerkl
safe-access250.01A simple environment to control access to data (bsd3, library, security)2020-02-210.3.3.1thoferon
scyther-proof180.01Automatic generation of Isabelle/HOL correctness proofs for security protocols. (program, security, theorem-provers)2015-06-210.10.0.1SimonMeier, lochbihl
seclib272.01A simple library for static information-flow security in Haskell (bsd3, library, security)2021-01-251.1.0.3AlejandroRusso
secrm30.01Example of writing "secure" file removal in Haskell rather than C. (program, public-domain, security)2010-09-240.0JonSlenk
servant-rate-limit120.00Rate limiting for Servant (library, mit, security)2022-03-300.2.0.0mbg
sme50.01A library for Secure Multi-Execution in Haskell (bsd3, library, security)2011-05-070.1AlejandroRusso
smith-cli30.00Command line tool for <https://smith.st/ Smith>. (bsd3, program, security)2019-02-080.0.1MarkHibberd
smith-client40.00API client for <https://smith.st/ Smith>. (bsd3, library, security)2019-02-080.0.1MarkHibberd
tahoe-chk90.03The Tahoe-LAFS' Content-Hash-Key (CHK) cryptographic protocol. (bsd3, cryptography, library, parsers, program, security)2023-10-020.2.0.0ShaeErisson, jcalderone
tahoe-directory70.01Tahoe-LAFS directory-like abstraction for collections of data objects. (bsd3, cryptography, library, parsers, security)2023-08-170.1.0.0ShaeErisson, jcalderone
tahoe-great-black-swamp170.01An implementation of the "Great Black Swamp" LAFS protocol. (bsd3, cryptography, distributed-computing, filesystem, library, network, network-apis, program, security, service, storage, web)2023-11-060.4.0.1ShaeErisson, jcalderone
tahoe-ssk130.02An implementation of the Tahoe-LAFS SSK cryptographic protocols (bsd3, cryptography, library, parsers, program, security)2023-10-100.3.0.0ShaeErisson, jcalderone
wai-rate-limit160.03Rate limiting as WAI middleware (library, mit, security)2022-03-300.3.0.0mbg
wai-rate-limit-postgres52.00See README for more info (apache, library, network, security, web)2022-06-270.6.0.0AdityaManthramurthy
wai-rate-limit-redis90.00Redis backend for rate limiting as WAI middleware (library, mit, security)2022-03-210.2.0.1mbg
wai-saml2220.00SAML2 assertion validation as WAI middleware (library, mit, security)2023-08-220.5mbg