🔐 Cryptography - Arash · Scour

Topology-Driven Symbolic Verification of Post-Quantum Migration Paths Using Tamarin Prover ⚡Circuit Bending

eprint.iacr.org·4d

Preventing Distinguishability between Multiplication and Squaring Operations λFunctional Programming

Sum-Check as an Algebraic Tensor Reduction: Part 1 λFunctional Programming

blog.zksecurity.xyz·3d·Hacker News

Alterion-Software/alterion-encrypt: A full end-to-end encryption pipeline for Actix-web — X25519 ECDH key exchange, AES-256-GCM session encryption, Argon2id password hashing, and a MessagePack + Deflate request/response pipeline, all behind a single middleware. ⚡Circuit Bending

github.com·4d·r/rust

Formal Verification, Integration and Physical Evaluation of Prime-Field Masking on Silicon ⚡Circuit Bending

eprint.iacr.org·6d

From Rerandtopia to Interceptopia, the Anamorphic Encryption Saga Rises ⚡Circuit Bending

eprint.iacr.org·5d

Non-Adaptive Programmable PRFs and Applications to Stacked Garbling λFunctional Programming

eprint.iacr.org·6d

Improving Correlation Power Analysis on Masked CRYSTALS-Kyber with Lattice Attack ♟️Game Theory

eprint.iacr.org·4d

Training Machine Learning Models on Encrypted Data: A Privacy-Preserving Framework using Homomorphic Encryption 🤖Machine Learning

Efficient Quantum Fully Homomorphic Encryption λFunctional Programming

Dynamic-Key Post-Quantum Encrypted Control Against System Identification Attacks ♟️Game Theory

PASS: A Provenanced Access Subaccount System for Blockchain Wallets ♟️Game Theory

Module Lattice Security (Part II): Module Lattice Reduction via Optimal Sign Selection 🎹Modular Synthesis

Detecting Avalanche Effect in Adversarial Settings: Spotting the Encryption Loops in Ransomware ⚡Circuit Bending

DeepSignature: Digitally Signed, Content-Encoding Watermarks for Robust and Transparent Image Authentication 🤖Machine Learning

Who Audits the Auditor? Tamper-Proof Fraud Detection with Blockchain-Anchored Explainable ML 🤖Machine Learning

Log in to enable infinite scrolling