Time-memory Trade-offs for Near-collisions Ga¨etan Leurent UCL Crypto Group Abstract. In this work we consider generic algorithms to find nearcollisions for a hash function. If we consider o

Source URL: who.rocq.inria.fr

• Search algorithms
• Information retrieval
• Information science
• Cryptography
• Hashing
• Cryptographic hash functions
• Error detection and correction
• Hash function
• Hash table
• Hopf decomposition
• Compound of twelve pentagonal antiprisms with rotational freedom

A Versatile, Sound Tool for Simplifying Definitions Alessandro Coglio Matt Kaufmann Kestrel Institute

Source URL: www.kestrel.edu

• Computer programming
• Software engineering
• Computing
• Lisp
• Functional languages
• Subroutines
• Programming languages
• Data types
• Functional programming
• Defun
• ACL2
• Cons

A Parallel Identification Protocol for RFID Systems Linghe Kong∗† , Liang He∗ , Yu Gu∗ , Min-You Wu† , Tian He‡ ∗ Singapore University of Technology and Design, Singapore † Shanghai Jiao Tong University,

Source URL: wirelesslab.sjtu.edu.cn

• Radio-frequency identification
• Automatic identification and data capture
• Privacy
• Ubiquitous computing
• Wireless
• Mobile RFID
• SAM
• Computing
• Technology
• Data

DYNAMIC SYNC-PROGRAMS FOR MODULAR VERIFICATION OF BIOLOGICAL SYSTEMS Peter Dr´abik, Andrea Maggiolo-Schettini and Paolo Milazzo Dipartimento di Informatica, Universit`a di Pisa

Source URL: pages.di.unipi.it

• Models of computation
• Concurrency
• Computing
• Formal methods
• Diagrams
• Petri net
• Finite automata
• Model checking
• Analog television
• Finite-state machine
• Actor model
• Information and communications technology

What to Look for When Choosing a CDN for DDoS Protection Written by Bizety Introduction WHITE PAPER

Source URL: www.fastly.com

• Computing
• Cyberwarfare
• Concurrent computing
• Computer security
• Computer network security
• Denial-of-service attacks
• DDoS mitigation
• System administration
• Denial-of-service attack
• Content delivery network
• High Orbit Ion Cannon
• Botnet

OpenRec: A Modular Framework for Extensible and Adaptable Recommendation Algorithms

Source URL: www.cs.cornell.edu

Registration Form for IROS 2018 Autonomous Drone Racing in City of Theed Madrid Arena Team title: YOUR TEAM NAME

Source URL: ris.skku.edu

• Unmanned aerial vehicles
• Air racing
• Robotics
• Drone racing
• Drone
• Technology
• Electronics
• Control engineering

What kind of growth to expect from Emerging Markets? Emerging Markets (EM) have been experiencing strong growth levels for a long period. In recent periods, however, growth in EM has come into question. Specific issues i

Source URL: www.fundexpertsforum.com

• Economy
• Finance
• Money
• Investment management
• Investment
• International development
• Economic geography
• Emerging market
• Portfolio manager
• Nordea

C2E2: A Verification Tool For Stateflow Models Parasara Sridhar Duggirala1 , Sayan Mitra2 , Mahesh Viswanathan1 , and Matthew Potok2 1 2

Source URL: publish.illinois.edu

• Systems theory
• Differential equations
• Metaphysics
• Control theory
• Hybrid system
• Mathematical analysis
• Dynamical system
• Mathematics
• Symbol
• Hybrid automaton

Stweeler: A Framework for Twitter Bot Analysis Zafar Gilani, Liang Wang, Jon Crowcroft University of Cambridge {szuhg2, lw525, jac22}

Source URL: gdac.uqam.ca

• Bots
• Software
• Computing
• Digital media
• Twitter bot
• Twitter
• Internet bot
• Social media
• Video game bot
• Spambot
• Botnet
• CongressEdits