Antoine - PDFSEARCH.IO - Document Search Engine

Antoine
Results: 2264

#	Item
1	Reading Wikipedia to Answer Open-Domain Questions Adam Fisch, Jason Weston & Antoine Bordes Danqi Chen∗ Facebook AI Research Computer Science 770 Broadway Add to Reading List Source URL: arxiv.org Language: English - Date: 2017-04-30 21:08:35 Computational linguistics Artificial intelligence Linguistics Computational science Question answering Semantic parsing Training test and validation sets Cyc Artificial neural network Reading comprehension Named-entity recognition Wikipedia
2	Language-based Defenses against Untrusted Browser Origins Karthikeyan Bhargavan INRIA Paris-Rocquencourt Antoine Delignat-Lavaud INRIA Paris-Rocquencourt Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2018-02-20 10:22:48
3	Implementing and Proving the TLS 1.3 Record Layer Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin Microsoft Research {antdl,fournet Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 15:58:36 Cryptography Secure communication Message authentication codes Transport Layer Security Cryptographic protocols Internet Standards Cipher suite Authenticated encryption Poly1305 Galois/Counter Mode OpenSSL Key generation
4	Language-based Defenses against Untrusted Browser Origins Karthikeyan Bhargavan INRIA Paris-Rocquencourt Antoine Delignat-Lavaud INRIA Paris-Rocquencourt Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2014-01-06 10:00:12 Computing Computer security Software engineering Computer access control Cloud standards Hacking Computer network security Web development JavaScript HTTP cookie Cross-site scripting Cross-site request forgery
5	Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage Chetan Bansal1 , Karthikeyan Bhargavan2, Antoine Delignat-Lavaud2 , and Sergio Maﬀeis3, 1 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2013-01-25 08:24:32 Cryptography Computing Secure communication Cryptographic software Cryptographic protocols Transport Layer Security Internet Standards HTTPS Password Public-key cryptography Client-side Key
6	Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-25 00:49:18 Computer architecture Computing System software Disk file systems C POSIX library System calls Application programming interfaces Ext4 Sync POSIX Ext3 File system
7	Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-21 17:45:05 Computer architecture System software Computing Disk file systems Ext4 Ext3 Sync File system Btrfs XFS Inode File locking
8	IOV: a Blockchain Communication System DecemberFebruary 2018 Antoine Herzoga , Serge Karim Ganemb , Isabella Dellc , and Florin Dzeladinid a ; b ; c ; d Add to Reading List Source URL: raw.githubusercontent.com Language: English Cryptocurrencies Blockchains Concurrent computing Distributed computing Alternative currencies Computing Decentralization Cross-platform software Ethereum Lisk RootStock Smart contract
9	PDF Document Add to Reading List Source URL: antoine.delignat-lavaud.fr - Date: 2016-12-30 06:46:40
10	PDF Document Add to Reading List Source URL: antoine.delignat-lavaud.fr - Date: 2017-03-17 11:53:56