XTR

Results: 836



#Item
101Secret sharing / Secure two-party computation / RSA / XTR / Transmission Control Protocol / Public-key cryptography / Privacy / Cryptography / Cryptographic protocols / Secure multi-party computation

Secure Multiparty Computation and Secret Sharing - An Information Theoretic Appoach Ronald Cramer Ivan Damg˚ ard

Add to Reading List

Source URL: www.daimi.au.dk

Language: English - Date: 2012-12-31 05:19:12
102Finite fields / XTR / Modal logic / Coding theory / Vacuous truth / Exponential mechanism / Mathematics / Logic / Abstract algebra

Page 1 / 1 Edward Frenkel’s interview to the Brazilian newspaper Valor Econômico, Q: I am not going to lie to you: Math was not my favorite class in school. I thought it was too abstract and, later on, it w

Add to Reading List

Source URL: math.berkeley.edu

Language: English - Date: 2015-04-11 14:55:24
103XTR / Secure multi-party computation / Alice and Bob / Diffie–Hellman key exchange / Public-key cryptography / PP / X Window System / Commitment scheme / Cryptography / Cryptographic protocols / Oblivious transfer

One-Round Secure Computation and Secure Autonomous Mobile Agents (Extended Abstract) Christian Cachin1 , Jan Camenisch1 , Joe Kilian2 , and Joy M¨ uller1 Abstract. This paper investigates one-round secure computation be

Add to Reading List

Source URL: www.zurich.ibm.com

Language: English - Date: 2000-04-12 11:39:28
104RSA / Optimal asymmetric encryption padding / Denotational semantics / ElGamal encryption / Cryptographic hash function / Random oracle / XTR / Function / Digital signature / Cryptography / Public-key cryptography / Ciphertext indistinguishability

Formal certification of ElGamal encryption A gentle introduction to CertiCrypt ⋆ Gilles Barthe1 , Benjamin Gr´egoire2,3, Sylvain Heraud3 , and

Add to Reading List

Source URL: software.imdea.org

Language: English - Date: 2013-03-13 12:33:24
105Algebra / Zero-knowledge proof / Proof of knowledge / XTR / IP / Weight / Cryptography / Cryptographic protocols / Abstract algebra

Thinking Inside the BLAC Box:* Smarter Protocols for Faster Anonymous Blacklisting Ryan Henry Ian Goldberg

Add to Reading List

Source URL: www.cypherpunks.ca

Language: English - Date: 2013-09-04 10:18:33
106Function / XTR / Computability theory / Model theory / Μ operator / Primitive recursive function / Mathematics / Mathematical logic / Functions and mappings

Formal Certification of Code-Based Cryptographic Proofs Gilles Barthe1,2 Benjamin Gr´egoire1,3 Santiago Zanella1,3

Add to Reading List

Source URL: certicrypt.gforge.inria.fr

Language: English - Date: 2013-06-17 13:32:36
107Randomized algorithm / XTR / Applied mathematics / Mathematics / Theoretical computer science / Analysis of algorithms / Probabilistic complexity theory

Randomized Distributed Decision Pierre Fraigniaud1 , Amos Korman1? , Merav Parter2 , and David Peleg2?? 1 CNRS and University Paris Diderot, France . {pierre.fraigniaud,amos.korman}@liafa.jussieu.fr

Add to Reading List

Source URL: www.liafa.jussieu.fr

Language: English - Date: 2012-10-01 06:03:40
108Palette / Graphics Interchange Format / XTR / Lucas–Lehmer primality test / Steganography / Graphics file formats / Computing

Higher-order statistical steganalysis of palette images Jessica Fridrich*a, Miroslav Goljana, David Soukalb Department of Electrical and Computer Engineering, bDepartment of Computer Science, SUNY Binghamton, Binghamton,

Add to Reading List

Source URL: www.ws.binghamton.edu

Language: English - Date: 2006-04-26 08:10:36
109NP-complete problems / Network flow / Operations research / Probabilistic complexity theory / Randomized algorithm / Modular decomposition / Dominating set / Flow network / XTR / Theoretical computer science / Mathematics / Graph theory

Local Distributed Decision∗ Pierre Fraigniaud† Amos Korman† David Peleg‡

Add to Reading List

Source URL: www.liafa.jussieu.fr

Language: English - Date: 2011-10-30 17:16:12
110Applied mathematics / Proof of knowledge / Zero-knowledge proof / IP / Communications protocol / Vehicle Identification Number / Formal verification / NP / XTR / Theoretical computer science / Cryptography / Cryptographic protocols

Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols José Bacelar Almeida Manuel Barbosa

Add to Reading List

Source URL: certicrypt.gforge.inria.fr

Language: English - Date: 2013-06-17 13:32:36
UPDATE