Malicious Behavior on the Web: Characterization and Detection Srijan Kumar (@srijankr) Justin Cheng (@jcccf) Jure Leskovec (@jure) Slides are available at http://snap.stanford.edu/www2017tutorial/

Source URL: snap.stanford.edu

• Deception
• Human behavior
• World Wide Web
• Internet troll
• Sockpuppet
• Internet culture
• Hoax

Malicious Behavior on the Web: Characterization and Detection Srijan Kumar (@srijankr) Justin Cheng (@jcccf) Jure Leskovec (@jure) Slides are available at http://snap.stanford.edu/www2017tutorial/

Source URL: snap.stanford.edu

• Social information processing
• Wikipedia reliability
• Collaboration
• Digital media
• WikiTrust
• Wiki
• Vandalism
• World Wide Web
• TW

Skill Squatting Attacks on Amazon Alexa Deepak Kumar Riccardo Paccagnella Paul Murley Eric Hennenfent Joshua Mason Adam Bates Michael Bailey University of Illinois Urbana-Champaign Abstract

Source URL: kumarde.com

• Linguistics
• Phonetics
• Phonology
• Human communication
• Human behavior
• Language
• Computer accessibility
• Speech recognition
• Amazon Alexa
• Phoneme
• Amazon Echo
• Alexa

Malicious Behavior on the Web: Characterization and Detection Srijan Kumar (@srijankr) Justin Cheng (@jcccf) Jure Leskovec (@jure) Slides are available at http://snap.stanford.edu/www2017tutorial/

Source URL: snap.stanford.edu

• Digital media
• Economy
• Social networks
• New media
• Human behavior
• Business intelligence
• Communication
• Social media
• Web 2.0
• Analytics

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Self-Formalisation of Higher-Order Logic Semantics, Soundness, and a Verified Implementation Ramana Kumar · Rob Arthan ·

Source URL: cakeml.org

• Mathematical logic
• Mathematics
• Logic
• Logic in computer science
• Proof assistants
• Model theory
• Proof theory
• Foundations of mathematics
• ZermeloFraenkel set theory
• HOL
• Gdel's completeness theorem
• Gdel's incompleteness theorems

Malicious Behavior on the Web: Characterization and Detection Srijan Kumar (@srijankr) Justin Cheng (@jcccf) Jure Leskovec (@jure) Slides are available at http://snap.stanford.edu/www2017tutorial/

Source URL: snap.stanford.edu

Understanding the Mirai Botnet Manos Antonakakis⇧ Tim April‡ Michael Bailey† Matthew Bernhard/ Elie Bursztein Jaime Cochran. Zakir Durumeric/ J. Alex Halderman/ Luca Invernizzi Michalis Kallitsis§ Deepak Kumar†

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

• Botnets
• Cybercrime
• Computing
• Cyberwarfare
• Denial-of-service attacks
• Linux malware
• Computer network security
• Mirai
• BASHLITE
• Internet of things
• TR-069
• Denial-of-service attack

Antisocial Behavior on the Web: Characterization and Detection Srijan Kumar Justin Cheng

Source URL: snap.stanford.edu

• Human behavior
• Deception
• World Wide Web
• Computing
• Internet manipulation and propaganda
• Formal sciences
• Internet trolling
• Sockpuppet
• Internet troll
• Wikipedia
• Data mining
• Computer security

Erays: Reverse Engineering Ethereum’s Opaque Smart Contracts Yi Zhou Deepak Kumar Surya Bakshi Joshua Mason Andrew Miller Michael Bailey University of Illinois, Urbana-Champaign Abstract Interacting with Ethereum smart

Source URL: kumarde.com

• Cryptocurrencies
• Blockchains
• Ethereum
• Alternative currencies
• Concurrent computing
• Computing
• Distributed computing
• Cross-platform software
• Smart contract
• Solidity
• ERC-20
• CryptoKitties

Skill Squatting Attacks on Amazon Alexa Deepak Kumar University of Illinois Riccardo Paccagnella

Source URL: kumarde.com

• Amazon
• Amazon Alexa
• Affordable housing
• Anarcho-punk
• DIY culture
• Real property law
• Alexa
• Squatting
• Deepak
• Artificial intelligence
• Human behavior
• Land law