Session A4: Browsers CCS’17, October 30-November 3, 2017, Dallas, TX, USA Hindsight: Understanding the Evolution of UI Vulnerabilities in Mobile Browsers

Source URL: acmccs.github.io

• Software
• Computing
• Web browsers
• Portable software
• Embedded Linux
• Freeware
• Cloud clients
• Opera
• Browser security
• Chromium
• Google Chrome
• Firefox

Learning to generate HTML code from images with no supervisory data Ali Davody * 1 Homa Davoudi * 1 Mihai S. Baba 1 R˘azvan V. FlorianIntroduction

Source URL: uclmr.github.io

• Computational neuroscience
• Applied mathematics
• Cybernetics
• Cognitive science
• Computational statistics
• Machine learning
• Emerging technologies
• Machine learning algorithms
• Artificial neural network
• Neural network
• Artificial intelligence
• Reinforcement learning

Theoretical Computer Science–24 Contents lists available at ScienceDirect Theoretical Computer Science www.elsevier.com/locate/tcs

Source URL: jorgenavas.github.io

• Formal languages
• Mathematics
• Language
• Combinatorics
• Context-free language
• Regular language
• Context-free grammar
• Kleene star
• Regular expression
• Omega-regular language
• Complementation of Bchi automaton

Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing

Source URL: acmccs.github.io

Efficient, Constant-Round and Actively Secure MPC: Beyond the Three-Party Case

Source URL: acmccs.github.io

Automatically Synthesizing SQL Queries from Input-Output Examples Sai Zhang University of Washington Joint work with: Yuyin Sun

Source URL: zhang-sai.github.io

• Data management
• Computing
• Information retrieval
• SQL
• Relational database management systems
• Query languages
• Database management systems
• Select
• SQL syntax
• Null

Automatically Repairing Broken Workflows for Evolving GUI Applications Sai Zhang University of Washington Joint work with: Hao Lü, Michael D. Ernst

Source URL: zhang-sai.github.io

• Economy
• Business
• Graphical user interface
• Software architecture
• Workflow

Benjamin Gamari 45 N. East St. Apt. 1 Amherst, MAUnited States

Source URL: bgamari.github.io

• Software
• Computer programming
• Computing
• Functional languages
• Haskell
• Literate programming
• Parallel computing
• LLVM
• SymPy
• Rust
• Glasgow Haskell Compiler
• Computational physics

Which Configuration Option Should I Change? Sai Zhang, Michael D. Ernst University of Washington Presented by: Kıvanç Muşlu

Source URL: zhang-sai.github.io

• System software
• Software
• Free software
• APT
• Debian
• Dpkg
• Ubuntu
• Configuration management

VibWrite: Towards Finger-input Authentication on Ubiquitous Surfaces via Physical Vibration

Source URL: acmccs.github.io

• Computer access control
• Cryptography
• Computer security
• Civil law common law)
• Access control
• Authentication
• Notary
• Packaging
• Vibration
• Password
• Touchscreen