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

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

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

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

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

Source URL: cs.nyu.edu

• Computational complexity theory
• Theory of computation
• IP
• Proof of knowledge
• NP
• Zero-knowledge proof
• Certificate
• Theoretical computer science
• Applied mathematics

Cryptographically Secure Information Flow Control on Key-Value Stores Lucas Waye Pablo Buiras

Source URL: people.seas.harvard.edu

2013 IEEE Symposium on Security and Privacy Practical Control Flow Integrity & Randomization for Binary Executables Chao Zhang1 , Tao Wei1,2∗ , Zhaofeng Chen1 , Lei Duan1 , L´aszl´o Szekeres2,3+ , Stephen McCamant2,

Source URL: seclab.cs.sunysb.edu

Valbart RSBV Presentation Flow Control Operations - Valbart Andrea Zilio Product Manager

Source URL: automationinstrumentationsummit.files.wordpress.com

IEEE TRANSACTIONS ON MAGNETICS, VOL. 39, NO. 5, SEPTEMBERReduction of Flow-Induced Suspension Vibrations in a Hard Disk Drive by Dual-Stage Suspension Control

Source URL: maeresearch.ucsd.edu