×

Found 4,950 Documents (Results 1–100)

Batch arguments for NP and more from standard bilinear group assumptions. (English) Zbl 1515.68143

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, 433-463 (2022).
MSC:  68Q10 68Q15 94A60
PDF BibTeX XML Cite
Full Text: DOI

Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier. (English) Zbl 1496.94028

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 II. Cham: Springer. Lect. Notes Comput. Sci. 13276, 275-304 (2022).
MSC:  94A60 68P25 68Q15
PDF BibTeX XML Cite
Full Text: DOI

A PCP theorem for interactive proofs and applications. (English) Zbl 1497.68207

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 II. Cham: Springer. Lect. Notes Comput. Sci. 13276, 64-94 (2022).
PDF BibTeX XML Cite
Full Text: DOI

BKW meets Fourier new algorithms for LPN with sparse parities. (English) Zbl 1511.94083

Nissim, Kobbi (ed.) et al., Theory of cryptography. 19th international conference, TCC 2021, Raleigh, NC, USA, November 8–11, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13043, 658-688 (2021).
MSC:  94A60 68Q15
PDF BibTeX XML Cite
Full Text: DOI

Non-interactive batch arguments for NP from standard assumptions. (English) Zbl 1486.68079

Malkin, Tal (ed.) et al., Advances in cryptology – CRYPTO 2021. 41st annual international cryptology conference, CRYPTO 2021, virtual event, August 16–20, 2021. Proceedings. Part IV. Cham: Springer. Lect. Notes Comput. Sci. 12828, 394-423 (2021).
MSC:  68Q15 68Q10 94A60
PDF BibTeX XML Cite
Full Text: DOI

Proof-carrying data without succinct arguments. (English) Zbl 1485.94066

Malkin, Tal (ed.) et al., Advances in cryptology – CRYPTO 2021. 41st annual international cryptology conference, CRYPTO 2021, virtual event, August 16–20, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12825, 681-710 (2021).
MSC:  94A60 68Q15
PDF BibTeX XML Cite
Full Text: DOI

On the possibility of basing cryptography on \(\mathsf{EXP}\ne \mathsf{BPP} \). (English) Zbl 1512.68120

Malkin, Tal (ed.) et al., Advances in cryptology – CRYPTO 2021. 41st annual international cryptology conference, CRYPTO 2021, virtual event, August 16–20, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12825, 11-40 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Equilibrium traffic flow assignment in a multi-subnet urban road network. (English) Zbl 1485.90020

Pardalos, Panos (ed.) et al., Mathematical optimization theory and operations research. 20th international conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12755, 3-16 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Optimization of a recursive conveyor by reduction to a constraint satisfaction problem. (English. Russian original) Zbl 1481.90173

Autom. Remote Control 82, No. 11, 1892-1906 (2021); translation from Avtom. Telemekh. 2021, No. 11, 75-93 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Sublinear-time language recognition and decision by one-dimensional cellular automata. (English) Zbl 07601075

Jonoska, Nataša (ed.) et al., Developments in language theory. 24th international conference, DLT 2020, Tampa, FL, USA, May 11–15, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12086, 251-265 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

On the existence of hidden machines in computational time hierarchies. (English) Zbl 1496.03164

de Barros, J. Acacio (ed.) et al., A true polymath. A tribute to Francisco Antonio Doria. Based on the meeting, Rio de Janeiro, Brazil, December 2018. [s.l.]: College Publications. Acad. Bras. Filos. 2, 113-121 (2020).
MSC:  03D15 03D20 68Q15
PDF BibTeX XML Cite
Full Text: arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software