Sciweavers

244 search results - page 5 / 49
» Turing machines and bimachines
Sort
View
CSFW
2006
IEEE
14 years 1 months ago
Simulation-Based Security with Inexhaustible Interactive Turing Machines
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
Ralf Küsters
CIE
2007
Springer
14 years 1 months ago
The Complexity of Small Universal Turing Machines
Damien Woods, Turlough Neary
CORR
2011
Springer
165views Education» more  CORR 2011»
13 years 2 months ago
Reactive Turing Machines
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg
TCS
2010
13 years 2 months ago
Theory of one-tape linear-time Turing machines
Kohtaro Tadaki, Tomoyuki Yamakami, Jack C. H. Lin