Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi

Source URL: qav.comlab.ox.ac.uk

• Markov processes
• Game theory
• Strategy
• Stochastic game
• Markov decision process
• Probability and statistics
• Probability
• Computability theory

Poster: Identify and Track Web Attacker Based on Deceptive Technology and Browser Fingerprint Heyang Lv1 Binxing Fang2 Xiang Cui3,4 1 Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China

Source URL: www.ieee-security.org

• Computing
• Fingerprinting algorithms
• Cryptography
• Identification
• Internet privacy
• Biometrics
• Computer network security
• Device fingerprint
• Internet fraud
• Public key fingerprint
• Fingerprint
• Tor

“A Stalker’s Paradise”: How Intimate Partner Abusers Exploit Technology Diana Freed† Jackeline Palmer‡ Diana MinchalaΨ Karen LevyΦ Thomas Ristenpart† Nicola Dell† † Cornell Tech

Source URL: rist.tech.cornell.edu

• Abuse
• Human behavior
• Behavior
• Crime
• Domestic violence
• Intimate partner violence
• Restraining order
• Spyware
• Cyberbullying
• Stalking

GS_Coverage by technology.eps

Source URL: www.glasfasernetz-schweiz.ch

Blockchain Economics∗ Joseph Abadi and Markus Brunnermeier† August 25, 2018 Abstract When is record-keeping better arranged through distributed ledger technology (DLT)

Source URL: scholar.princeton.edu

• Blockchains
• Cryptocurrencies
• Concurrent computing
• Bitcoin
• Computing
• Decentralization
• Distributed computing
• Alternative currencies
• Ethereum
• Fork
• RootStock
• Distributed ledger

FunFair Technology Roadmap and Discussion June 6, 2017, v0.97 Jeremy Longley and Oliver Hopton v0.9 - DRAFT - Copyright 2017, FunFair

Source URL: funfair.io

• Cryptocurrencies
• Computing
• Information
• Blockchain
• Ethereum
• Smart contract
• Slot machine
• Bitcoin
• Hash chain
• Hash function
• Casino game
• Draft:FunFair Technologies

Personal Data Protection Policy The Science & Technology Park of Crete (STEP-C) pays special attention to the protection of the visitors’ and users’ privacy and personal data. Please note that personal data means, un

Source URL: www.stepc.gr

• Data security
• Data protection
• Law
• Privacy law
• Information privacy
• Privacy
• Internet privacy
• General Data Protection Regulation
• HTTP cookie
• Data Protection Officer
• Personally identifiable information
• Data Protection Act

Social and Behavioral Sciences Team Annual Report Executive Office of the President National Science and Technology Council

Source URL: sbst.gov

• Science and technology in the United States
• General Services Administration
• Social and Behavioral Sciences Team
• Education
• Human behavior
• Science
• Fellows of the American Association for the Advancement of Science
• Executive Office of the President of the United States
• Office of Science and Technology Policy
• National Science and Technology Council
• Maya Shankar
• Science
• technology
• engineering
• and mathematics

Abstract The AdEx team is building the next generation online ad exchange that is based on blockchain technology. Our goal is to provide a more efficient, intuitive and transparent advertising platform. Our aim is to di

Source URL: www.adex.network

• Marketing
• Online advertising
• Cryptocurrencies
• Advertising
• Market economics)
• Targeted advertising
• Blockchain
• Bitcoin
• Ad serving
• Ethereum
• Advertising network
• ternity

Swarm Verification 1 Gerard J. Holzmann, Rajeev Joshi, Alex Groce Jet Propulsion Laboratory, California Institute of Technology Abstract

Source URL: rjoshi.org

• Model checkers
• Theoretical computer science
• Formal methods
• Software engineering
• Logic in computer science
• Model checking
• Search algorithms
• Formal verification
• SPIN model checker
• Verification
• Swarm behaviour
• Promela