F-REG, F-KRK — Key registration, with knowledge

F-REG, F-KRK (Key registration, with knowledge) is part of Idealized Setup and Resources in the UC functionality encyclopedia. Status: an idealized setup assumption or shared resource.

References:

• Barak et al. Universally composable protocols with relaxed set-up assumptions. In 45th IEEE Symposium on Foundations of Computer Science (FOCS), pages 186–195, 2004.