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

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

A Semantic Approach to Secure Information Flow K. Rustan M. Leino1 and Rajeev Joshi2 1 DEC SRC, Palo Alto, CA 94301, USA

Source URL: rjoshi.org

• Mathematical logic
• Logic
• Mathematics
• Predicate logic
• Formal methods
• Semantics
• Edsger W. Dijkstra
• Predicate transformer semantics
• First-order logic
• FO
• Quantifier
• Equality

arXiv:1608.01654v2 [cs.PL] 7 NovHypercollecting Semantics and its Application to Static Analysis of Information Flow Mounir Assaf

Source URL: arxiv.org

Rain: Refinable Attack Investigation with On-demand Inter-Process Information Flow Tracking

Source URL: acmccs.github.io

• Metaphysics
• Humanities
• Terminology
• Archaeological theory
• Data collection
• Evidence law
• Museology
• Provenance
• Seeds
• Causality
• Inode
• System call

Computing and Estimating Information Leakage with a Quantitative Point-to-Point Information Flow Model by

Source URL: www.cs.bham.ac.uk

• Information theory
• Metaphysics
• Physics
• Information
• Information flow
• Entropy
• Leakage
• Mutual information

Treasury Providing a seamless and transparent flow of information to synchronize the front and back offices, Temenos’ award winning treasury solution delivers real-time links to the market for instant and accurate data

Source URL: www.temenos.com

• Economy
• Finance
• Money
• Financial markets
• Hedge
• Treasury management
• Set-off
• Society for Worldwide Interbank Financial Telecommunication
• Short

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

Source URL: people.seas.harvard.edu

A New Type System for Secure Information Flow Geoffrey Smith School of Computer Science Florida International University Miami, Florida 33199, USA

Source URL: users.cis.fiu.edu

Issue 03 AugustPresident’s Column Warm greetings to all chapters and their respective members. We have had an active flow of information since our inaugural launching in March this year, which is a positive refl

Source URL: www.spengineer.org