×

Found 44,593 Documents (Results 1–100)

A comprehensive software verification technology for onboard control systems of spacecraft. (English. Russian original) Zbl 07811374

Autom. Remote Control 84, No. 10, 1047-1054 (2023); translation from Avtom. Telemekh. 2023, No. 10, 48-58 (2023).
MSC:  68Nxx
PDFBibTeX XMLCite
Full Text: DOI

Cryptography with certified deletion. (English) Zbl 07800233

Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part V. Cham: Springer. Lect. Notes Comput. Sci. 14085, 192-223 (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Constant input attribute based (and predicate) encryption from evasive and tensor LWE. (English) Zbl 07800220

Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part IV. Cham: Springer. Lect. Notes Comput. Sci. 14084, 532-564 (2023).
MSC:  94A60 68P25 68N20
PDFBibTeX XMLCite
Full Text: DOI

On active attack detection in messaging with immediate decryption. (English) Zbl 07800215

Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part IV. Cham: Springer. Lect. Notes Comput. Sci. 14084, 362-395 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Combined fault and leakage resilience: composability, constructions and compiler. (English) Zbl 07799262

Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 14083, 377-409 (2023).
MSC:  68N20 68P25 94A60
PDFBibTeX XMLCite
Full Text: DOI

Best of both worlds. Revisiting the spymasters double agent problem. (English) Zbl 07799099

Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 14081, 328-359 (2023).
MSC:  94A60 68N20 68P25
PDFBibTeX XMLCite
Full Text: DOI

Impossibilities in succinct arguments: black-box extraction and more. (English) Zbl 07798846

El Mrabet, Nadia (ed.) et al., Progress in cryptology – AFRICACRYPT 2023. 14th international conference on cryptology in Africa, Sousse, Tunisia, July 19–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14064, 465-489 (2023).
MSC:  68Pxx 68Nxx 94A60
PDFBibTeX XMLCite
Full Text: DOI

Mathematics and ChatGPT. A rendezvous at the foot of the technological singularity. (Mathematik und ChatGPT. Ein Rendezvous am Fuße der technologischen Singularität.) (German) Zbl 07796262

Berlin: Springer Spektrum (ISBN 978-3-662-68208-1/pbk; 978-3-662-68209-8/ebook). xiv, 290 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

From the hardness of detecting superpositions to cryptography: quantum public key encryption and commitments. (English) Zbl 07789175

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 I. Cham: Springer. Lect. Notes Comput. Sci. 14004, 639-667 (2023).
MSC:  81P94 68N20 94A60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Subgame optimal strategies in finite concurrent games with prefix-independent objectives. (English) Zbl 07770354

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 541-560 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Model and program repair via group actions. (English) Zbl 07770353

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 520-540 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Just testing. (English) Zbl 07770352

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 498-519 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

An efficient cyclic entailment procedure in a fragment of separation logic. (English) Zbl 07770351

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 477-497 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Fixed points and Noetherian topologies. (English) Zbl 07770350

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 456-476 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Pebble minimization: the last theorems. (English) Zbl 07770349

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 436-455 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Compositional learning for interleaving parallel automata. (English) Zbl 07770348

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 413-435 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Fast matching of regular patterns with synchronizing counting. (English) Zbl 07770347

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 392-412 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the comparison of discounted-sum automata with multiple discount factors. (English) Zbl 07770346

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 371-391 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Quantitative safety and liveness. (English) Zbl 07770345

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 349-370 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Preservation and reflection of bisimilarity via invertible steps. (English) Zbl 07770344

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 328-348 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Weighted and branching bisimilarities from generalized open maps. (English) Zbl 07770343

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 308-327 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Explainability of probabilistic bisimilarity distances for labelled Markov chains. (English) Zbl 07770342

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 285-307 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Reverse bisimilarity vs. forward bisimilarity. (English) Zbl 07770341

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 265-284 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Unboundedness problems for machines with reversal-bounded counters. (English) Zbl 07770340

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 240-264 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

On history-deterministic one-counter nets. (English) Zbl 07770339

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 218-239 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Coverability in 2-VASS with one unary counter is in NP. (English) Zbl 07770338

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 196-217 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the existential arithmetics with addition and bitwise minimum. (English) Zbl 07770337

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 176-195 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

A programming language characterizing quantum polynomial time. (English) Zbl 07770336

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 156-175 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

A strict constrained superposition calculus for graphs. (English) Zbl 07770335

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 135-155 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

A formal logic for formal category theory. (English) Zbl 07770334

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 113-134 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

A higher-order language for Markov kernels and linear operators. (English) Zbl 07770333

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 89-112 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

A logical framework with higher-order rational (circular) terms. (English) Zbl 07770332

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 68-88 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Kantorovich functors and characteristic logics for behavioural distances. (English) Zbl 07770331

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 46-67 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Deciding contextual equivalence of \(\nu \)-calculus with effectful contexts. (English) Zbl 07770330

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 24-45 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

When programs have to watch paint dry. (English) Zbl 07770329

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 1-23 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Transparent batchable time-lock puzzles and applications to Byzantine consensus. (English) Zbl 07770268

Boldyreva, Alexandra (ed.) et al., Public-key cryptography – PKC 2023. 26th IACR international conference on practice and theory of public-key cryptography, Atlanta, GA, USA, May 7–10, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13940, 554-584 (2023).
MSC:  68P25 68N20 94A60
PDFBibTeX XMLCite
Full Text: DOI

Fundamentals of software engineering. 10th international conference, FSEN 2023, Tehran, Iran, May 4–5, 2023. Revised selected papers. (English) Zbl 07768478

Lecture Notes in Computer Science 14155. Cham: Springer (ISBN 978-3-031-42440-3/pbk; 978-3-031-42441-0/ebook). x, 157 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

Trends in functional programming. 24th international symposium, TFP 2023, Boston, MA, USA, January 13–15, 2023. Revised selected papers. (English) Zbl 07768454

Lecture Notes in Computer Science 13868. Cham: Springer (ISBN 978-3-031-38937-5/pbk; 978-3-031-38938-2/ebook). ix, 107 p. (2023).
MSC:  68-06 68N18 00B25
PDFBibTeX XMLCite
Full Text: DOI

Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 80th birthday. (English) Zbl 07768432

Lecture Notes in Computer Science 14080. Cham: Springer (ISBN 978-3-031-40435-1/pbk; 978-3-031-40436-8/ebook). xiv, 413 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

Structure-preserving compilers from new notions of obfuscations. (English) Zbl 07766997

Boldyreva, Alexandra (ed.) et al., Public-key cryptography – PKC 2023. 26th IACR international conference on practice and theory of public-key cryptography, Atlanta, GA, USA, May 7–10, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13941, 663-693 (2023).
MSC:  68N20 68Pxx 94A60
PDFBibTeX XMLCite
Full Text: DOI

Constructive algorithm to vectorize \((P \otimes P\) product for symmetric matrix \(P\). (English. Russian original) Zbl 07752283

Comput. Math. Math. Phys. 63, No. 9, 1559-1570 (2023); translation from Zh. Vychisl. Mat. Mat. Fiz. 63, No. 9, 1415-1427 (2023).
PDFBibTeX XMLCite
Full Text: DOI

A practical compiler for attribute-based encryption: new decentralized constructions and more. (English) Zbl 07745604

Rosulek, Mike (ed.), Topics in cryptology – CT-RSA 2023. Cryptographers’ track at the RSA conference 2023, San Francisco, CA, USA, April 24–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13871, 132-159 (2023).
MSC:  68P25 68N20 94A60
PDFBibTeX XMLCite
Full Text: DOI

Functional encryption with secure key leasing. (English) Zbl 1524.68122

Agrawal, Shweta (ed.) et al., Advances in cryptology – ASIACRYPT 2022. 28th international conference on the theory and application of cryptology and information security, Taipei, Taiwan, December 5–9, 2022. Proceedings. Part IV. Cham: Springer. Lect. Notes Comput. Sci. 13794, 569-598 (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Reversible debugging in logic programming. (English) Zbl 07729482

Lopez-Garcia, Pedro (ed.) et al., Analysis, verification and transformation for declarative programming and intelligent systems. Essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13160, 266-280 (2023).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: DOI arXiv

Proof-theoretic foundations of normal logic programs. (English) Zbl 07729480

Lopez-Garcia, Pedro (ed.) et al., Analysis, verification and transformation for declarative programming and intelligent systems. Essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13160, 233-252 (2023).
MSC:  68N17 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Modularization of logic programs. (English) Zbl 07729479

Lopez-Garcia, Pedro (ed.) et al., Analysis, verification and transformation for declarative programming and intelligent systems. Essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13160, 222-232 (2023).
MSC:  68N17 68Q55 68T30
PDFBibTeX XMLCite
Full Text: DOI

Layerings of logic programs – layer decomposable semantics and incremental model computation. (English) Zbl 07729478

Lopez-Garcia, Pedro (ed.) et al., Analysis, verification and transformation for declarative programming and intelligent systems. Essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13160, 206-221 (2023).
MSC:  68N17 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Answer set programming made easy. (English) Zbl 07729474

Lopez-Garcia, Pedro (ed.) et al., Analysis, verification and transformation for declarative programming and intelligent systems. Essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13160, 133-150 (2023).
MSC:  68N17 68T27 68T30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Statistical relational extension of answer set programming. (English) Zbl 07729284

Bertossi, Leopoldo (ed.) et al., Reasoning web. Causality, explanations and declarative knowledge. 18th international summer school 2022, Berlin, Germany, September 27–30, 2022. Tutorial lectures. Cham: Springer. Lect. Notes Comput. Sci. 13759, 132-160 (2023).
MSC:  68T05 68N17
PDFBibTeX XMLCite
Full Text: DOI

Software implementation of a code-based key encapsulation mechanism from binary QD generalized Srivastava codes. (English) Zbl 07729109

Deneuville, Jean-Christophe (ed.), Code-based cryptography. 10th international workshop, CBCrypto 2022, Trondheim, Norway, May 29–30, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13839, 77-89 (2023).
MSC:  68Nxx 94Bxx
PDFBibTeX XMLCite
Full Text: DOI

Program semantics and verification technique for AI-centred programs. (English) Zbl 07728858

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 473-491 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Reasoning about promises in weak memory models with event structures. (English) Zbl 07728848

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 282-300 (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

symQV: automated symbolic verification of quantum programs. (English) Zbl 07728843

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 181-198 (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Result invalidation for incremental modular analyses. (English) Zbl 07728625

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 296-319 (2023).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Sound symbolic execution via abstract interpretation and its application to security. (English) Zbl 07728624

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 267-295 (2023).
MSC:  68N30 68Q55
PDFBibTeX XMLCite
Full Text: DOI arXiv

Efficient interprocedural data-flow analysis using treedepth and treewidth. (English) Zbl 07728620

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 177-202 (2023).
MSC:  68Q60 68N30 68R10
PDFBibTeX XMLCite
Full Text: DOI

A pragmatic approach to stateful partial order reduction. (English) Zbl 07728618

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 129-154 (2023).
MSC:  68Q60 68N30 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Symbolic abstract heaps for polymorphic information-flow guard inference. (English) Zbl 07728615

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 66-90 (2023).
MSC:  68N30 68N19
PDFBibTeX XMLCite
Full Text: DOI arXiv

Distributing and parallelizing non-canonical loops. (English) Zbl 07728612

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 1-24 (2023).
MSC:  68N30 68N19
PDFBibTeX XMLCite
Full Text: DOI

Adaptive versus static multi-oracle algorithms, and quantum security of a split-key PRF. (English) Zbl 1519.94108

Kiltz, Eike (ed.) et al., Theory of cryptography. 20th international conference, TCC 2022, Chicago, IL, USA, November 7–10, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13747, 33-51 (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Prolog: the next 50 years. (English) Zbl 1517.68030

Lecture Notes in Computer Science 13900. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-031-35253-9/pbk; 978-3-031-35254-6/ebook). xvi, 394 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

28th international conference on types for proofs and programs, TYPES 2022, LS2N, University of Nantes, France, June 20–25, 2022. (English) Zbl 1517.68019

LIPIcs – Leibniz International Proceedings in Informatics 269. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-285-3). vii, 15 articles, not consecutively paged, electronic only, open access (2023).
PDFBibTeX XMLCite
Full Text: DOI Link

50th international colloquium on automata, languages, and programming, ICALP 2023, Paderborn, Germany, July 10–14, 2023. (English) Zbl 1518.68011

LIPIcs – Leibniz International Proceedings in Informatics 261. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-278-5). xxxviii, 137 articles, not consecutively paged, electronic only, open access (2023).
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

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