Packages tagged security

36 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (30), bsd3 (18), program (12), deprecated (4), mit (4), network (3), apache (2), aws (2), gpl (2), web (2), agpl (1), cli (1), console (1), database (1), devops (1), dsl (1), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
Capabilities40.0Separate and contain effects of IO monad. (bsd3, generics, library, security)2013-08-08BaldurBlondal
GoogleSB20.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
bindings-sipc60.0Low level bindings to SIPC. (library, program, security)2012-03-02JustinEthier
credentials100.0Secure Credentials Storage and Distribution (aws, library, network, security)2017-04-28BrendanHay
credentials-cli80.0Secure Credentials Administration (aws, console, network, program, security)2017-04-28BrendanHay
dclabel (deprecated in favor of lio)120.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
dewdrop20.0Find gadgets for return-oriented programming on x86 (bsd3, library, reverse-engineering, security)2011-08-28KeeganMcAllister
faceted50.0Faceted computation for dynamic information flow security (apache, library, security)2014-05-12KennKnowles
flowlocks-framework40.0Generalized Flow Locks Framework (bsd3, library, security)2015-04-29NiklasBroberg
gothic180.0A Haskell Vault KVv2 secret engine client (bsd3, database, devops, library, security)2020-05-27MichelBoucey
hpg170.0a simple password generator (program, security)2018-01-04fritjof
hsaml240.0OASIS Security Assertion Markup Language (SAML) V2.0 (apache, library, network, security, web)2018-04-06DylanSimon
jail40.0Jailed IO monad. (bsd3, library, security, system)2009-08-27SebastiaanVisser
liboath-hs520.0Bindings to liboath (gpl, library, program, security)2020-10-26parsonsmatt
lio652.0Labeled IO Information Flow Control Library (library, mit, security)2020-09-23AmitLevy, DavidMazieres, DeianStefan
lio-eci11 (deprecated in favor of lio)60.0Labeled IO library (deprecated, library, security)2011-07-23AlejandroRusso
lio-fs80.0Labeled File System interface for LIO (library, security)2014-03-13DeianStefan
lmonad30.0LMonad is an Information Flow Control (IFC) framework for Haskell applications. (library, mit, security)2016-01-08jp_rider
lmonad-yesod90.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-protocol40.0Haskell implementation of openssh protocol primitives. (bsd3, library, security)2019-02-08MarkHibberd
otp-authenticator80.0OTP Authenticator (a la google) command line client (bsd3, cli, library, program, security)2019-09-20jle
paphragen50.0A passphrase generator. (gpl, program, security)2016-12-30mgmillani
passman652.0a simple password manager (lgpl, library, program, security)2020-09-28jlamothe
pi-hoole60.0Lightweight access control solution for the pijul vcs (agpl, library, program, security)2018-05-05lethom
planb-token-introspection120.0Token Introspection for PlanB (bsd3, library, security)2019-05-03DmitryIvanov, mtesseract
safe-access160.0A simple environment to control access to data (bsd3, library, security)2020-02-21thoferon
scyther-proof190.0Automatic generation of Isabelle/HOL correctness proofs for security protocols. (program, security, theorem-provers)2015-06-21SimonMeier, lochbihl
seclib120.0A simple library for static information-flow security in Haskell (bsd3, library, security)2014-12-15AlejandroRusso
secrm20.0Example of writing "secure" file removal in Haskell rather than C. (program, public-domain, security)2010-09-24JonSlenk
sme10.0A library for Secure Multi-Execution in Haskell (bsd3, library, security)2011-05-07AlejandroRusso
smith-cli40.0Command line tool for <https://smith.st/ Smith>. (bsd3, program, security)2019-02-08MarkHibberd
smith-client20.0API client for <https://smith.st/ Smith>. (bsd3, library, security)2019-02-08MarkHibberd
wai-saml260.0SAML2 assertion validation as WAI middleware (library, mit, security)2020-10-28mbg