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

JFP 27, e19, 29 pages, 2017 https://doi.orgS0956796817000107 1

Source URL: jeapostrophe.github.io

• Mathematics
• Mathematical logic
• Theoretical computer science
• Enumerative combinatorics
• Enumeration
• Ordering
• Lambda calculus
• Type theory
• Enumerated type
• Recursively enumerable set
• Combinatory logic

NEO Quick Palette + Fonts Colours PRIMARY COLOURS SECONDARY ACCENT COLOURS

Source URL: cityofzion.io

Synthesizing Ranking Functions from Bits and Pieces? Caterina Urban1,2 , Arie Gurfinkel2 , and Temesghen Kahsai2,3 1 ETH Z¨

Source URL: seahorn.github.io

• Mathematics
• Infinite loop
• Recursion
• Function
• Computability theory
• Computing

Effective Abstractions for Verification under Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich

Source URL: practicalsynthesis.github.io

• Computer memory
• Computing
• Circular buffer
• Abstract interpretation
• Thread
• Data buffer
• Futures and promises

A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel and Jorge A. Navas University of Waterloo and SRI International SAS’17, August 30th, 2017

Source URL: seahorn.github.io

• C
• Data types
• Software engineering
• Computing
• Computer programming
• Pointer
• Compatibility of C and C++
• Const
• Typedef

Bolt: Anonymous Payment Channelsfor Decentralized Currencies

Source URL: acmccs.github.io

• Cryptocurrencies
• Economy
• Alternative currencies
• Money
• Finance
• E-commerce
• Bitcoin
• Blockchains
• Lightning Network
• IDEAL
• Digital currency
• Payment

Learning + Synthesis Armando Solar-Lezama ML as Synthesis ML

Source URL: uclmr.github.io

Tongtongcoin A Specialized cryptocurrency for Payment and Remittance Tongtongcoin is a decentralized Blockchain-based cryptocurrency devised to dramatically reduce transaction fees for existing payment systems such as c

Source URL: ttcoin.io

• Cryptocurrencies
• Blockchains
• Concurrent computing
• Bitcoin
• Distributed computing
• Computing
• Alternative currencies
• Decentralization
• Smart contract
• Ethereum
• RootStock
• Proof-of-stake

SMT-Based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm

Source URL: seahorn.github.io

• Mathematics
• Symbol
• 120-cell
• Craig interpolation
• Computability theory
• Fiber bundles
• Differential topology