Jason Teutsch

CoRR, 2019

A scalable verification solution for blockchains.

[BibT_eX]

[DOI]

Christian Reitwießner

CoRR, 2019

Interactive coin offerings.

[BibT_eX]

[DOI]

Vitalik Buterin

Christopher Brown

CoRR, 2019

Retrofitting a two-way peg between blockchains.

[BibT_eX]

[DOI]

Michael Straka

Dan Boneh

CoRR, 2019

Bootstrapping a stable computation token.

[BibT_eX]

[DOI]

Sami Mäkelä

Surya Bakshi

CoRR, 2019

2017

Enumerations including laconic enumerators.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

Smart Contracts Make Bitcoin Mining Pools Vulnerable.

[BibT_eX]

[DOI]

Yaron Velner

Loi Luu

IACR Cryptol. ePrint Arch., 2017

SMART POOL : Practical Decentralized Pooled Mining.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

Closed left-r.e. sets.

[BibT_eX]

[DOI]

Comput., 2017

SmartPool: Practical Decentralized Pooled Mining.

[BibT_eX]

[DOI]

Proceedings of the 26th USENIX Security Symposium, 2017

2016

A Brief on Short Descriptions.

[BibT_eX]

[DOI]

Marius Zimand

SIGACT News, 2016

Lower bounds on the redundancy in computations from random oracles via betting strategies with restricted wagers.

[BibT_eX]

[DOI]

George Barmpalias

Andrew Lewis-Pye

Inf. Comput., 2016

How to verify computation with a rational network.

[BibT_eX]

[DOI]

CoRR, 2016

When Cryptocurrencies Mine Their Own Business.

[BibT_eX]

[DOI]

Prateek Saxena

Proceedings of the Financial Cryptography and Data Security, 2016

2015

On Approximate Decidability of Minimal Programs.

[BibT_eX]

[DOI]

Marius Zimand

ACM Trans. Comput. Theory, 2015

Demystifying incentives in the consensus computer.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

Maximizing T-complexity.

[BibT_eX]

[DOI]

Gregory Clark

Fundam. Informaticae, 2015

2014

A savings paradox for integer-valued gambling strategies.

[BibT_eX]

[DOI]

Int. J. Game Theory, 2014

Things that can be made into themselves.

[BibT_eX]

[DOI]

Inf. Comput., 2014

Directed Multicut with linearly ordered terminals.

[BibT_eX]

[DOI]

CoRR, 2014

Short lists for shortest descriptions in short time.

[BibT_eX]

[DOI]

Comput. Complex., 2014

Monitor placement for large-scale systems.

[BibT_eX]

[DOI]

Proceedings of the 19th ACM Symposium on Access Control Models and Technologies, 2014

2013

Review of Algorithmic Randomness and Complexity by Downey and Hirschfeldt.

[BibT_eX]

[DOI]

SIGACT News, 2013

Selection by Recursively Enumerable Sets.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Models of Computation, 2013

Using Security Policies to Automate Placement of Network Intrusion Prevention.

[BibT_eX]

[DOI]

Proceedings of the Engineering Secure Software and Systems - 5th International Symposium, 2013

2012

Arithmetic complexity via effective names for random sequences.

[BibT_eX]

[DOI]

Bjørn Kjos-Hanssen

ACM Trans. Comput. Log., 2012

How Powerful Are Integer-Valued Martingales?

[BibT_eX]

[DOI]

Laurent Bienvenu

Theory Comput. Syst., 2012

An incomplete set of shortest descriptions.

[BibT_eX]

[DOI]

J. Symb. Log., 2012

How to build a probability-free casino.

[BibT_eX]

[DOI]

Adam Chalcraft

Randall Dougherty

Christopher F. Freiling

Inf. Comput., 2012

Short lists for shorter programs in short time

[BibT_eX]

[DOI]

CoRR, 2012

Translating the Cantor set by a random

[BibT_eX]

[DOI]

CoRR, 2012

Constant Compression and Random Weights.

[BibT_eX]

[DOI]

Wolfgang Merkle

Comput., 2012

Transforming commodity security policies to enforce Clark-Wilson integrity.

[BibT_eX]

[DOI]

Divya Muthukumaran

Sandra Julieta Rueda

Nirupama Talele

Hayawardh Vijayakumar

Trent Jaeger

Proceedings of the 28th Annual Computer Security Applications Conference, 2012

2011

Index sets and universal numberings.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2011

2010

Enumerating randoms

[BibT_eX]

[DOI]

Bjørn Kjos-Hanssen

CoRR, 2010

2008

Immunity and Hyperimmunity for Sets of Minimal Indices.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2008

2007

Noncomputable Spectral Sets

[BibT_eX]

[DOI]

CoRR, 2007

On the Turing degrees of minimal index sets.

[BibT_eX]

[DOI]