Smart Contracts for Bribing Miners Patrick McCorry, Alexander Hicks, and Sarah Meiklejohn University College London {p.mccorry,alexander.hicks.16,s.meiklejohn}@ucl.ac.uk Abstract. We present three smart contracts that a

Source URL: smeiklej.com

• Cryptocurrencies
• Bitcoin
• Blockchains
• Economy
• Money
• Computing
• Alternative currencies
• Digital currencies
• Ethereum
• Fork
• Mining pool
• Smart contract

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

CONTINUED FRACTIONS AND LATTICE SIEVING JENS FRANKE, THORSTEN KLEINJUNG Abstract. We present a new method of lattice sieving which we expect to be faster by a constant factor than the method of Pollard, and which has bee

Source URL: www.hyperelliptic.org

• Integer factorization algorithms
• Mathematics
• Computing
• Quadratic sieve
• Software engineering
• NC
• General number field sieve
• Pure
• Euclidean algorithm

The Next Bigly Thing : Electro-Oil Atlas Burped : Electrical Stimulation of Oil Recovery by Robert A. Nelson It has become unarguably obvious to all but the most recidivist reader (present company excepted, of course), t

Source URL: www.rexresearch.com

• Petroleum production
• Chemistry
• Petroleum
• Nature
• Petroleum geology
• Enhanced oil recovery
• Extraction of petroleum
• Asphalt
• Natural gas
• Heavy oil production
• Oil sands

A Tool for Estimating Information Leakage? Tom Chothia, Yusuke Kawamoto, and Chris Novakovic School of Computer Science, University of Birmingham, Birmingham, UK Abstract. We present leakiEst, a tool that estimates how m

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

• Information theory
• Cryptography
• Information
• Electrical engineering
• Information flow
• Information leakage
• Leak
• Entropy
• Weka
• Memory leak
• Mutual information
• Biometric passport

Crossword Puzzles as a Constraint Problem Anbulagan and Adi Botea NICTA?? and Australian National University, Canberra, Australia {anbulagan|adi.botea}@nicta.com.au Abstract. We present new results in crossword composit

Source URL: abotea.rsise.anu.edu.au

• Constraint programming
• NP-complete problems
• Puzzles
• Crossword
• Constraint satisfaction
• Local consistency
• Human behavior
• Backtracking
• Theoretical computer science
• Cognition

Blind in the Panopticon The decreasing marginal utility of access to information as an aspect of cyber policy The uncertain price of information There is no clear way, in the present, of deciding what information will be

Source URL: files.howtolivewiki.com

• Cybercrime
• Cyberwarfare
• Computer security
• Security
• National security
• Cyberattacks
• Cyberterrorism
• Internet privacy
• Social networking service
• Stuxnet
• Risk
• Strategic management

Join us for HTML5 & CSS3 8-10 April 2011 Gatlinburg, TN This Spring, Retreats 4 Geeks is proud to present three days of HTML5 & CSS3 training from Eric Meyer and

Source URL: retreats4geeks.com

• Web development
• Design
• Web design
• Web developers
• Adaptive Web Design
• Jeffrey Zeldman
• Cascading Style Sheets
• Gatlinburg
• Tennessee
• Progressive enhancement

Verification of Annotated Models from Executions ABSTRACT Simulations can help enhance confidence in system designs but they provide almost no formal guarantees. In this paper, we present a simulation-based verification

Source URL: publish.illinois.edu

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