The Skip Ratchet
Innovative cryptographic ratchet for decentralized environments, combining hierarchical hashing and skip lists. Enables efficient key agreement, synchronization, and backward secrecy in local-first deployments.
PIPSEA - A Practical IPsec Gateway on Embedded APUs
Innovative IPsec gateway implementation on embedded APUs, enhancing network security performance through efficient hardware utilization and optimized cryptographic operations.
On the Provable Security of -EC-DSA Signatures
Explore the provable security of (EC)DSA signatures, examining theoretical foundations and practical implications for cryptographic systems.
Make Sure DSA Signing Exponentiations Really Are Constant-Time
Explore constant-time DSA signing exponentiations for enhanced cryptographic security. Insights from experts on mitigating timing attacks in digital signature algorithms.
Efficient Cryptographic Password Hardening Services From Partially Oblivious Commitments
Explore innovative cryptographic techniques for enhancing password security through partially oblivious commitments, presented by experts in computer and communications security.
High-Throughput Semi-Honest Secure Three-Party Computation with an Honest Majority
Explore high-throughput secure three-party computation with an honest majority in this presentation on advanced cryptographic protocols and their practical applications.
SANA - Secure and Scalable Aggregate Network Attestation
Explore SANA, a secure and scalable network attestation system, presented at CCS 2016. Learn about its design, efficiency, and security considerations for protecting large-scale networks.
BeleniosRF - A Non-Interactive Receipt-Free Electronic Voting Scheme
Explore a non-interactive receipt-free electronic voting scheme, BeleniosRF, enhancing election integrity and voter privacy through advanced cryptographic techniques.
Identity-Concealed Authenticated Encryption and Key Exchange
Explore identity-concealed authenticated encryption and key exchange techniques, enhancing privacy and security in cryptographic protocols for modern communication systems.
Attribute-based Key Exchange with General Policies
Explore attribute-based key exchange with general policies, presented by experts from Bell Labs, IBM Research, Bar-Ilan University, and Galios at the 23rd ACM Conference on Computer and Communications Security.
What Else is Revealed by Order Revealing Encryption?
Explores implications of order-revealing encryption, discussing potential security vulnerabilities and unintended information leakage in cryptographic systems.
MEMS Gyroscopes as Physical Unclonable Functions
Explore MEMS gyroscopes as Physical Unclonable Functions for enhanced security in embedded systems, presented at the ACM Conference on Computer and Communications Security.
Frodo - Take off the Ring! Practical, Quantum-Secure Key Exchange from LWE
Explore quantum-secure key exchange using LWE, a practical approach for post-quantum cryptography. Learn about Frodo's implementation and its potential for future secure communications.
Amortizing Secure Computation with Penalties
Explore secure computation with penalties, focusing on amortization techniques to enhance efficiency in cryptographic protocols for multi-party computations.
Improvements to Secure Computation
Explore advancements in secure computation techniques, focusing on enhanced privacy and efficiency in multi-party protocols presented at the ACM CCS 2016 conference.
Real-World Post-Quantum Cryptography - Introducing the OpenQuantumSafe Software Project
Explore OpenQuantumSafe, an open-source library for quantum-safe cryptography, including implementations, benchmarks, integration challenges, and future developments.
Rogue7 - Rogue Engineering-Station Attacks on S7 Simatic PLCs
Uncovers vulnerabilities in Siemens S7 PLC systems, demonstrating potential attacks on industrial control architectures despite claimed security measures and advanced cryptographic protocols.
Reverse Engineering WhatsApp Encryption for Chat Manipulation and More
Decrypting WhatsApp traffic and creating tools for vulnerability research, including a Burp Suite extension for investigating encrypted communications.
Lessons From Two Years of Crypto Audits
Explore fascinating security issues and risks in memory-safe languages like Rust, based on insights from two years of cryptocurrency audits.
Zombie POODLE, GOLDENDOODLE, and How TLSv1.3 Can Save Us All
Explore advanced CBC padding oracle attacks, including a resurrected POODLE vulnerability and the faster GOLDENDOODLE attack. Learn how TLSv1.3 addresses these security issues.
Secure Boot Under Attack - Simulation to Enhance Fault Attacks & Defenses
Explore fault injection attacks on Secure Boot, their impact on embedded systems, and strategies for enhancing defenses through simulation techniques.