Public keys. (English)
Safavi-Naini, Reihaneh (ed.) et al., Advances in cryptology ‒ CRYPTO 2012. 32nd annual cryptology conference, Santa Barbara, CA, USA, August 19‒23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32008-8/pbk). Lecture Notes in Computer Science 7417, 626-642 (2012).
1
LTL satisfiability checking. (English)
Int. J. Softw. Tools Technol. Transf. 12, No. 2, 123-137 (2010).
2
Algorithmic stability and sanity-check bounds for leave-one-out cross validation. (English)
Neural Comput. 11, No. 6, 1427-1453 (1999).
3
Algorithmic stability and sanity-check bounds for leave-one-out cross validation. (English)
Neural Comput. 11, No. 6, 1427-1453 (1999).
4