Packages tagged security

27 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (22), bsd3 (13), program (9), gpl (6), deprecated (4), aws (2), mit (2), network (2), apache (1), benchmark (1), cli (1), console (1), dsl (1), generics (1), ...

Last U/L
Capabilities100.0Separate and contain effects of IO monad. (bsd3, generics, library, security)2013-08-08BaldurBlondal
GoogleSB80.0Interface to Google Safe Browsing API (bsd3, library, security)2009-06-19AlexOtt
TransformeR (deprecated)40.0eDSL in R for Safe Variable Transformarion (bsd3, deprecated, dsl, library, program, security, statistics)2016-08-04remy
bindings-sipc70.0Low level bindings to SIPC. (lgpl, library, program, security)2012-03-02JustinEthier
credentials120.0Secure Credentials Storage and Distribution (aws, library, network, security)2017-04-28BrendanHay
credentials-cli120.0Secure Credentials Administration (aws, console, network, program, security)2017-04-28BrendanHay
dclabel (deprecated in favor of lio)260.0This packge is deprecated. See the the "LIO.DCLabel" in the "lio" package. (benchmark, bsd3, deprecated, library, security)2012-08-17DeianStefan
dclabel-eci11 (deprecated in favor of lio)100.0The Disjunction Category Label Format. (bsd3, deprecated, library, security)2011-07-23AlejandroRusso
dewdrop60.0Find gadgets for return-oriented programming on x86 (bsd3, library, reverse-engineering, security)2011-08-28KeeganMcAllister
faceted90.0Faceted computation for dynamic information flow security (apache, library, security)2014-05-12KennKnowles
flowlocks-framework100.0Generalized Flow Locks Framework (bsd3, library, security)2015-04-29NiklasBroberg
hpg280.0a simple password generator (program, security)2018-01-04fritjof
jail150.0Jailed IO monad. (bsd3, library, security, system)2009-08-27SebastiaanVisser
liboath-hs60.0Bindings to liboath (gpl, library, program, security)2017-11-08parsonsmatt
lio882.0Labeled IO Information Flow Control Library (gpl, library, security)2016-07-05AmitLevy, DavidMazieres, DeianStefan
lio-eci11 (deprecated in favor of lio)80.0Labeled IO library (deprecated, gpl, library, security)2011-07-23AlejandroRusso
lio-fs150.0Labeled File System interface for LIO (gpl, library, security)2014-03-13DeianStefan
lmonad40.0LMonad is an Information Flow Control (IFC) framework for Haskell applications. (library, mit, security)2016-01-08jp_rider
lmonad-yesod140.0LMonad for Yesod integrates LMonad's IFC with Yesod web applications. (library, mit, security, web, yesod)2016-04-19jp_rider
mac172.0Static Mandatory Access Control in Haskell (bsd3, library, security)2016-07-05AlejandroRusso
otp-authenticator80.0OTP Authenticator (a la google) command line client (bsd3, cli, library, program, security)2017-08-07jle
paphragen130.0A passphrase generator. (gpl, program, security)2016-12-30mgmillani
safe-access410.0A simple environment to control access to data (bsd3, library, security)2017-09-11thoferon
scyther-proof380.0Automatic generation of Isabelle/HOL correctness proofs for security protocols. (gpl, program, security, theorem-provers)2015-06-21SimonMeier, lochbihl
seclib430.0A simple library for static information-flow security in Haskell (bsd3, library, security)2014-12-15AlejandroRusso
secrm50.0Example of writing "secure" file removal in Haskell rather than C. (program, public-domain, security)2010-09-24JonSlenk
sme50.0A library for Secure Multi-Execution in Haskell (bsd3, library, security)2011-05-07AlejandroRusso