tecnico-sec / Java-Crypto-DetailsLinks
Java Cryptographic Details Laboratory Guide
☆11Updated 2 months ago
Alternatives and similar repositories for Java-Crypto-Details
Users that are interested in Java-Crypto-Details are comparing it to the libraries listed below
Sorting:
- Intuitive Quantum Computation and Post-Quantum Cryptography☆63Updated 3 years ago
- Slides from our technical talks☆29Updated 4 months ago
- A place for useful crypto-related resources plus some of my fav stuff☆220Updated 4 years ago
- This is a Tamarin model of TLS 1.3☆41Updated 2 years ago
- Crypto Audit Guidelines☆134Updated 5 years ago
- ☆145Updated 9 months ago
- Teaching materials related to the Tamarin Prover☆71Updated last year
- A collection of common (interesting) cryptographic mistakes and learning resources.☆366Updated 7 months ago
- Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.☆22Updated 7 years ago
- BINSEC binary-level open-source platform☆392Updated last month
- A web browser with dynamic data-flow tracking enabled in the Javascript engine and DOM, based on Mozilla Firefox (https://github.com/mozi…☆155Updated 2 weeks ago
- Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751☆72Updated 2 years ago
- ☆16Updated 2 weeks ago
- CogniCrypt_SAST: CrySL-to-Static Analysis Compiler☆77Updated last week
- FAUST Gameserver for attack-defense CTFs☆103Updated 2 months ago
- Rust library for isogeny-based cryptography☆20Updated last month
- JHU Advanced Topics in Applied Cryptography (601.745)☆53Updated 7 years ago
- Trail of Bits Testing Handbook - appsec.guide☆92Updated last week
- Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).☆199Updated 10 months ago
- A pub-sub system for the distributed web - my master thesis @ IST☆39Updated 4 years ago
- Cloud native Secure Multiparty Computation Stack☆90Updated 3 months ago
- SageMath/Python Toolkit for Cryptanalytic Research☆41Updated 8 months ago
- A Course in Cryptanalysis☆149Updated last year
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆218Updated last year
- ☆38Updated 8 years ago
- Design and Cryptanalysis of Symmetric-Key Algorithms in Black and White-box Models☆26Updated last year
- Key Agreement for Decentralized Secure Group Messaging with Strong Security Guarantees (Java Prototype)☆23Updated 4 years ago
- ☆41Updated last year
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆82Updated 3 months ago
- WebAssembly as a Fuzzing Compilation Target @ FUZZING'24☆18Updated last week