OWL - Compositional Verification of Security Protocols via an Information-Flow Type System
Explore a novel approach to verifying security protocols using an information-flow type system, offering insights into compositional verification techniques and their practical applications.
Private Access Control for Function Secret Sharing
Explore innovative techniques for enhancing privacy in function secret sharing, focusing on access control mechanisms to protect sensitive data in distributed computing environments.
FLUTE - Fast and Secure Lookup Table Evaluations
Explore a novel approach for fast and secure lookup table evaluations in cryptography, enhancing efficiency and security in data processing and retrieval systems.
Rethinking Searchable Symmetric Encryption
Explore innovative approaches to searchable symmetric encryption, examining its challenges and potential solutions for secure data retrieval in encrypted environments.
Xu: Rechnen Schlüsseln Authentifizieren
Verständliche Einführung in die Mathematik der Kryptographie, mit Fokus auf RSA und anderen Verschlüsselungstechniken. Erklärt Gemeinsamkeiten und Unterschiede moderner Algorithmen zum Datenschutz.
Perceptions of Distributed Ledger Technology Key Management - Interviews with Finance Professionals
Explore finance professionals' views on distributed ledger technology key management through interviews, revealing insights and challenges in this emerging field.
Practically-Exploitable Cryptographic Vulnerabilities in Matrix
Explore cryptographic vulnerabilities in Matrix, examining practical exploits and their implications for secure communication systems.
Beyond Passwords - How WebAuthn Actually Works
Explore WebAuthn as a secure alternative to passwords, diving into its implementation, hardware token usage, and underlying cryptography for enhanced web authentication.
What Is Linux Kernel Keystore and Why You Should Use It in Your Next Application
Explore Linux Kernel Keystore's secure credential management for applications, integrating with security hardware and protecting secrets from memory vulnerabilities in cloud environments.
Demystifying eSIM Technology
Explore the complex world of eSIM technology, including protocols, cryptography, and business processes. Learn about eUICC, eSIM flavors, and network elements for a deeper understanding of this evolving cellular technology.
The Secrets of Cryptography
Explore historic codes and modern cryptography, including block and stream ciphers, public key systems, and secure communication techniques in hostile environments.
Grand Theft House - RF Lock Pick Tool to Unlock Smart Door Lock
Explore vulnerabilities in smart door locks using RF technology, analyzing secure rolling code algorithms and encryption standards to understand potential security threats in IoT devices.
The Android Security Jungle - Pitfalls, Threats & Survival Tips
Explore Android security threats, pitfalls, and essential survival tips for developers. Learn about encryption, SSL pinning, app integrity verification, and tools like ProGuard to enhance your app's security.
End-to-end Encryption in Cloud Services
Explore end-to-end encryption in cloud services, focusing on data security, key management, and authentication. Learn about challenges and solutions for protecting sensitive information in cloud environments.
How the Bitcoin Protocol Actually Works
Comprehensive technical exploration of Bitcoin's protocol, covering blockchain, cryptography, transactions, and network dynamics. Ideal for those seeking in-depth understanding of cryptocurrency fundamentals.
Privacy & Security, Policy & Technology
Explore privacy and security in the digital age, covering policy issues, current technologies, and practical solutions for developers to protect user data without compromising usability.
Cryptographic Implementations
Explore vulnerabilities in SHA-3, SHAKE, and EdDSA implementations, and learn about optimizations for Helib. Gain insights into cryptographic algorithm security and performance tradeoffs.
Tools for Privacy-Enhancing Technologies
Explore advanced privacy-enhancing technologies, including PAPR for anonymous credentials and unlinkable policy-based sanitizable signatures, presented by PhD researchers from leading universities.
Quantum Cryptanalysis
Explore quantum cryptanalysis techniques for elliptic curves, including concrete analysis via addition chains and security implications for VRFs through relative indifferentiability.
The Evolution of Threat Models for Secure Communication Products
Explore the evolution of threat models in secure communication, including end-to-end protocols, vendor security, and recent vulnerabilities like Efail, with PGP creator Phil Zimmermann.
How to Preserve Privacy on a Blockchain
Explore privacy preservation techniques for blockchain technology, including zero-knowledge proofs and homomorphic encryption, to enhance data protection while maintaining transparency and trust.