Anonymous

Results: 6203



#Item
1Cryptography / Computer security / Trusted computing / Cryptographic software / Direct Anonymous Attestation / Trusted Platform Module / Digital signature / Secure multi-party computation / Universal composability / Privacy

Anonymous Attestation with Subverted TPMs ? Jan Camenisch1 , Manu Drijvers1,2 , and Anja Lehmann1 1

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2017-06-28 10:54:34
2Mathematics / Theoretical computer science / Applied mathematics / Logic in computer science / Formal methods / Computational neuroscience / Artificial neural networks / Proof assistants / Entropy / Coq / N-gram / Recurrent neural network

Language Models for Proofs Anonymous Author(s) ABSTRACT Proofs play a key role in reasoning about programs and verification of properties of systems. Mechanized proof assistants help users in developing proofs and checki

Add to Reading List

Source URL: web.cs.ucdavis.edu

Language: English - Date: 2018-10-22 12:57:37
3

Do You See What I See? Differential Treatment of Anonymous Users Sheharbano Khattak (University of Cambridge)! David Fifield (UC Berkeley) Sadia Afroz (ICSI)

Add to Reading List

Source URL: sheharbano.com

- Date: 2017-02-16 07:59:03
    4Cryptography / Public-key cryptography / Cryptographic protocols / Identity-based cryptography / ID-based encryption / Functional encryption / Garbled circuit / Encryption / Secure multi-party computation / Attribute-based encryption / RSA / Chosen-ciphertext attack

    Anonymous IBE, Leakage Resilience and Circular Security from New Assumptions Zvika Brakerski∗ Alex Lombardi†

    Add to Reading List

    Source URL: eprint.iacr.org

    Language: English - Date: 2017-10-01 05:36:24
    5Mathematics / Abstract algebra / Algebra / Cryptography / Digital signature / Model theory / Parity of a permutation / Proof of knowledge / Semigroup action

    Malleable Signatures: New Definitions and Delegatable Anonymous Credentials Melissa Chase Markulf Kohlweiss

    Add to Reading List

    Source URL: smeiklej.com

    Language: English - Date: 2018-10-23 14:58:02
    6

    Do You See What I See? Differential Treatment of Anonymous Users Sheharbano Khattak? , David Fifield† , Sadia Afroz† , Mobin Javed† Srikanth Sundaresan‡ , Vern Paxson‡† , Steven J. Murdoch- , Damon McCoy‡ o

    Add to Reading List

    Source URL: sheharbano.com

    Language: English - Date: 2017-02-16 07:58:26
      7Cryptography / Public-key cryptography / Digital signature / Ring signature / Group signature / Pseudorandom function family / Commitment scheme / Random oracle / Secure multi-party computation

      ANONIZE: A Large-Scale Anonymous Survey System Susan Hohenberger Johns Hopkins University Steven Myers

      Add to Reading List

      Source URL: eprint.iacr.org

      Language: English - Date: 2015-07-06 21:10:31
      8Distributed data storage / Computing / Concurrent computing / Distributed computing / File sharing networks / File sharing / Beta software / Cross-platform software / Freenet / Peer-to-peer / Gnutella / Trie

      Freenet: A Distributed Anonymous Information Storage and Retrieval System Ian Clarke1 , Oskar Sandberg2 , Brandon Wiley3 , and Theodore W. Hong4? 1 4

      Add to Reading List

      Source URL: ericw.us

      Language: English - Date: 2017-08-24 21:07:11
      9Cryptography / Computer security / Direct Anonymous Attestation / Trusted Computing / Trusted Platform Module / Digital signature / Universal composability / Public-key cryptography / SUF

      Universally Composable Direct Anonymous Attestation? Jan Camenisch1 , Manu Drijvers1,2 , and Anja Lehmann1 1 2

      Add to Reading List

      Source URL: eprint.iacr.org

      Language: English - Date: 2016-06-10 07:58:18
      10Cryptography / Computer security / Direct Anonymous Attestation / Trusted Platform Module / Trusted Computing Group / Trusted Computing / Proof of knowledge / FiatShamir heuristic / Non-interactive zero-knowledge proof / Zero-knowledge proof

      One TPM to Bind Them All: Fixing TPM 2.0 for Provably Secure Anonymous Attestation Jan Camenisch1 , Liqun Chen2 , Manu Drijvers1,3 , Anja Lehmann1 , David Novick4 , and Rainer Urian5 1 IBM Research – Zurich

      Add to Reading List

      Source URL: eprint.iacr.org

      Language: English - Date: 2017-06-28 09:41:56
      UPDATE