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

The flow-performance relationship in emerging market bond funds David Leung Hong Kong Monetary Authority and Max Kwong Hong Kong Monetary Authority

Source URL: www.hkimr.org

• Economy
• Finance
• Money
• Funds
• Bond market
• Investment
• Mathematical finance
• Bond
• Rate of return
• Mutual fund

FPGAs as Streaming MIMD Machines for Data Analy9cs James Thomas, Matei Zaharia, Pat Hanrahan CPU/GPU Control Flow Divergence

Source URL: platformlab.stanford.edu

• Computing
• Computer memory
• Hardware acceleration
• Central processing unit
• Parallel computing
• Computer hardware
• Dynamic random-access memory
• Computer architecture
• Field-programmable gate array

Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ †

Source URL: www.pepper-project.org

FLIP the (Flow) Table: Fast LIghtweight Policy-preserving SDN Updates Stefano Vissicchio (UCLouvain)

Source URL: inl.info.ucl.ac.be

• Computing
• Firewall software
• Computer network security
• Ethernet
• Information and communications technology
• Computer networking
• Network switch
• Firewall
• Traffic flow
• Data transmission

FLIP the (Flow) Table: Fast LIghtweight Policy-preserving SDN Updates Stefano Vissicchio∗ , Luca Cittadini† ∗ Universit´e catholique de Louvain † RomaTre University

Source URL: www0.cs.ucl.ac.uk

• Network flow problem
• Physics
• Internet architecture
• Flow network
• Routing
• Work

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

HONG KONG INSTITUTE FOR MONETARY RESEARCH THE FLOW-PERFORMANCE RELATIONSHIP IN EMERGING MARKET BOND FUNDS David Leung and Max Kwong

Source URL: www.hkimr.org

• Finance
• Economy
• Money
• Funds
• Investment
• Mathematical finance
• Institutional investors
• Index fund
• Mutual fund
• Bond
• Investment management
• Rate of return

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