×

Found 960 Documents (Results 1–100)

100
MathJax

Unintended features of APIs: cryptanalysis of incremental HMAC. (English) Zbl 07498225

Dunkelman, Orr (ed.) et al., Selected areas in cryptography. 27th international conference, Halifax, NS, Canada (virtual event), October 21–23, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12804, 301-325 (2021).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

OptiLog: a framework for SAT-based systems. (English) Zbl 07495561

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 1-10 (2021).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI

Optimized item selection to boost exploration for recommender systems. (English) Zbl 07493644

Stuckey, Peter J. (ed.), Integration of constraint programming, artificial intelligence, and operations research. 18th international conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12735, 427-445 (2021).
MSC:  68T20 90C27
PDF BibTeX XML Cite
Full Text: DOI

Parallel coherent graph transformations. (English) Zbl 07415134

Roggenbach, Markus (ed.), Recent trends in algebraic development techniques. 25th international workshop, WADT 2020, virtual event, April 29, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12669, 75-97 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software