Volume 560

Theoretical Computer Science

Volume 560
1

Program verification using symbolic game semantics

Dimovski, Aleksandar S.
Journal:
Theoretical Computer Science
Year:
2014
Language:
english
File:
PDF, 926 KB
english, 2014
7

Timed encryption with application to deniable key exchange

Jiang, Shaoquan
Journal:
Theoretical Computer Science
Year:
2014
Language:
english
File:
PDF, 931 KB
english, 2014
10

Public-key cryptography based on bounded quantum reference frames

Ioannou, Lawrence M., Mosca, Michele
Journal:
Theoretical Computer Science
Year:
2014
Language:
english
File:
PDF, 751 KB
english, 2014
11

A refined exact algorithm for Edge Dominating Set

Xiao, Mingyu, Nagamochi, Hiroshi
Journal:
Theoretical Computer Science
Year:
2014
Language:
english
File:
PDF, 649 KB
english, 2014
12

Quantum key distribution using a two-way quantum channel

Lucamarini, Marco, Mancini, Stefano
Journal:
Theoretical Computer Science
Year:
2014
Language:
english
File:
PDF, 456 KB
english, 2014
15

Lower bounds of shortest vector lengths in random NTRU lattices

Bi, Jingguo, Cheng, Qi
Journal:
Theoretical Computer Science
Year:
2014
Language:
english
File:
PDF, 303 KB
english, 2014
17

Interface simulation distances

Černý, Pavol, Chmelík, Martin, Henzinger, Thomas A., Radhakrishna, Arjun
Journal:
Theoretical Computer Science
Year:
2014
Language:
english
File:
PDF, 572 KB
english, 2014
20

Model-checking process equivalences

Lange, Martin, Lozes, Etienne, Vargas Guzmán, Manuel
Journal:
Theoretical Computer Science
Year:
2014
Language:
english
File:
PDF, 623 KB
english, 2014
23

Non-contextual chocolate balls versus value indefinite quantum cryptography

Svozil, Karl
Journal:
Theoretical Computer Science
Year:
2014
Language:
english
File:
PDF, 542 KB
english, 2014
25

Preface

Mor, Tal, Renner, Renato
Journal:
Theoretical Computer Science
Year:
2014
Language:
english
File:
PDF, 691 KB
english, 2014
26

The black paper of quantum cryptography: Real implementation problems

Scarani, Valerio, Kurtsiefer, Christian
Journal:
Theoretical Computer Science
Year:
2014
Language:
english
File:
PDF, 284 KB
english, 2014
27

Preface to the special issue on GandALF 2012

Faella, Marco, Murano, Aniello
Journal:
Theoretical Computer Science
Year:
2014
Language:
english
File:
PDF, 123 KB
english, 2014
28

Quantum cryptography: Public key distribution and coin tossing

Bennett, Charles H., Brassard, Gilles
Journal:
Theoretical Computer Science
Year:
2014
Language:
english
File:
PDF, 236 KB
english, 2014
29

Editorial Board

Journal:
Theoretical Computer Science
Year:
2014
File:
PDF, 70 KB
2014
30

Editorial Board

Journal:
Theoretical Computer Science
Year:
2014
File:
PDF, 70 KB
2014
31

Editorial Board

Journal:
Theoretical Computer Science
Year:
2014
File:
PDF, 70 KB
2014