Static Control-Flow Analysis of User-Driven Callbacks in Android Applications Shengqian Yang, Dacong Yan, Haowei Wu, Yan Wang, and Atanas Rountev Ohio State University Email: {yangs,yan,wuhaow,wang10,rountev}@cse.ohio-st

Source URL: dacongy.github.io

• Software engineering
• Subroutines
• Computing
• Computer programming
• Programming paradigms
• Callback
• Network flow problem
• Event
• Data-flow analysis
• Control flow analysis
• Flow network
• Control flow graph

Disentangling the Latent Space of (Variational) Autoencoders for NLP Gino Brunner, Yuyi Wang, Roger Wattenhofer, and Michael Weigelt ETH Zurich, Switzerland

Source URL: www.tik.ee.ethz.ch

• Machine learning
• Artificial intelligence
• Artificial neural networks
• Learning
• Computational linguistics
• Autoencoder
• Unsupervised learning
• Computational statistics
• Feature learning
• Vae
• K-means clustering
• Deep learning

StegoTorus: A Camouflage Proxy for the Tor Anonymity System Zachary Weinberg,1,2 Jeffrey Wang,3 Vinod Yegneswaran,2 Linda Briesemeister,2 Steven Cheung,2 Frank Wang,3 and Dan Boneh 3 1

Source URL: censorbib.nymity.ch

• Computing
• Network architecture
• Internet
• Internet protocols
• Secure communication
• Internet Standards
• Cryptographic protocols
• Network protocols
• Transmission Control Protocol
• Proxy server
• Deep packet inspection
• Steganography

Nickel A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang

Source URL: unsat.cs.washington.edu

• Aircraft instruments
• Standards
• Covert channel
• Steganography
• ARINC 653
• ARINC
• Verification
• Human behavior
• Technology
• User interface design
• Design

Cortex - 블록체인 인공지능 분산 인공지능 자율 시스템 Ziqi Chen Weiyang Wang

Source URL: www.cortexlabs.ai

Byzantine Preferential Voting – Abstract HALG Darya Melnyk Yuyi Wang Roger Wattenhofer

Source URL: www.tik.ee.ethz.ch

• Fault-tolerant computer systems
• Theory of computation
• Consensus
• Mathematics
• Distributed computing
• Computing
• Byzantine fault tolerance
• Algorithm
• Computer science

Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo

Source URL: unsat.cs.washington.edu

• Computer architecture
• Computing
• Formal methods
• Logic in computer science
• Kernel
• Linux kernel
• L4 microkernel family
• Mach
• Verification
• X86-64
• Formal verification
• Satisfiability modulo theories

Evaluation of RSVP and Mobility-aware RSVP Using Performance Evaluation Process Algebra Hao Wang and David I. Laurenson Jane Hillston

Source URL: www.dcs.ed.ac.uk

• Internet architecture
• Computing
• Network architecture
• Internet
• Quality of service
• Teletraffic
• Resource Reservation Protocol
• Network protocols
• Integrated services
• Mobile IP
• Handover
• RSVP

Natural Language to Structured Query Generation via Meta-Learning Po-Sen Huang 1 Chenglong Wang 2 Rishabh Singh 3 * Wen-tau Yih 4 Xiaodong He 5 * 1. Introduction Conventional supervised training is a pervasive paradigm

Source URL: uclmr.github.io

• Machine learning
• Learning
• Artificial intelligence
• Meta learning
• Support vector machine
• Supervised learning
• Training
• test
• and validation sets

Session A1: Multi-Party Computation 1 CCS’17, October 30-November 3, 2017, Dallas, TX, USA Global-Scale Secure Multiparty Computation Xiao Wang

Source URL: acmccs.github.io