The Power and Limitations of Self-Testing in Quantum Computing
Explore quantum self-testing's theoretical foundations, examining its capabilities and constraints in characterizing measurements and states through classical output probabilities in nonlocal games.
On the Necessity of Collapsing for Post-Quantum and Quantum Commitments
Delve into quantum cryptography fundamentals through an award-winning exploration of collapse binding and post-quantum commitments, examining their necessity and implications for quantum security protocols.
Sécuriser les Secrets Clients avec Barbican et des HSM
Découvrez comment sécuriser efficacement les secrets clients en utilisant Barbican et les modules HSM pour le chiffrement des volumes et vTPM dans un environnement OpenStack.
Управление TLS-сертификатами в инфраструктуре Kubernetes
Узнайте практические подходы к управлению TLS-сертификатами в Kubernetes, включая инструменты, безопасность и реальные кейсы от СберМаркет для эффективной работы с инфраструктурой.
Introduction to IEEE Security in Storage Working Group Standards and Applications
Discover the IEEE Security in Storage Working Group's role in developing critical standards for storage sanitization, encryption, and authentication, plus opportunities for industry participation.
Exposure Notifications Private Analytics System - Design and Implementation
Discover how the Exposure Notifications Private Analytics system enables health authorities to gather crucial epidemiological metrics while maintaining privacy and data protection standards.
Monitoring Java Application Security with JDK Tools and JFR Events
Utilize JDK tools and JFR Events to monitor Java application security, record properties, analyze TLS protocols, and inspect X.509 certificates.
Enabling Hardware Security Modules for Confidential Computing - Lecture
Explore secure integration of Hardware Security Modules with Confidential Computing, addressing challenges and showcasing IBM's solution for Linux KVM guests.
Hiding Attestation with Linux Keyring in Confidential Virtual Machines
Explore confidential computing and Linux Keyring to hide attestation details in trusted execution environments. Learn techniques for seamless adoption and secure secret management.
Extending Confidentiality to Data Storage
Explore confidential computing techniques for securing data storage, enhancing privacy protection in cloud environments and distributed systems.
LURK: Lambda, the Ultimate Recursive Knowledge - A LISP-Based Language for zk-SNARKs
Explore Lurk, a LISP-based language for zk-SNARKs, enabling Turing-complete zero-knowledge proofs. Learn about its design, theory, and innovative content addressing approach for efficient programming.
Under-approximation for Scalable Bug Detection
Explore under-approximation techniques for efficient bug detection in large codebases. Learn about Incorrectness Logic, ISL, and Pulse-X for scalable, compositional program analysis and memory safety error detection.
An Enigma Machine in Elm
Explore the Enigma machine's encryption process through an Elm implementation. Learn its workings, weaknesses, and historical significance in WW2 codebreaking efforts.
Breaking Enigma with the Power of Modern C++
Explore Enigma machine encryption cracking using modern C++ and multicore CPUs. Learn historical context and benchmark performance of contemporary cryptanalysis techniques.
Unleashing the Power of Quantum Computing - Theory and Practical Applications
Explore quantum computing fundamentals, algorithms, applications, and future prospects. Gain insights into hardware, software, and practical implementations of this revolutionary technology.
Keeping Kubernetes Secrets Secret - Strategies and Best Practices
Explore Kubernetes secrets management techniques, including GitOps, sealed secrets, external secrets, and Vault integration. Learn best practices for securing sensitive data in containerized environments.
Python Security Best Practices Against Vulnerabilities
Fortify Python applications against vulnerabilities with best practices in secure coding, authentication, encryption, and emerging threat mitigation. Gain practical insights through demos and tool recommendations.
Confidential Computing - New Capabilities for New Workloads
Explore Confidential Computing's potential for secure, collaborative applications using hardware-based security and cryptography. Learn about Gen AI, Web3, and multi-party computation applications.
Privacy-Preserving Machine Learning: Strategies and Tools
Explore privacy-preserving machine learning tools and strategies through practical examples, considering risk, implementation complexity, and computational resources.
Open Source Privacy Preserving Inference in Medical Imaging
Explore privacy-preserving machine learning in healthcare, focusing on secure prediction-as-a-service and model testing. Learn about CrypTFlow, a system for compiling TensorFlow/ONNX to secure computation protocols.
Privacy-Preserving Machine Learning
Explore strategic approaches to privacy-preserving machine learning, including federated learning, encryption, and differential privacy, with practical examples and risk considerations.