×

Found 43 Documents (Results 1–43)

Distilling constraints in zero-knowledge protocols. (English) Zbl 1514.68081

Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13371, 430-443 (2022).
MSC:  68Q11 94A60
PDFBibTeX XMLCite
Full Text: DOI

Stacking sigmas: a framework to compose \(\varSigma\)-protocols for disjunctions. (English) Zbl 1497.94093

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, 458-487 (2022).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

Automatic differentiation with higher infinitesimals, or computational smooth infinitesimal analysis in Weil algebra. (English) Zbl 1495.68250

Boulier, François (ed.) et al., Computer algebra in scientific computing. 23rd international workshop, CASC 2021, Sochi, Russia, September 13–17, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12865, 174-191 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

TurboIKOS: improved non-interactive zero knowledge and post-quantum signatures. (English) Zbl 1492.94190

Sako, Kazue (ed.) et al., Applied cryptography and network security. 19th international conference, ACNS 2021, Kamakura, Japan, June 21–24, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12727, 365-395 (2021).
MSC:  94A62 81P94
PDFBibTeX XMLCite
Full Text: DOI

Optimized and secure pairing-friendly elliptic curves suitable for one layer proof composition. (English) Zbl 1520.94053

Krenn, Stephan (ed.) et al., Cryptology and network security. 19th international conference, CANS 2020, Vienna, Austria, December 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12579, 259-279 (2020).
MSC:  94A60 14H52 14G50
PDFBibTeX XMLCite
Full Text: DOI

Employing C++ templates in the design of a computer algebra library. (English) Zbl 1503.68306

Bigatti, Anna Maria (ed.) et al., Mathematical software – ICMS 2020. 7th international conference, Braunschweig, Germany, July 13–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12097, 342-352 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Quantitative continuity and computable analysis in Coq. (English) Zbl 07649977

Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 28, 21 p. (2019).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Efficient and accurate detection of topologically associating domains from contact maps. (English) Zbl 1443.92134

Schwartz, Russell (ed.) et al., 17th international workshop on algorithms in bioinformatics, WABI 2017, Boston, MA, USA, August 21–23, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 88, Article 22, 11 p. (2017).
MSC:  92D20 92-04
PDFBibTeX XMLCite
Full Text: DOI

Sublinear zero-knowledge arguments for RAM programs. (English) Zbl 1411.94079

Coron, Jean-Sébastien (ed.) et al., Advances in cryptology – EUROCRYPT 2017. 36th annual international conference on the theory and applications of cryptographic techniques, Paris, France, April 30 – May 4, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10210, 501-531 (2017).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

MiMC: efficient encryption and cryptographic hashing with minimal multiplicative complexity. (English) Zbl 1404.94035

Cheon, Jung Hee (ed.) et al., Advances in cryptology – ASIACRYPT 2016. 22nd international conference on the theory and application of cryptology and information security, Hanoi, Vietnam, December 4–8, 2016. Proceedings. Part I. Berlin: Springer (ISBN 978-3-662-53886-9/pbk; 978-3-662-53887-6/ebook). Lecture Notes in Computer Science 10031, 191-219 (2016).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software