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 |
|---|---|---|---|---|---|---|---|---|
| Capabilities | 5 | 0.0 | 1 | Separate and contain effects of IO monad. | (bsd3, generics, library, security) | 2013-08-08 | 0.1.0.0 | BaldurBlondal |
| GoogleSB | 5 | 0.0 | 1 | Interface to Google Safe Browsing API | (bsd3, library, security) | 2009-06-19 | 0.1 | AlexOtt |
| TransformeR (deprecated) | 8 | 0.0 | 0 | eDSL in R for Safe Variable Transformarion | (bsd3, deprecated, dsl, library, program, security, statistics) | 2016-08-04 | 0.1.0.0 | remy |
| acme-not-a-joke | 12 | 0.0 | 0 | implements ACME clients (rfc-8555) | (bsd3, library, security) | 2024-04-23 | 0.1.0.0 | LucasDiCioccio |
| biscuit-haskell | 18 | 0.0 | 1 | Library support for the Biscuit security token | (bsd3, library, security) | 2022-12-15 | 0.3.0.0 | clementd |
| biscuit-servant | 16 | 0.0 | 0 | Servant support for the Biscuit security token | (bsd3, library, security) | 2022-12-15 | 0.3.0.0 | clementd |
| credentials | 12 | 0.0 | 0 | Secure Credentials Storage and Distribution | (aws, library, network, security) | 2017-04-28 | 0.0.2 | BrendanHay |
| credentials-cli | 11 | 0.0 | 1 | Secure Credentials Administration | (aws, console, network, program, security) | 2017-04-28 | 0.0.2 | BrendanHay |
| dclabel (deprecated in favor of lio) | 24 | 0.0 | 3 | This packge is deprecated. See the the "LIO.DCLabel" in the "lio" package. | (bsd3, deprecated, library, security) | 2012-08-17 | 0.9.0.0 | DeianStefan |
| dclabel-eci11 (deprecated in favor of lio) | 10 | 0.0 | 2 | The Disjunction Category Label Format. | (bsd3, deprecated, library, security) | 2011-07-23 | 0.3 | AlejandroRusso |
| dewdrop | 6 | 0.0 | 1 | Find gadgets for return-oriented programming on x86 | (bsd3, library, reverse-engineering, security) | 2011-08-28 | 0.1 | KeeganMcAllister |
| faceted | 7 | 0.0 | 1 | Faceted computation for dynamic information flow security | (apache, library, security) | 2014-05-12 | 0.0.2.0 | KennKnowles |
| flowlocks-framework | 14 | 0.0 | 1 | Generalized Flow Locks Framework | (bsd3, library, security) | 2022-05-17 | 0.1.4 | NiklasBroberg |
| gothic | 28 | 0.0 | 0 | A Haskell Vault KVv2 secret engine client | (bsd3, database, devops, library, security) | 2024-01-25 | 0.1.8.2 | MichelBoucey |
| hpg | 17 | 0.0 | 1 | a simple password generator | (program, security) | 2018-01-04 | 0.8 | fritjof |
| hsaml2 | 13 | 0.0 | 1 | OASIS Security Assertion Markup Language (SAML) V2.0 | (apache, library, network, security, web) | 2022-02-03 | 0.1.2 | DylanSimon |
| jail | 7 | 0.0 | 1 | Jailed IO monad. | (bsd3, library, security, system) | 2009-08-27 | 0.0.1.1 | SebastiaanVisser |
| liboath-hs | 16 | 0.0 | 0 | Bindings to liboath | (gpl, library, program, security) | 2020-10-26 | 0.0.1.2 | parsonsmatt |
| lio | 71 | 2.0 | 4 | Labeled IO Information Flow Control Library | (library, mit, security) | 2020-09-23 | 0.11.7.1 | AmitLevy, DavidMazieres, DeianStefan |
| lio-eci11 (deprecated in favor of lio) | 6 | 0.0 | 1 | Labeled IO library | (deprecated, library, security) | 2011-07-23 | 0.2 | AlejandroRusso |
| lio-fs | 15 | 0.0 | 1 | Labeled File System interface for LIO | (library, security) | 2014-03-13 | 0.0.1.2 | DeianStefan |
| lmonad | 6 | 0.0 | 1 | LMonad is an Information Flow Control (IFC) framework for Haskell applications. | (library, mit, security) | 2016-01-08 | 0.1.0.0 | jp_rider |
| lmonad-yesod | 12 | 0.0 | 1 | LMonad for Yesod integrates LMonad's IFC with Yesod web applications. | (library, mit, security, web, yesod) | 2016-04-19 | 1.0.0.0 | jp_rider |
| mac | 14 | 2.0 | 1 | Static Mandatory Access Control in Haskell | (bsd3, library, security) | 2016-07-05 | 0.1.3.0 | AlejandroRusso |
| openssh-protocol | 4 | 0.0 | 0 | Haskell implementation of openssh protocol primitives. | (bsd3, library, security) | 2019-02-08 | 0.0.1 | MarkHibberd |
| otp-authenticator | 17 | 0.0 | 0 | OTP Authenticator (a la google) command line client | (bsd3, cli, library, program, security) | 2024-01-15 | 0.1.2.1 | jle |
| paphragen | 6 | 0.0 | 1 | A passphrase generator. | (gpl, program, security) | 2016-12-30 | 0.2.0.0 | mgmillani |
| passman | 21 | 2.0 | 0 | a simple password manager | (lgpl, library, program, security) | 2023-05-02 | 0.3.1.1 | jlamothe |
| pi-hoole | 8 | 0.0 | 0 | Lightweight access control solution for the pijul vcs | (agpl, library, program, security) | 2018-05-05 | 0.2.0.0 | lethom |
| planb-token-introspection | 16 | 0.0 | 1 | Token Introspection for PlanB | (bsd3, library, security) | 2019-05-03 | 0.1.4.0 | DmitryIvanov, mtesseract |
| rz-pipe | 7 | 2.0 | 0 | Pipe interface for Rizin | (library, mit, program, reverse-engineering, security) | 2021-01-20 | 0.1.0 | FlorianMaerkl |
| safe-access | 33 | 0.0 | 1 | A simple environment to control access to data | (bsd3, library, security) | 2020-02-21 | 0.3.3.1 | thoferon |
| scyther-proof | 24 | 0.0 | 1 | Automatic generation of Isabelle/HOL correctness proofs for security protocols. | (program, security, theorem-provers) | 2015-06-21 | 0.10.0.1 | SimonMeier, lochbihl |
| seclib | 31 | 2.0 | 1 | A simple library for static information-flow security in Haskell | (bsd3, library, security) | 2021-01-25 | 1.1.0.3 | AlejandroRusso |
| secrm | 6 | 0.0 | 1 | Example of writing "secure" file removal in Haskell rather than C. | (program, public-domain, security) | 2010-09-24 | 0.0 | JonSlenk |
| servant-rate-limit | 11 | 0.0 | 0 | Rate limiting for Servant | (library, mit, security) | 2022-03-30 | 0.2.0.0 | mbg |
| sme | 4 | 0.0 | 1 | A library for Secure Multi-Execution in Haskell | (bsd3, library, security) | 2011-05-07 | 0.1 | AlejandroRusso |
| smith-cli | 4 | 0.0 | 0 | Command line tool for <https://smith.st/ Smith>. | (bsd3, program, security) | 2019-02-08 | 0.0.1 | MarkHibberd |
| smith-client | 4 | 0.0 | 0 | API client for <https://smith.st/ Smith>. | (bsd3, library, security) | 2019-02-08 | 0.0.1 | MarkHibberd |
| tahoe-chk | 8 | 0.0 | 3 | The Tahoe-LAFS' Content-Hash-Key (CHK) cryptographic protocol. | (bsd3, cryptography, library, parsers, program, security) | 2023-10-02 | 0.2.0.0 | ShaeErisson, jcalderone |
| tahoe-directory | 6 | 0.0 | 1 | Tahoe-LAFS directory-like abstraction for collections of data objects. | (bsd3, cryptography, library, parsers, security) | 2023-08-17 | 0.1.0.0 | ShaeErisson, jcalderone |
| tahoe-great-black-swamp | 9 | 0.0 | 1 | An implementation of the "Great Black Swamp" LAFS protocol. | (bsd3, cryptography, distributed-computing, filesystem, library, network, network-apis, program, security, service, storage, web) | 2023-11-06 | 0.4.0.1 | ShaeErisson, jcalderone |
| tahoe-ssk | 8 | 0.0 | 2 | An implementation of the Tahoe-LAFS SSK cryptographic protocols | (bsd3, cryptography, library, parsers, program, security) | 2023-10-10 | 0.3.0.0 | ShaeErisson, jcalderone |
| wai-rate-limit | 18 | 0.0 | 3 | Rate limiting as WAI middleware | (library, mit, security) | 2022-03-30 | 0.3.0.0 | mbg |
| wai-rate-limit-postgres | 18 | 2.0 | 0 | See README for more info | (apache, library, network, security, web) | 2022-06-27 | 0.6.0.0 | AdityaManthramurthy |
| wai-rate-limit-redis | 14 | 0.0 | 0 | Redis backend for rate limiting as WAI middleware | (library, mit, security) | 2022-03-21 | 0.2.0.1 | mbg |
| wai-saml2 | 33 | 0.0 | 0 | SAML2 assertion validation as WAI middleware | (library, mit, security) | 2023-08-22 | 0.5 | mbg |