Jason Teutsch

Publication Activity (10 Years)

Years Active: 2005-2019
Publications (10 Years): 20

Top Topics

Method For Automatically Generating

Linearly Ordered

Security Policies

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Jason Teutsch
On decentralized oracles for data availability. CoRR (2019)
Jason Teutsch, Vitalik Buterin, Christopher Brown
Interactive coin offerings. CoRR (2019)
Jason Teutsch, Sami Mäkelä, Surya Bakshi
Bootstrapping a stable computation token. CoRR (2019)
Jason Teutsch, Christian Reitwießner
A scalable verification solution for blockchains. CoRR (2019)
Jason Teutsch, Michael Straka, Dan Boneh
Retrofitting a two-way peg between blockchains. CoRR (2019)
Yaron Velner, Jason Teutsch, Loi Luu
Smart Contracts Make Bitcoin Mining Pools Vulnerable. IACR Cryptol. ePrint Arch. 2017 (2017)
Yaron Velner, Jason Teutsch, Loi Luu
Smart Contracts Make Bitcoin Mining Pools Vulnerable. Financial Cryptography Workshops (2017)
Sanjay Jain, Frank Stephan, Jason Teutsch
Closed left-r.e. sets. Comput. 6 (1) (2017)
Sanjay Jain, Jason Teutsch
Enumerations including laconic enumerators. Theor. Comput. Sci. 700 (2017)
Loi Luu, Yaron Velner, Jason Teutsch, Prateek Saxena
SmartPool: Practical Decentralized Pooled Mining. USENIX Security Symposium (2017)
Loi Luu, Yaron Velner, Jason Teutsch, Prateek Saxena
SMART POOL : Practical Decentralized Pooled Mining. IACR Cryptol. ePrint Arch. 2017 (2017)
Jason Teutsch, Sanjay Jain, Prateek Saxena
When Cryptocurrencies Mine Their Own Business. Financial Cryptography (2016)
George Barmpalias, Andrew Lewis-Pye, Jason Teutsch
Lower bounds on the redundancy in computations from random oracles via betting strategies with restricted wagers. Inf. Comput. 251 (2016)
Jason Teutsch, Marius Zimand
A Brief on Short Descriptions. SIGACT News 47 (1) (2016)
George Barmpalias, Andrew Lewis-Pye, Jason Teutsch
Lower bounds on the redundancy in computations from random oracles via betting strategies with restricted wagers. CoRR (2016)
Sanjay Jain, Prateek Saxena, Frank Stephan, Jason Teutsch
How to verify computation with a rational network. CoRR (2016)
Gregory Clark, Jason Teutsch
Maximizing T-complexity. Fundam. Informaticae 139 (1) (2015)
Loi Luu, Jason Teutsch, Raghav Kulkarni, Prateek Saxena
Demystifying incentives in the consensus computer. IACR Cryptol. ePrint Arch. 2015 (2015)
Loi Luu, Jason Teutsch, Raghav Kulkarni, Prateek Saxena
Demystifying Incentives in the Consensus Computer. CCS (2015)
Jason Teutsch, Marius Zimand
On Approximate Decidability of Minimal Programs. ACM Trans. Comput. Theory 7 (4) (2015)
Nirupama Talele, Jason Teutsch, Robert F. Erbacher, Trent Jaeger
Monitor placement for large-scale systems. SACMAT (2014)
Jason Teutsch
A savings paradox for integer-valued gambling strategies. Int. J. Game Theory 43 (1) (2014)
Frank Stephan, Jason Teutsch
Things that can be made into themselves. Inf. Comput. 237 (2014)
Jason Teutsch
Short lists for shortest descriptions in short time. Comput. Complex. 23 (4) (2014)
Robert F. Erbacher, Trent Jaeger, Nirupama Talele, Jason Teutsch
Directed Multicut with linearly ordered terminals. CoRR (2014)
Jason Teutsch, Marius Zimand
On approximate decidability of minimal programs. CoRR (2014)
Jason Teutsch
Review of Algorithmic Randomness and Complexity by Downey and Hirschfeldt. SIGACT News 44 (1) (2013)
Nirupama Talele, Jason Teutsch, Trent Jaeger, Robert F. Erbacher
Using Security Policies to Automate Placement of Network Intrusion Prevention. ESSoS (2013)
Wolfgang Merkle, Frank Stephan, Jason Teutsch, Wei Wang, Yue Yang
Selection by Recursively Enumerable Sets. TAMC (2013)
Frank Stephan, Jason Teutsch
An incomplete set of shortest descriptions. J. Symb. Log. 77 (1) (2012)
Jason Teutsch
Short lists for shorter programs in short time CoRR (2012)
Frank Stephan, Jason Teutsch
Things that can be made into themselves CoRR (2012)
Laurent Bienvenu, Frank Stephan, Jason Teutsch
How Powerful Are Integer-Valued Martingales? Theory Comput. Syst. 51 (3) (2012)
Wolfgang Merkle, Jason Teutsch
Constant compression and random weights. STACS (2012)
Wolfgang Merkle, Jason Teutsch
Constant Compression and Random Weights. Comput. 1 (2) (2012)
Bjørn Kjos-Hanssen, Frank Stephan, Jason Teutsch
Arithmetic complexity via effective names for random sequences. ACM Trans. Comput. Log. 13 (3) (2012)
Randall Dougherty, Jack H. Lutz, R. Daniel Mauldin, Jason Teutsch
Translating the Cantor set by a random CoRR (2012)
Adam Chalcraft, Randall Dougherty, Christopher F. Freiling, Jason Teutsch
How to build a probability-free casino. Inf. Comput. 211 (2012)
Divya Muthukumaran, Sandra Julieta Rueda, Nirupama Talele, Hayawardh Vijayakumar, Jason Teutsch, Trent Jaeger
Transforming commodity security policies to enforce Clark-Wilson integrity. ACSAC (2012)
Sanjay Jain, Frank Stephan, Jason Teutsch
Closed Left-R.E. Sets. TAMC (2011)
Sanjay Jain, Frank Stephan, Jason Teutsch
Index sets and universal numberings. J. Comput. Syst. Sci. 77 (4) (2011)
Laurent Bienvenu, Frank Stephan, Jason Teutsch
How powerful are integer-valued martingales? CoRR (2010)
Bjørn Kjos-Hanssen, Frank Stephan, Jason Teutsch
Enumerating randoms CoRR (2010)
Laurent Bienvenu, Frank Stephan, Jason Teutsch
How Powerful Are Integer-Valued Martingales? CiE (2010)
Sanjay Jain, Frank Stephan, Jason Teutsch
Index Sets and Universal Numberings. CiE (2009)
Frank Stephan, Jason Teutsch
Immunity and Hyperimmunity for Sets of Minimal Indices. Notre Dame J. Formal Log. 49 (2) (2008)
Jason Teutsch
On the Turing degrees of minimal index sets. Ann. Pure Appl. Log. 148 (1-3) (2007)
Jason Teutsch
Noncomputable Spectral Sets CoRR (2007)
Pascal O. Vontobel, Roxana Smarandache, Negar Kiyavash, Jason Teutsch, Dejan Vukobratovic
On the Minimal Pseudo-Codewords of Codes from Finite Geometries CoRR (2005)
Pascal O. Vontobel, Roxana Smarandache, Negar Kiyavash, Jason Teutsch, Dejan Vukobratovic
On the minimal pseudo-codewords of codes from finite geometries. ISIT (2005)