Practical Non-Malleable Codes from I-More Extractable Hash Functions
Explore practical non-malleable codes using I-more extractable hash functions, covering security, error correction, and applications in cryptography and data integrity.
Forward Secure Searchable Encryption
Presentation on Σoφoς, a forward secure searchable encryption scheme, discussing its design, security properties, and performance evaluation in comparison to existing solutions.
Order-Revealing Encryption - New Constructions, Applications, and Lower Bounds
Explore new constructions, applications, and lower bounds of Order-Revealing Encryption, focusing on encrypted data searching and range queries with enhanced security and performance.
POPE - Partial Order Preserving Encoding
Explore partial order preserving encoding for secure data management, covering introduction, space analysis, security considerations, and addressing audience questions.
FeatureSmith - Automatically Engineering Features for Malware Detection by Mining the Security Literature
Explore automated feature engineering for malware detection using security literature mining, enhancing detection accuracy and providing explainable results.
VoiceLive - A Phoneme Localization Based Liveness Detection for Voice Authentication on Smartphones
Innovative phoneme localization technique for voice authentication on smartphones, enhancing security against spoofing attacks through advanced speech analysis and microphone array technology.
CSPAutoGen - Black-box Enforcement of Content Security Policy upon Real-world Websites
Explore black-box enforcement of Content Security Policy on websites, covering deployment, training, rewriting, and evaluation of CSPAutoGen for enhanced web security.
Measurement and Analysis of Private Key Sharing in the HTTPS Ecosystem
Explore HTTPS ecosystem's private key sharing practices, risks, and implications for web security. Learn detection methods and analysis of key sharing among domains and hosting providers.
A Software Approach to Defeating Side Channels in Last-Level Caches
Explore techniques to mitigate side-channel attacks in last-level caches, focusing on Copy-On-Access and Cacheability Management methods for enhanced cloud security.
On Code Execution Tracking via Power Side-Channel
Explore power side-channel analysis for code execution tracking in embedded systems, covering key extraction attacks, control flow integrity, and Hidden Markov Models for security applications.
Covert Channels through Random Number Generator - Mechanisms, Capacity Estimation and Mitigations
Explore covert channels in random number generators, their mechanisms, capacity estimation, and mitigation strategies for enhanced computer security.
C-FLAT - Control-Flow Attestation for Embedded Systems Software
Control-flow attestation for embedded systems: detect runtime attacks, ensure software integrity. Novel approach combines remote attestation with control-flow monitoring for enhanced security in IoT devices.
ΛОλ - Functional Lattice Cryptography
Explore functional lattice cryptography, focusing on cyclotomic rings and FHE implementations. Learn about performance improvements and a compiler for homomorphic evaluation.
Efficient Batched Oblivious PRF with Applications to Private Set Intersection
Explores efficient batched oblivious PRF for private set intersection, presenting novel protocols and discussing security implications and comparisons with existing methods.
MASCOT - Faster Malicious Arithmetic Secure Computation with Oblivious Transfer
Explore advanced techniques for secure multiparty computation, focusing on oblivious transfer and authentication methods to enhance efficiency and security in distributed computing.
A Framework for Prototyping Applications Using Multilinear Maps and Matrix Branching Programs
Explore a novel framework for prototyping applications using multilinear maps and matrix branching programs, focusing on optimizations, cryptographic techniques, and performance improvements in program obfuscation.
Garbling Gadgets for Boolean and Arithmetic Circuits
Explore innovative garbling techniques for Boolean and arithmetic circuits, enhancing cryptographic protocols and secure computation methods.
Optimizing Semi-Honest Secure Multiparty Computation for the Internet
Optimizing secure multiparty computation for internet use, focusing on efficiency improvements in BMR protocol and OT-based methods for honest-minority settings.
Alternative Implementations of Secure Real Numbers
Explore alternative implementations of secure real numbers, including golden section numbers and logarithmic floats, with benchmarks for various operations in secure computation outsourcing.
The New Geopolitics of Energy
Explore global energy dynamics, geopolitical implications, and future challenges with experts discussing current crises, long-term security, and critical resource management.
Turning the Titanic - Is the U.S. Military Innovating Enough?
Experts discuss U.S. military innovation, addressing technological advancements, procurement reform, and global challenges. Insights on adapting to modern warfare and maintaining strategic advantage.