public fork of Crypto++ v5.6.2 to add algorithms
To toy around with Bluespec-SystemVerilog and my Basys3 board
ABY - A Framework for Efficient Mixed-protocol Secure Two-party Computation
A Repository dedicated to making CBMC fit for "standard" applications
Empowering everyone to build reliable and efficient software.
Rust's standard library vendor-specific APIs and run-time feature detection