PRESENT

Results: 61600



#Item
11Smart 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

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

Add to Reading List

Source URL: smeiklej.com

Language: English - Date: 2018-10-23 14:58:02
12SMT-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

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

Add to Reading List

Source URL: seahorn.github.io

Language: English - Date: 2018-08-03 20:31:21
13CONTINUED 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

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

Add to Reading List

Source URL: www.hyperelliptic.org

Language: English - Date: 2005-03-19 07:30:03
14The 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

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

Add to Reading List

Source URL: www.rexresearch.com

Language: English - Date: 2017-12-30 23:58:48
15A 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

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

Add to Reading List

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

Language: English - Date: 2017-06-07 20:45:26
16Crossword 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

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

Add to Reading List

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

Language: English - Date: 2008-06-30 05:38:49
17Blind 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

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

Add to Reading List

Source URL: files.howtolivewiki.com

Language: English - Date: 2014-04-16 01:17:19
18Join 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

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

Add to Reading List

Source URL: retreats4geeks.com

Language: English - Date: 2015-08-18 14:00:17
19Verification 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

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

Add to Reading List

Source URL: publish.illinois.edu

Language: English - Date: 2014-10-08 18:37:53
    20SMT-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

    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

    Add to Reading List

    Source URL: seahorn.github.io

    Language: English - Date: 2018-08-03 20:31:21