David - PDFSEARCH.IO - Document Search Engine

David
Results: 76632

#	Item
41	Bloom Filter Encryption and Applications to Efficient Forward-Secret 0-RTT Key Exchange David Derler1 , Kai Gellert2 , Tibor Jager2 , Daniel Slamanig3 , and Christoph Striecks3 1 Graz University of Technology Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2018-03-27 10:44:26 Cryptography Public-key cryptography Ciphertext indistinguishability ID-based encryption Chosen-plaintext attack RSA Ciphertext Proxy re-encryption Homomorphic encryption XTR Key encapsulation Semantic security
42	Measuring small subgroup attacks against Diffie-Hellman Luke Valenta∗ , David Adrian† , Antonio Sanso‡ , Shaanan Cohney∗ , Joshua Fried∗ , Marcella Hastings∗ , J. Alex Halderman† , Nadia Heninger∗ ∗ Uni Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2017-09-13 08:39:05 Cryptography Algebra Abstract algebra Group theory Computational hardness assumptions DiffieHellman key exchange Cyclic group Logjam Generating set of a group Subgroup Whitfield Diffie Computational DiffieHellman assumption
43	Network Traffic Characteristics of Data Centers in the Wild Theophilus Benson∗ , Aditya Akella∗ and David A. Maltz† ∗ University of Wisconsin–Madison † Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2010-09-09 17:24:49
44	V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay Add to Reading List Source URL: mebsout.github.io Language: French - Date: 2017-07-21 11:03:15
45	die datenschleuder. das wissenschaftliche fachblatt für datenreisende ein organ des chaos computer club Pragmatismus in Thailand: GSM-Basisstation mit Palmenantenne. Photo aufgenommen von David Bank auf Koh Phi-Phi / Th Add to Reading List Source URL: ds.ccc.de Language: German - Date: 2006-07-04 19:23:06
46	PRISM: Probabilistic Model Checking for Performance and Reliability Analysis Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD {marta. Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-12-15 10:57:28 Markov processes Probability Markov models Model checkers PRISM model checker Model checking Markov reward model Markov chain Markov decision process Probabilistic CTL Prism
47	Advances and Challenges of Probabilistic Model Checking Marta Kwiatkowska Gethin Norman David Parker Computing Laboratory Department of Computing Science Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2011-12-22 18:19:34 Statistical randomness Temporal logic Theoretical computer science Probability Markov models Model checkers Markov processes Model checking PRISM model checker Markov decision process Linear temporal logic Computation tree logic
48	CLARK COUNTY BOARD OF ELECTIONS Board Members  Sue DeVoe Allen, Chairperson  Lynda Smith  David Hartley  John Pickarski Director  Jason Baker Deputy Director  Amber Lopez May 25, 2017 The Board will hol Add to Reading List Source URL: clark.ohioboe.com - Date: 2017-05-31 15:57:59
49	Bloom Filter Encryption and Applications to Efficient Forward-Secret 0-RTT Key Exchange David Derler‡ , Tibor Jagerk , Daniel Slamanig§ , Christoph Striecks§ May 3, 2018—Eurocrypt 2018, Tel Aviv, Israel Add to Reading List Source URL: david.derler.info Language: English - Date: 2018-10-15 14:18:42 Cryptography Computing Internet Internet protocols Public-key cryptography Transport Layer Security Secure communication Cryptographic protocols QUIC Transmission Control Protocol Forward secrecy
50	CLARK COUNTY BOARD OF ELECTIONS Board Members  Sue DeVoe Allen, Chairperson  Lynda Smith  David Hartley  John Pickarski Director  Jason Baker Deputy Director  Amber Lopez January 18, 2018 The Board will Add to Reading List Source URL: clark.ohioboe.com - Date: 2018-08-15 15:32:59