Antoine

Results: 2264



#Item
1Computational 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

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
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
    3Cryptography / Secure communication / Message authentication codes / Transport Layer Security / Cryptographic protocols / Internet Standards / Cipher suite / Authenticated encryption / Poly1305 / Galois/Counter Mode / OpenSSL / Key generation

    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
    4Computing / 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

    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
    5Cryptography / Computing / Secure communication / Cryptographic software / Cryptographic protocols / Transport Layer Security / Internet Standards / HTTPS / Password / Public-key cryptography / Client-side / Key

    Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage Chetan Bansal1 , Karthikeyan Bhargavan2, Antoine Delignat-Lavaud2 , and Sergio Maffeis3, 1

    Add to Reading List

    Source URL: www.doc.ic.ac.uk

    Language: English - Date: 2013-01-25 08:24:32
    6Computer architecture / Computing / System software / Disk file systems / C POSIX library / System calls / Application programming interfaces / Ext4 / Sync / POSIX / Ext3 / File system

    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
    7Computer architecture / System software / Computing / Disk file systems / Ext4 / Ext3 / Sync / File system / Btrfs / XFS / Inode / File locking

    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
    8Cryptocurrencies / Blockchains / Concurrent computing / Distributed computing / Alternative currencies / Computing / Decentralization / Cross-platform software / Ethereum / Lisk / RootStock / Smart contract

    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
    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
        UPDATE