Real-World Snapshots vs. Theory - Questioning the t-Probing Security Model
Explore the limitations of the t-probing security model through real-world laser logic state imaging, examining its implications for configurable logic and image extraction.
The Evil Friend in Your Browser - Browser Extension Security Risks
Explore the hidden dangers of browser extensions, their security model limitations, and potential risks to user privacy. Learn about real-world analysis findings and discuss improved security measures.
Firefox OS Security Model and Design Considerations
Explore Firefox OS security model and design considerations with Mozilla's Security Assurance team lead. Learn about building a mobile OS using browser technologies.
Building a WebAssembly-first OS - An Adventure Into the Unorthodox
Explore the unconventional journey of creating a WebAssembly-first operating system, tackling unique challenges and reimagining fundamental OS concepts. Gain insights into innovative approaches to system architecture and security.
Fine-Grained Authorization with Relationship Based Access Control
Explore fine-grained authorization through relationship-based access control (ReBAC), offering practical solutions for complex permission scenarios beyond traditional role-based systems.
Generic Authenticated Key Exchange in the Quantum Random Oracle Model
Explores authenticated key exchange in quantum settings, addressing limitations of prior work and proposing a new security model for 2-move protocols in the Quantum Random Oracle Model.
Quantum Algorithms
Explore quantum algorithms for lattice-based cryptography, focusing on speedups, security models, and practical implications for cryptographic systems.
Public Key Cryptography I
Explore public key cryptography fundamentals, including motivation, system patterns, intuition, construction, security models, and noncommitting encryption techniques.
OHIE - Blockchain Scaling Made Simple
OHIE: A simple, scalable blockchain protocol that achieves high throughput by running parallel instances of Bitcoin's backbone, offering improved decentralization and linear scaling with available bandwidth.
Idealized Models in Cryptography - Session at Crypto 2022
Explore cutting-edge cryptographic concepts and idealized models in this advanced session from Crypto 2022, featuring expert discussions on theoretical frameworks.
Proving Capability Safety in the Presence of Indirect Sentries
Explore capability safety proofs with indirect sentries, advancing understanding of secure programming models and language design.
From a Workplace to a Workforce
Exploring pandemic-driven shifts in workplace security, this talk presents a model for protecting distributed workforce data and reducing organizational risk through adaptive access control.
Web Application Firewall Bypassing - DefCamp - 2016
Aprende técnicas avanzadas para evadir firewalls de aplicaciones web, incluyendo métodos de reconocimiento, explotación de discrepancias y bypass de reglas para pruebas de penetración efectivas.
BeyondCorp - Beyond "Fortress" Security
BeyondCorp: A new security model that grants access based on device and user credentials, eliminating the need for traditional VPNs and enabling secure work from any network.
An Inconvenient Trust - User Attitudes Toward Security and Usability Tradeoffs
Exploring user perspectives on encryption methods, balancing security and usability in digital communications. Insights from a study on key-exchange vs. key-directory models for everyday messaging.
The Internet of Us
Explore the evolving landscape of IoT security, challenging industry norms and emphasizing the need for new approaches to protect businesses and consumers in the interconnected world.
Multiple Handshakes Security of TLS 1.3 Candidates
Explores security aspects of TLS 1.3 candidates, focusing on multiple handshake protocols. Introduces a multi-level security model and proves the soundness of TLS 1.3 security design.
It Just -Net-works - The Truth About iOS 7's Multipeer Connectivity Framework
Explore iOS 7's Multipeer Connectivity Framework: network-level analysis, security model, threats, and real-world app implementation. Gain insights into peer-to-peer communication on iOS devices.
Keynote - The Declarative Future
Explore the future of cybersecurity with insights on containerization, declarative systems, and the psychology of app development. Learn about emerging trends and strategies for a more secure digital landscape.
Property Preserving Symmetric Encryption
Explore property preserving symmetric encryption, its security definitions, and constructions using pairings in composite order groups. Learn about new directions in this cryptographic field.
Unconditionally Secure Computation with Reduced Interaction
Explore unconditionally secure computation techniques, focusing on reduced interaction and improved efficiency for complex functions in cryptographic protocols.