KeY

Results: 94449



#Item
11Computing / Software engineering / Computer programming / Formal languages / Spreadsheet / Regular expression / Domain-specific language / Data transformation / Web scraping / String / Computer / Scheme

WebRelate: Integrating Web Data with Spreadsheets using Examples JEEVANA PRIYA INALA, MIT, USA RISHABH SINGH, Microsoft Research, USA Data integration between web sources and relational data is a key challenge faced by d

Add to Reading List

Source URL: rishabhmit.bitbucket.io

Language: English - Date: 2018-06-25 09:59:57
12

BlockPKI: An Automated, Resilient, and Transparent Public-Key Infrastructure Lukasz Dykcik Laurent Chuat

Add to Reading List

Source URL: www.netsec.ethz.ch

Language: English
    13Cryptocurrencies / Computing / Metaphysics / Information / Bitcoin / Blockchains / E-government / Digital identity

    Illinois Announces Key Partnership in Birth Registry Blockchain Pilot

    Add to Reading List

    Source URL: www.govtech.com

    Language: English - Date: 2018-10-25 17:21:17
    14Cryptography / Pyruvate dehydrogenase lipoamide kinase isozyme 1 / Key management / Digital signature / Key

    Formal Analysis of Key Management APIs Graham Steel INRIA & LSV, ENS de Cachan 1/48

    Add to Reading List

    Source URL: dream.inf.ed.ac.uk

    Language: English - Date: 2010-08-26 04:16:26
    15Business intelligence / Metrics / Performance indicator / Performance management / Environmental policy / Database / Environmental statistics / Management / Sustainable Development Strategy in Canada / Eco-Management and Audit Scheme

    v. Annual Review of Key Environmental Impacts The following areas are where we will review our key environmental impact: 1. Aim to recycle a target of 75% of our office waste and minimise wastage of energy and resources.

    Add to Reading List

    Source URL: ninearchespress.com

    Language: English - Date: 2018-02-22 04:55:13
    16Cryptography / Public-key cryptography / Ciphertext indistinguishability / ID-based encryption / Chosen-plaintext attack / RSA / Ciphertext / Proxy re-encryption / Homomorphic encryption / XTR / Key encapsulation / Semantic security

    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
    17Algebra / Mathematics / Abstract algebra / Polynomials / Computer algebra / Multivariate cryptography / Algebraic geometry / Equations / Hidden Field Equations / Factorization / Quadratic function / Grbner basis

    Multivariate Public Key Cryptography Jintai Ding 1 2

    Add to Reading List

    Source URL: precision.moscito.org

    Language: English - Date: 2013-03-10 22:42:02
    18Cryptography / Computing / Internet / Internet protocols / Public-key cryptography / Transport Layer Security / Secure communication / Cryptographic protocols / QUIC / Transmission Control Protocol / Forward secrecy

    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
    19Ballot measures / Right to petition / Legal history / Direct democracy / Initiative / Political philosophy / Law / Buckley v. American Constitutional Law Foundation /  Inc.

    REFERENDUM PROCESS INFORMATION Wyoming Secretary of State’s Office Election Division This document summarizes key provisions of the referendum process in Wyoming. Refer to the Wyoming Constitution and statutes for appl

    Add to Reading List

    Source URL: soswy.state.wy.us

    Language: English - Date: 2015-07-23 10:28:29
    20Economy / Accounting / Business / Financial statements / Auditing / Financial capital / Balance sheet / International Financial Reporting Standards / Consolidated financial statement / Asset and liability management / Going concern / Debits and credits

    KGI Bank and Subsidiaries Consolidated Financial Statements for the Six Months Ended June 30, 2017 and 2016 and Independent Auditors’ Report Key audit matters for the consolidated financial statements of the Bank an

    Add to Reading List

    Source URL: www.kgibank.com

    Language: English - Date: 2017-09-30 02:00:52
    UPDATE