OpenSSL Jostle - Java Interface to the OpenSSL Library

Playground for the fire effect from DOOM. Really simple algorithm and all experiments are welcome!

Python 802.15.4 packet sniffer for the CC2531 EMK from Texas Instruments

Whsniff is a command line utility that interfaces TI CC2531 USB dongle with Wireshark for capturing and displaying IEEE 802.15.4 traffic at 2.4 GHz.

This repository provides detailed instructions on how to use the CC2531 USB dongle as a Zigbee coordinator or for other Zigbee applications. It covers flashing the dongle with the latest firmware u…

OASIS PKCS 11 TC: Repository to support version control for development of technical files associated with the OASIS PKCS11 specification

A library of modular, tapeout-proven, and secure-by-default open silicon blocks

Language for high-assurance and high-speed cryptography

Formal Verification companion material to The Joy of Cryptography textbook by Mike Rosulek

EasyCrypt: Computer-Aided Cryptographic Proofs

Implementations of a fast Message-Authentication Code

KeyStore Explorer is a free GUI replacement for the Java command-line utilities keytool and jarsigner.

Build your own robot duck. XGO-Duck is a 3D-printable biped powered by Arduino UNO Q and 15 servos, adapted from Pollen Robotics' Microduck. Includes mechanical models, PCB designs, a BOM, and an a…

Source code for 'Cryptography in Python Source Code' by Seth Nielson and Christopher K. Monson

Info page. Home to Mac OS X releases of nRF Connect for Mobile (iOS)

A collection of various awesome lists for hackers, pentesters and security researchers

A collection of awesome tools, books, resources, software, documents and cool stuff about IoT and HW security.

A curated list of public TEE resources for learning how to reverse-engineer and achieve trusted code execution on ARM devices

Reverse engineer anything with agents, from app behavior down to native binaries.

Web/CLI testing wallet for the EUDI ecosystem. No phone required.

A repository for the O'Reilly WebAssembly Shortcuts Series

Functional Programming in Lean

Linux-CAN / SocketCAN user space applications

A W.I.P Android Security Ref

Concise data definition language (RFC 8610) implementation and JSON and CBOR validator in Rust

Dual-mode Bluetooth stack, with small memory footprint.

Don't Look Ethel.