Daniel - PDFSEARCH.IO - Document Search Engine

Daniel
Results: 24996

#	Item
41	A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2018-10-23 12:14:23 Computer programming Software engineering Type theory Computing Functional programming Adjoint functors Monad HindleyMilner type system Variety Redblack tree List
42	Johann Daniel Hirter Johann Daniel Hirter Add to Reading List Source URL: www.snb.ch Language: English Johann Hirter Swiss National Bank Canton of Bern Europe Rudolf Joder
43	A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2018-10-23 12:14:23 Computer programming Software engineering Type theory Computing Functional programming Adjoint functors Monad HindleyMilner type system Variety Redblack tree List
44	MHDeS: Deduplicating Method Handle Graphs for Efficient Dynamic JVM Language Implementations Shijie Xu and David Bremner Daniel Heidinga Add to Reading List Source URL: xushijie.github.io Language: English - Date: 2018-09-18 22:05:07 High German languages Middle High German MHG Equivalence relation Just-in-time compilation
45	A Framework for Universally Composable Diffie-Hellman Key Exchange Ralf K¨usters and Daniel Rausch University of Stuttgart Stuttgart, Germany Email: {ralf.kuesters, daniel.rausch}@informatik.uni-stuttgart.de Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 15:55:11 Cryptography Public-key cryptography Cryptographic protocols Key management Public key infrastructure DiffieHellman key exchange Key exchange Forward secrecy RSA Secure channel XTR Digital signature
46	Innovation Radar: Identifying Innovations and Innovators with High Potential in ICT FP7, CIP & H2020 Projects Authors: Giuditta De Prato, Daniel Nepelski, Giuseppe Piroli Add to Reading List Source URL: publications.jrc.ec.europa.eu Language: English - Date: 2016-03-02 22:34:00 European Union Science and technology in Europe Innovation Economy of Europe Product management Design Directorate General for Communications Networks Content and Technology Competitiveness and Innovation Framework Programme Framework Programmes for Research and Technological Development Institute for Prospective Technological Studies
47	ECDH Key-Extraction via Low-Bandwidth Electromagnetic Attacks on PCs Daniel Genkin Lev Pachmanov Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2017-08-28 18:17:48 Cryptography Elliptic curve cryptography Finite fields Cryptographic software OpenPGP Public-key cryptography Electromagnetic attack GNU Privacy Guard Elliptic-curve cryptography Libgcrypt RSA Elliptic-curve DiffieHellman
48	Poster: Can Johnny Authenticate? Elham Vaziripour, Ray Clinton, Justin Wu, Mark O’Neill, Jordan Whitehead, Scott Heidbrink, Kent Seamons, Daniel Zappala Computer Science Department, Brigham Young University elhamvaziri Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-15 03:43:28 Software Computing Computer-mediated communication Instant messaging clients Social media Videotelephony Computer access control Cross-platform software Signal WhatsApp Instant messaging Authentication
49	Meltdown: Reading Kernel Memory from User Space Moritz Lipp1 , Michael Schwarz1 , Daniel Gruss1 , Thomas Prescher2 , Werner Haas2 , Anders Fogh3 , Jann Horn4 , Stefan Mangard1 , Paul Kocher5 , Daniel Genkin6,9 , Yuval Ya Add to Reading List Source URL: mlq.me Language: English - Date: 2018-08-17 12:03:32 Computer architecture Computing Computer hardware Central processing unit X86 architecture Computer memory Side-channel attacks Virtual memory Translation lookaside buffer CPU cache Meltdown Spectre
50	Vite: A High Performance Asynchronous Decentralized Application Platform Chunming Liu Daniel Wang Add to Reading List Source URL: www.vite.org Language: English Cryptocurrencies Computing Transaction processing Data management Data Blockchains Alternative currencies Ethereum Proof-of-stake Bitcoin ACID Ledger

UPDATE