András Veres-Szentkirályi's repositories
StreetComplete
Easy to use OpenStreetMap editor for Android
streamdeck-osmapper
OpenStreetMap mapper for ElGato Stream Deck devices
tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
equihash
Equihash: memory-hard PoW with fast verification
foss-events-website
// foss.events: Connecting people via the most comprehensive collection of Free, Libre and/or Open Source Software events happening in Europe and online. Unity in diversity!
libsphinx
Sphinx-based Password Storage low-level library
WebGoat
WebGoat is a deliberately insecure application
androsphinx
SPHINX for Android
remote-method-guesser
Java RMI Vulnerability Scanner
opaqueoxide
High-level safe Rust bindings for libopaque-sys
libopaque-sys
Low-level FFI Rust bindings for libopa
pwdsphinx
python bindings for libsphinx - a Sphinx-based password storage
byro
Plugin-based, unopinionated membership administration software
rewind
Snapshot-based coverage-guided windows kernel fuzzer
yubikey-agent
yubikey-agent is a seamless ssh-agent for YubiKeys.
hdmi
Send video/audio over HDMI on an FPGA
actix-website
The Actix website.
cryptpwch
Password change webapp for crypt(3) databases using SQLAlchemy and Flask
objection
📱 objection - runtime mobile exploration
acs-client-android
Experimental clipboard sync client for Android
ed448goldilocks
Fork of git://git.code.sf.net/p/ed448goldilocks/code with "support" of cross-compiling with mingw
androsphinx-old
Android/JNI wrapper for libsphinx
pretalx
Conference planning tool: CfP, scheduling, speaker management
proxmark3
Proxmark 3
CarbonCopy
A tool which creates a spoofed certificate of any online website and signs an Executable for AV Evasion. Works for both Windows and Linux