В каталог

    Cryptography

    4 060 курсов
    vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases
    IEEE Symposium on Security and Privacy

    vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases

    A Framework for Universally Composable Diffie-Hellman Key Exchange
    IEEE Symposium on Security and Privacy

    A Framework for Universally Composable Diffie-Hellman Key Exchange

    Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate
    IEEE Symposium on Security and Privacy

    Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate

    Turning a PKI Around with Decentralized Automated Incentives
    IEEE Symposium on Security and Privacy

    Turning a PKI Around with Decentralized Automated Incentives

    Cryptographically Protected Database Search
    IEEE Symposium on Security and Privacy

    Cryptographically Protected Database Search

    New Primitives for Actively-Secure MPC over Rings with Applications to Private Machine Learning
    IEEE Symposium on Security and Privacy

    New Primitives for Actively-Secure MPC over Rings with Applications to Private Machine Learning

    Spectre Attacks Exploiting Speculative Execution
    IEEE Symposium on Security and Privacy

    Spectre Attacks Exploiting Speculative Execution

    CaSE- Cache-Assisted Secure Execution on ARM Processors
    IEEE Symposium on Security and Privacy

    CaSE- Cache-Assisted Secure Execution on ARM Processors

    Keeping Authorities "Honest or Bust" with Decentralized Witness Cosigning
    IEEE Symposium on Security and Privacy

    Keeping Authorities "Honest or Bust" with Decentralized Witness Cosigning

    ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data
    IEEE Symposium on Security and Privacy

    ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data

    Forward Secure Asynchronous Messaging from Puncturable Encryption
    IEEE Symposium on Security and Privacy

    Forward Secure Asynchronous Messaging from Puncturable Encryption

    ZeeStar - Private Smart Contracts by Homomorphic Encryption and Zero-Knowledge Proofs
    IEEE Symposium on Security and Privacy

    ZeeStar - Private Smart Contracts by Homomorphic Encryption and Zero-Knowledge Proofs

    Sabre- Sender-Anonymous Messaging with Fast Audits
    IEEE Symposium on Security and Privacy

    Sabre- Sender-Anonymous Messaging with Fast Audits

    MatRiCT+: More Efficient Post-Quantum Private Blockchain Payments
    IEEE Symposium on Security and Privacy

    MatRiCT+: More Efficient Post-Quantum Private Blockchain Payments

    Private Nearest Neighbor Search with Sublinear Communication and Malicious Security
    IEEE Symposium on Security and Privacy

    Private Nearest Neighbor Search with Sublinear Communication and Malicious Security

    SecFloat- Accurate Floating-Point Meets Secure 2-Party Computation
    IEEE

    SecFloat- Accurate Floating-Point Meets Secure 2-Party Computation

    Four Attacks and a Proof for Telegram
    IEEE

    Four Attacks and a Proof for Telegram

    Post-Quantum WireGuard
    IEEE

    Post-Quantum WireGuard

    Did You Mix Me? Formally Verifying Verifiable Mix Nets in Electronic Voting
    IEEE

    Did You Mix Me? Formally Verifying Verifiable Mix Nets in Electronic Voting

    Keep the Dirt- Tainted TreeKEM, Adaptively and Actively Secure Continuous Group Key Agreement
    IEEE

    Keep the Dirt- Tainted TreeKEM, Adaptively and Actively Secure Continuous Group Key Agreement

    Epochal Signatures for Deniable Group Chats
    IEEE

    Epochal Signatures for Deniable Group Chats