picty / concertoLinks
Toolset to analyse TLS datasets
☆12Updated 6 years ago
Alternatives and similar repositories for concerto
Users that are interested in concerto are comparing it to the libraries listed below
Sorting:
- REbus facilitates the coupling of existing tools that perform specific tasks, where one's output will be used as the input of others.☆25Updated 5 years ago
- Parsifal : an OCaml-based parsing engine☆64Updated 5 years ago
- An example Mirage unikernel that runs as a Qubes AppVM☆23Updated 5 years ago
- tamper resistant audit log☆17Updated 7 years ago
- MRT Parser☆47Updated 6 years ago
- Minimal Indicator Storage System☆11Updated 5 years ago
- some TLS utilities☆17Updated 9 years ago
- BONOMEN - Hunt for Malware Critical Process Impersonation☆50Updated 5 years ago
- Passphrase entry utility that aims to defeat hardware keyloggers and low-resolution spy cameras☆25Updated 8 years ago
- ☆25Updated 10 years ago
- OUSPG Open - Summer of Buzz with Fresh Blood, Alumni and Affiliates☆20Updated 9 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆37Updated 3 years ago
- Constraint solver based on abstract interpretation☆10Updated last year
- Simple application for playing with elliptic curves☆43Updated 3 years ago
- Tools to interact with a certificate transparency server☆23Updated 10 years ago
- a RTE-free X.509 parser☆64Updated 3 years ago
- Does your library check TLS certificates properly?☆79Updated 2 years ago
- Code to fuzz bignum libraries☆46Updated 7 years ago
- Detect patterns of bad behavior in function calls☆25Updated 5 years ago
- A collection of scripts based on libclang for extracting API information from interpreters☆25Updated 13 years ago
- Picon☆39Updated 8 years ago
- iknowthis Linux SystemCall Fuzzer☆20Updated 6 years ago
- Dynamic binary instrumentation based crypto detection framework. Implementation of http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumbe…☆18Updated 12 years ago
- BRUTUS is an alternative, fast testing framework for CAESAR ciphers.☆25Updated 9 years ago
- relros.c applies RELRO to static binaries, and static_to_dyn.c applies ASLR to static binaries.☆34Updated 7 years ago
- ☆18Updated 9 years ago
- Bindings for hypervisor sockets, for Linux, Windows and macOS (via Hyperkit)☆16Updated 5 months ago
- Web based code browser using clang to provide basic code analysis.☆46Updated 8 years ago
- ☆16Updated 5 years ago
- Underconstrained symbolic execution for cryptography verification☆19Updated 4 years ago