×

Found 14 Documents (Results 1–14)

Newest Citations Relevance
Liu, Fukang; Isobe, Takanori; Meier, Willi

Automatic verification of differential characteristics: application to reduced Gimli. (English) Zbl 1499.94045

Micciancio, Daniele (ed.) et al., Advances in cryptology – CRYPTO 2020. 40th annual international cryptology conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17–21, 2020. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 12172, 219-248 (2020).
MSC:  94A60
Cite Review PDF
Full Text: DOI
Sharaya, Irene A.; Shary, Sergey P.

Reserve of characteristic inclusion as recognizing functional for interval linear systems. (English) Zbl 1354.65087

Nehmeier, Marco (ed.) et al., Scientific computing, computer arithmetic, and validated numerics. 16th international symposium, SCAN 2014, Würzburg, Germany, September 21–26, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-31768-7/pbk; 978-3-319-31769-4/ebook). Lecture Notes in Computer Science 9553, 148-167 (2016).
MSC:  65G30 65F05
Cite Review PDF
Full Text: DOI
OA License
Popova, Evgenija D.

Outer bounds for the parametric controllable solution set with linear shape. (English) Zbl 1354.65047

Nehmeier, Marco (ed.) et al., Scientific computing, computer arithmetic, and validated numerics. 16th international symposium, SCAN 2014, Würzburg, Germany, September 21–26, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-31768-7/pbk; 978-3-319-31769-4/ebook). Lecture Notes in Computer Science 9553, 138-147 (2016).
MSC:  65F05 65G30
Cite Review PDF
Full Text: DOI
OA License
Hoang, Viet Tung; Reyhanitabar, Reza; Rogaway, Phillip; Vizár, Damian

Online authenticated-encryption and its nonce-reuse misuse-resistance. (English) Zbl 1375.94167

Gennaro, Rosario (ed.) et al., Advances in cryptology – CRYPTO 2015. 35th annual cryptology conference, Santa Barbara, CA, USA, August 16–20, 2015. Proceedings. Part I. Berlin: Springer (ISBN 978-3-662-47988-9/pbk; 978-3-662-47989-6/ebook). Lecture Notes in Computer Science 9215, 493-517 (2015).
MSC:  94A62
Cite Review PDF
Full Text: DOI
Hoang, Viet Tung; Krovetz, Ted; Rogaway, Phillip

Robust authenticated-encryption AEZ and the problem that it solves. (English) Zbl 1365.94485

Oswald, Elisabeth (ed.) et al., Advances in cryptology – EUROCRYPT 2015. 34th annual international conference on the theory and applications of cryptographic techniques, Sofia, Bulgaria, April 26–30, 2015. Proceedings. Part I. Berlin: Springer (ISBN 978-3-662-46799-2/pbk; 978-3-662-46800-5/ebook). Lecture Notes in Computer Science 9056, 15-44 (2015).
MSC:  94A62
Cite Review PDF
Full Text: DOI
Chakraborty, Debrup; Sarkar, Palash

A general construction of tweakable block ciphers and different modes of operations. (English) Zbl 1172.94565

Lipmaa, Helger (ed.) et al., Information security and cryptology. Second SKLOIS conference, Inscrypt 2006, Beijing, China, November 29–December 1, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-49608-3/pbk). Lecture Notes in Computer Science 4318, 88-102 (2006).
MSC:  94A60 94A55
Cite Review PDF
Full Text: DOI

Filter Results by …

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software