Institute

Results: 275473



#Item
81Concurrent computing / Computer network security / Multi-agent systems / Spamming / Computing / Cybercrime / Distributed computing / Malware / Botnet / Peer-to-peer / Social peer-to-peer processes

Poster: A Reputation-Based Resilient P2P Botnet Jie Yin1,2, Xiang Cui1,2, Ke Li3 1 2 Institute of Information Engineering, Chinese Academy of Sciences

Add to Reading List

Source URL: www.ieee-security.org

Language: English - Date: 2017-05-12 09:17:38
82Cryptography / Post-quantum cryptography / Lattice-based cryptography / Computational hardness assumptions / Lie groups / Ring learning with errors / Learning with errors / Lattice / Homomorphic encryption / Order / Entropy / Ring learning with errors key exchange

Order-LWE and the Hardness of Ring-LWE with Entropic Secrets Zvika Brakerski Renen Perlman Weizmann Institute of Science∗ Abstract

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2018-05-21 15:18:19
83Metaphysics / Data types / Search algorithms / Mathematics / Model checking / Tree / Information science / Abstraction / B-tree / Breadth-first search / Reachability / FO

Subsumer-First: Steering Symbolic Reachability Analysis Andrey Rybalchenko1 and Rishabh Singh2 1 Max Planck Institute for Software Systems (MPI-SWS)

Add to Reading List

Source URL: rishabhmit.bitbucket.io

Language: English - Date: 2018-06-25 09:59:57
84Geography of Europe / Geography of Romania / Politehnica University of Bucharest / Bucharest / Counties of Romania / Craiova

Venues Heliade Radulescu Amphitheatre, Romanian Academy Library, Calea Victoriei 125 INCDTP-ICPI, Strada Ion Minulescu 93 Organisers National R&D Institute for Textile and Leather (INCDTP),

Add to Reading List

Source URL: www.collage.com.ro

Language: English - Date: 2015-01-26 16:05:22
85Abstract algebra / Algebra / Mathematics / Category theory / Functors / Morphism / Category / Sheaf / Limit / Pushout / Cone / Diagram

Designware: Software Development by Re nement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA Abstract

Add to Reading List

Source URL: www.kestrel.edu

Language: English - Date: 2012-08-02 21:01:09
86

Call Arity Joachim Breitner Karlsruhe Institute of Technology Abstract

Add to Reading List

Source URL: www.joachim-breitner.de

Language: English - Date: 2014-10-06 15:51:37
    87Category theory / Abstract algebra / Algebra / Mathematics / Morphism / Category / Group action / Natural transformation / Limit / Subcategory / Functor / Universal property

    Guarded Transitions in Evolving Speci cations Dusko Pavlovic? and Douglas R. Smith?? Kestrel Institute, Palo Alto, CaliforniaUSA We represent state machines in the category of speci cations, where assignment state

    Add to Reading List

    Source URL: www.kestrel.edu

    Language: English - Date: 2012-08-02 20:51:33
    88Technology / Computing / World Wide Web / Social media / Internet vigilantism / Internet-based activism / Cyberspace / Internet culture / Online shaming / Twitter / Tweet / Hashtag

    Look Before You Shame: A Study on Shaming Activities on Twitter Rajesh Basak, Niloy Ganguly, Shamik Sural, Soumya K Ghosh Department of Computer Science & Engineering, Indian Institute of Technology Kharagpur Kharagpur,

    Add to Reading List

    Source URL: gdac.uqam.ca

    Language: English - Date: 2017-10-04 00:23:08
    89X86 architecture / X86-64 / Z3 / Computing / Computer hardware / Computer engineering

    Verifying Curve25519 Software Yu-Fang Chen1 , Chang-Hong Hsu2 , Hsin-Hung Lin3 , Peter Schwabe4 , Ming-Hsien Tsai1 , Bow-Yaw Wang1 , Bo-Yin Yang1 , and Shang-Yi Yang1 ? 1 Institute of Information Science

    Add to Reading List

    Source URL: precision.moscito.org

    Language: English - Date: 2014-12-08 15:41:25
    90Economy / Money / Monetary policy / Finance / Quantitative easing / Macroeconomics / Central bank / Interest rate

    HONG KONG INSTITUTE FOR MONETARY RESEARCH POLICY RULES IN TIMES OF PROLONGED CRISIS: QUANTITATIVE EASING ABROAD AND FISCAL ADJUSTMENT AT HOME Paul D. McNelis

    Add to Reading List

    Source URL: www.hkimr.org

    Language: English - Date: 2018-05-30 03:56:59
    UPDATE