
Explore verifiable SQL queries on outsourced databases with vSQL, a cryptographic protocol offering efficient verification and improved server performance compared to existing solutions.

Explore a framework for universally composable Diffie-Hellman key exchange, simplifying analysis of real-world protocols and reducing the need for complex reduction proofs in cryptographic security.

Comprehensive analysis of TLS 1.3 Draft-18, addressing security concerns, verifying computational security, and extending guarantees to implementations through symbolic and computational models.

Explore automated responses to unauthorized certificates and incentives for improved PKI security through blockchain-based consensus and smart contracts.

Exploration of cryptographically protected database search systems, analyzing primitive operations, current implementations, potential attacks, and future directions for enhancing data security and functionality.

Explore new primitives for secure multi-party computation over rings, with applications to private machine learning. Efficient protocols for equality test, comparison, and truncation are presented and benchmarked.

Explore speculative execution vulnerabilities in modern processors, their impact on system security, and potential countermeasures to protect against Spectre attacks.

Secure execution framework for ARM processors using TrustZone and Cache-as-RAM to protect sensitive applications against software attacks and cold boot attacks, with minimal performance impact.

Explore decentralized witness cosigning to enhance authority security, prevent undetected exploits, and ensure public scrutiny of authoritative statements through scalable collective signatures.

Explore privacy-preserving proofs on authenticated data, focusing on ADSNARK's improved efficiency in proof computation and storage for third-party verification without data access.

Explore forward secure encryption in messaging systems using puncturable encryption, allowing recipients to update decryption keys without sender communication. Practical implementation and performance analysis included.

Explore innovative privacy techniques for smart contracts using homomorphic encryption and zero-knowledge proofs, enhancing security and confidentiality in blockchain applications.

Explore sender-anonymous messaging with Sabre, featuring fast audits, secure multiparty computation, and distributed point functions. Learn about denial of service resistance and Sabre-M for express messaging.

Explore post-quantum blockchain privacy with MatRiCT+, featuring lattice-based cryptography, balance proofs, and innovative approaches for enhanced efficiency and security in digital payments.

Explore secure and efficient private nearest neighbor search techniques, focusing on sublinear communication and protection against malicious adversaries in two-party computation scenarios.

Explore SecFloat, a novel approach combining accurate floating-point arithmetic with secure two-party computation, enhancing privacy-preserving data analysis and machine learning.

Explore cryptographic vulnerabilities in Telegram's MTProto 2.0 protocol, including symmetric channel attacks, related key issues, and implementation flaws. Learn about security models and proofs for messaging apps.

Explore post-quantum cryptography in WireGuard, covering core handshake security, computational models, and key confidentiality for enhanced network protection.

Explore formal verification of mix nets in electronic voting, focusing on cryptographic properties, software independence, and machine-checked proofs for enhanced security and transparency.

Explore Tainted TreeKEM, an innovative approach to secure continuous group key agreement, offering adaptive and active security while maintaining efficiency.

Explore secure group chat protocols with epochal signatures, focusing on deniability, ephemeral keys, and hidden interactions for enhanced privacy and security.