defuse/nova-extractor defuse/nova-extractor

  • Stars
    star
    2
  • Language
    Rust
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
defuse/nova-extractor
github

defuse

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

WIP implementation of the extractor in Nova's security proof

More Repositories

1

php-encryption

Simple Encryption in PHP.
PHP
3,784
star
2

swatd

Run a script when one or more sensors fail.
C
869
star
3

password-hashing

Password hashing code.
PHP
856
star
4

crackstation-hashdb

CrackStation.net's Lookup Table Implementation.
PHP
365
star
5

sockstress

Sockstress (TCP DoS) implementation.
C
205
star
6

flush-reload-attacks

Ruby
180
star
7

crackstation

Source code for my crackstation.net website.
Hack
132
star
8

passgen

A password generator.
C++
78
star
9

defuse.ca

The source code to my defuse.ca website.
HTML
67
star
10

phpcount

A unique hit counter that respects users' privacy.
PHP
62
star
11

email-spoofing

Ruby script for spoofing SMTP emails.
Ruby
43
star
12

php-passgen

Generating passwords in PHP.
PHP
38
star
13

gas-obfuscation

Extremely simple but inefficient x86-64 assembly obfuscation.
Ruby
34
star
14

dnsfs

Host files with DNS
Ruby
32
star
15

yescrypt

Non-C Implementations of the yescrypt KDF.
C
29
star
16

helloworld-cms

A simple content display system in PHP.
PHP
27
star
17

DAWr

The start of a library for building a DAW and/or sound experiments in Rust
Rust
26
star
18

airgap

Design for an economical and simple air-gapped system.
25
star
19

WinPassGen

A Windows Password Generator.
C
24
star
20

pastebin

The defuse.ca pastebin.
PHP
23
star
21

phphashcrack

A PHP hash cracker.
PHP
22
star
22

encutil

Example of how to build a command-line file encryption utility with defuse/php-encryption.
PHP
20
star
23

synergy-crack

Synergy 1.4.12 cracking tool.
Ruby
17
star
24

cuda-md5

Old NVIDIA CUDA implementation of salted MD5 brute-force
C++
17
star
25

ictm

A user-first approach to threat modeling.
14
star
26

x86rc4

A tiny x86 implementation of RC4
Assembly
13
star
27

php-newsgroups

Newsgroup-style PHP forum.
PHP
12
star
28

elfplayer

Visualize an ELF's execution
JavaScript
10
star
29

backup-verify

Tool for verifying backups and comparing directories.
Ruby
9
star
30

passgenr

A library for generating cryptographically-secure passwords in Rust.
Rust
8
star
31

canvas

Practice HTML5 Canvas.
JavaScript
6
star
32

textractor

Extract strings from files to make wordlists.
C#
6
star
33

vim

My GVim Configuration
Vim Script
6
star
34

image-passwords

HTML5 Canvas: Generating keys from memorable image sequences.
JavaScript
5
star
35

truecrypt-archive

Archive of all TrueCrypt 7.1a files
Standard ML
4
star
36

defuse_failover

(Old) How I used to do implement failover for defuse.ca.
Shell
4
star
37

gnutls-psk

Example TLS PSK client/server.
C
4
star
38

gadgetrie

A simple gadget finder for Return Oriented Programming
C
4
star
39

js-encryption

SJCL (JavaScript) encryption example.
JavaScript
3
star
40

vst_plugin

Example VST2 plugin in Rust.
Rust
2
star
41

eotp

https://defuse.ca/eotp.htm
Java
2
star
42

passwordtrainer

A script for memorizing/practicing passwords.
Ruby
2
star
43

php-login

A (half-finished) PHP login system.
PHP
2
star
44

stemviz

JavaScript
2
star
45

https-mockups

Negative feedback for insecure web connections.
2
star
46

afl-demo

C
2
star
47

vimhl

Syntax highlighting in PHP with Vim.
PHP
2
star
48

sudoku-solver

A simple sudoku solver in Ruby
Ruby
2
star
49

pfs-experiments

Testing perfect forward secrecy in the short term.
Ruby
1
star
50

tix

A command-line ticket system in Ruby.
Ruby
1
star
51

bqp

Source code for my bqp.io website.
HTML
1
star
52

juggler-pow

A memory-but-not-time asymmetric proof-of-work function.
C
1
star
53

hypothetico-web

Hypothetico e-zine website
PHP
1
star
54

popularaccess

popularaccess.org
1
star
55

upload

File transfer upload script.
Shell
1
star
56

wavetool

A tool for processing/analyzing Serum wavetables.
Rust
1
star
57

nsa-letter

A letter to Canadian MPs about the NSA
1
star
58

qcircuitgen

Easily draw quantum circuits for LaTeX's picture environment
Ruby
1
star
59

codefiles

A Ruby on Rails blog.
Ruby
1
star