https://github.com/sr-lab/verified-pam-cracklib

A verified rewrite of the PAM cracklib module.
https://github.com/sr-lab/verified-pam-cracklib

cracklib ffi pam-module security verification

Last synced: about 2 months ago
JSON representation

A verified rewrite of the PAM cracklib module.

• Host: GitHub
• URL: https://github.com/sr-lab/verified-pam-cracklib
• Owner: sr-lab
• License: bsd-3-clause
• Created: 2017-02-17T11:46:16.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2018-05-23T22:24:06.000Z (over 6 years ago)
• Last Synced: 2024-04-18T18:11:18.986Z (9 months ago)
• Topics: cracklib, ffi, pam-module, security, verification
• Language: Coq
• Size: 152 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 1

Awesome Lists containing this project