DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop

Source URL: www.react.uni-saarland.de

• Automated theorem proving
• Concolic testing
• Software testing
• Equations
• Z3
• Solver
• Equation solving
• Mathematics
• Abstraction
• Software engineering

Poster: Android Collusive Data Leaks with Flow-sensitive DIALDroid Dataset Amiangshu Bosu Fang Liu, Danfeng (Daphne) Yao, Gang Wang Department of Computer Science

Source URL: www.ieee-security.org

• Computing
• Computer architecture
• Android
• System software
• Online marketplaces
• Google Play
• Intent

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

Source URL: unsat.cs.washington.edu

• Formal methods
• Software engineering
• Computing
• Logic in computer science
• Non-interference
• Exception handling
• Formal verification
• Refinement
• Thread
• Futures and promises
• Covert channel
• Application programming interface

Delphy Foundation: Revolutionary Platform for Predicting Future Events Bo Wang Abstract

Source URL: delphy.org

Metric sparsification and operator norm localization Xiaoman Chen, Romain Tessera, Xianjin Wang, Guoliang Yu November 13, 2007 Abstract We study an operator norm localization property and its applications

Source URL: www.normalesup.org

• Mathematics
• Mathematical analysis
• Algebra
• Field theory
• Measure theory
• Commutative algebra
• Localization
• Valuation ring
• Metric space
• Ergodic flow
• Abelian von Neumann algebra

Algorithmic Blockchain Channel Design Georgia Avarikioti ETH Zurich, Switzerland Yuyi Wang

Source URL: arxiv.org

• Graph theory
• Cryptocurrencies
• Mathematics
• Shortest path problem
• Lightning Network
• Minimum spanning tree
• Directed graph
• Blockchain
• Bitcoin
• Line graph
• Eulerian path

Certified Verification of Algebraic Properties on LowLevel Mathematical Constructs in Cryptographic Programs Ming-Hsien Tsai Bow-Yaw Wang Bo-Yin Yang

Source URL: precision.moscito.org

Delphy Foundation: Revolutionary Platform for Predicting Future Events Bo Wang Abstract

Source URL: delphy.org

SPATE: Small-group PKI-less Authenticated Trust Establishment ∗ Yue-Hsun Lin† Ahren Studer§ Hsu-Chun Hsiao§ Jonathan M. McCune§ King-Hang Wang† Maxwell Krohn§ Phen-Lan Lin◦ Adrian Perrig§ Hung-Min Sun† Bo-

Source URL: precision.moscito.org

• Computing
• Information and communications technology
• Technology
• Bluetooth
• Wireless
• Computer security
• Computer network
• SMS
• Password
• Dropbox
• Gmail
• Email

Smartphone App Categorization for Interest Targeting in Advertising Marketplace Vladan Radosavljevic, Mihajlo Grbovic, Nemanja Djuric, Narayan Bhamidipati Daneo Zhang, Jack Wang,

Source URL: gdac.uqam.ca

• Computing
• Online marketplaces
• Software
• Smartphones
• Digital media
• App Store
• E-commerce
• IOS
• ITunes
• Mobile app
• Google Play
• AJ+