69 citations · 69 across the 2 of their papers we have counts for
2 papers
cs.FL2017
Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems
Ryota Nakayama, Naoki Nishida, Masahiko Sakai
In this paper, we show that the SR transformation, a computationally equivalent transformation proposed by Serbanuta and Rosu, is a sound structure-preserving transformation for we…
quant-ph2013★ 69 cited
Security analysis of the decoy method with the Bennett-Brassard 1984 protocol for finite key lengths
Masahito Hayashi, Ryota Nakayama
This paper provides a formula for the sacrifice bit-length for privacy amplification with the Bennett-Brassard 1984 protocol for finite key lengths when we employ the decoy method.…