Touching from a Distance: Website Fingerprinting Attacks and Defenses Xiang Cai Xin Cheng Zhang

Source URL: www3.cs.stonybrook.edu

• Computing
• Information and communications technology
• Internet
• Internet privacy
• Secure communication
• Internet Standards
• Cyberwarfare
• Computer network security
• Tor
• Transmission Control Protocol
• Traffic analysis
• Proxy server

Hypothetical Outcome Plots Help Untrained Observers Judge Trends in Ambiguous Data Alex Kale, Francis Nguyen, Matthew Kay, and Jessica Hullman Fig. 1. We present two experiments (E1 and E2) evaluating four different unce

Source URL: idl.cs.washington.edu

arXiv:1802.00921v1 [cs.SE] 3 FebA deep tree-based model for software defect prediction Hoa Khanh Dam Trang Pham

Source URL: arxiv.org

GroupLink: Group Event Recommendations Using Personal Digital Traces Honghao Wei Tsinghua University Beijing, 100084, China

Source URL: www.cs.cornell.edu

• Information science
• Collaboration
• Humancomputer interaction
• Information retrieval
• Recommender systems
• Human communication
• Social information processing
• Collective intelligence
• Collaborative filtering
• Computer-supported cooperative work
• Personalization
• GroupLens Research

An MCSAT treatment of Bit-Vectors (preliminary report) St´ephane Graham-Lengrand1,2 and Dejan Jovanovi´c1 1 2

Source URL: smt-workshop.cs.uiowa.edu

• Theoretical computer science
• Boolean algebra
• Computational complexity theory
• Mathematical logic
• Formal methods
• Binary decision diagram
• Diagrams
• Model checking
• Conflict-driven clause learning
• Boolean satisfiability problem
• FO

Madhusudan Parthasarathy Curriculum Vitae Department of Computer Science Univ. of Illinois at Urbana-Champaign

Source URL: madhu.cs.illinois.edu

• Computer science
• Computing
• Electrical engineering
• Symposium on Principles of Programming Languages
• Programming Language Design and Implementation
• Association for Computing Machinery
• Vienna Summer of Logic
• Theoretical computer science
• ACM SIGACT
• Helmut Veith
• International Colloquium on Automata
• Languages and Programming
• International Conference on Functional Programming

Darko Marinov Professor Department of Computer Science University of Illinois at Urbana-Champaign http://mir.cs.illinois.edu/marinov

Source URL: mir.cs.illinois.edu

Preliminaries Solution framework Correctness

Source URL: www.cs.purdue.edu

• Algorithm
• Mathematical logic
• Theoretical computer science

PiSHi: Click the Images and I Tell if You Are a Human Maryam Mehrnezhad † ∗†

Source URL: homepages.cs.ncl.ac.uk

• World Wide Web
• Artificial intelligence
• Computing
• Human-based computation
• Anti-spam
• CAPTCHA
• Computer security
• Computer vision
• URL shortening
• Turing test
• Internet bot
• Google Search

PDF Document

Source URL: unsat.cs.washington.edu

• Programming Language Design and Implementation
• Symposium on Principles of Programming Languages