×

Found 1,234 Documents (Results 1–100)

Linear size universal point sets for classes of planar graphs. (English) Zbl 07927888

Chambers, Erin W. (ed.) et al., 39th international symposium on computational geometry, SoCG 2023, Dallas, Texas, USA, June 12–15, 2023. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 258, Article 31, 16 p. (2023).
MSC:  68U05 68R10

Composable oblivious pseudo-random functions via garbled circuits. (English) Zbl 1547.94362

Aly, Abdelrahaman (ed.) et al., Progress in cryptology – LATINCRYPT 2023. 8th international conference on cryptology and information security in Latin America, LATINCRYPT 2023, Quito, Ecuador, October 3–6, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14168, 249-270 (2023).
MSC:  94A60 81P94 68P25
Full Text: DOI

Composable long-term security with rewinding. (English) Zbl 1545.94053

Rothblum, Guy (ed.) et al., Theory of cryptography. 21st international conference, TCC 2023, Taipei, Taiwan, November 29 – December 2, 2023. Proceedings. Part IV. Cham: Springer. Lect. Notes Comput. Sci. 14372, 510-541 (2023).
MSC:  94A60 68P25
Full Text: DOI

Non-adaptive universal one-way hash functions from arbitrary one-way functions. (English) Zbl 1528.94071

Hazay, Carmit (ed.) et al., Advances in cryptology – EUROCRYPT 2023. 42nd annual international conference on the theory and applications of cryptographic techniques, Lyon, France, April 23–27, 2023. Proceedings. Part IV. Cham: Springer. Lect. Notes Comput. Sci. 14007, 502-531 (2023).
MSC:  94A60 68P25
Full Text: DOI

Witness-succinct universally-composable SNARKs. (English) Zbl 1535.94053

Hazay, Carmit (ed.) et al., Advances in cryptology – EUROCRYPT 2023. 42nd annual international conference on the theory and applications of cryptographic techniques, Lyon, France, April 23–27, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14005, 315-346 (2023).
MSC:  94A60 68P25 68N20
Full Text: DOI

A machine-checked proof of Birkhoff’s variety theorem in Martin-Löf type theory. (English) Zbl 07890954

Basold, Henning (ed.) et al., 27th international conference on types for proofs and programs, TYPES 2021, Leiden, The Netherlands, virtual conference, June 14–18, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 239, Article 4, 21 p. (2022).
MSC:  03B70 68N30

Universally composable almost-everywhere secure computation. (English) Zbl 07871074

Dachman-Soled, Dana (ed.), 3rd conference on information-theoretic cryptography, ITC 2022, Cambridge, MA, USA, July 5–7, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 230, Article 14, 25 p. (2022).
MSC:  68P25 94A60
Full Text: DOI

Formalizing delayed adaptive corruptions and the security of flooding networks. (English) Zbl 1515.68087

Dodis, Yevgeniy (ed.) et al., Advances in cryptology – CRYPTO 2022. 42nd annual international cryptology conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15–18, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13508, 400-430 (2022).

Universally composable subversion-resilient cryptography. (English) Zbl 1496.94032

Dunkelman, Orr (ed.) et al., Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13275, 272-302 (2022).
MSC:  94A60 68P25 68N20
Full Text: DOI

Filter Results by …

Access

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software