×

Found 940 Documents (Results 1–100)

SAF: SAT-based attractor finder in asynchronous automata networks. (English) Zbl 07810891

Pang, Jun (ed.) et al., Computational methods in systems biology. 21st international conference, CMSB 2023, Luxembourg City, Luxembourg, September 13–15, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14137, 175-183 (2023).
MSC:  92C42
PDFBibTeX XMLCite
Full Text: DOI

ASCA vs. SASCA. A closer look at the AES key schedule. (English) Zbl 1526.94041

Kavun, Elif Bilge (ed.) et al., Constructive side-channel analysis and secure design. 14th international workshop, COSADE 2023, Munich, Germany, April 3–4, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13979, 65-85 (2023).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

An efficient strategy to construct a better differential on multiple-branch-based designs: application to Orthros. (English) Zbl 1522.94091

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, 277-304 (2023).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

Exploring SAT for cryptanalysis: (quantum) collision attacks against 6-round SHA-3. (English) Zbl 07731558

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 III. Cham: Springer. Lect. Notes Comput. Sci. 13793, 645-674 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Differential cryptanalysis of round-reduced SPEEDY family. (English) Zbl 1519.94199

Deng, Yi (ed.) et al., Information security and cryptology. 18th International conference, Inscrypt 2022, Beijing, China, December 11–13, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13837, 272-291 (2023).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

Directed flow-augmentation. (English) Zbl 07774390

Leonardi, Stefano (ed.) et al., Proceedings of the 54th annual ACM SIGACT symposium on theory of computing, STOC ’22, Rome, Italy June 20–24, 2022. New York, NY: Association for Computing Machinery (ACM). 938-947 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

State identification and verification with satisfaction. (English) Zbl 1524.68176

Jansen, Nils (ed.) et al., A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13560, 450-466 (2022).
MSC:  68Q45 68Q60 68R07
PDFBibTeX XMLCite
Full Text: DOI

Properties of SAT formulas characterizing convex sets with given projections. (English) Zbl 1522.68642

Baudrier, Étienne (ed.) et al., Discrete geometry and mathematical morphology. Second international joint conference, DGMM 2022, Strasbourg, France, October 24–27, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13493, 153-166 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Decentralized online scheduling of malleable NP-hard jobs. (English) Zbl 1512.68048

Cano, José (ed.) et al., Euro-Par 2022: parallel processing. 28th international conference on parallel and distributed computing, Glasgow, UK, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13440, 119-135 (2022).
PDFBibTeX XMLCite
Full Text: DOI

New records of pre-image search of reduced SHA-1 using SAT solvers. (English) Zbl 1498.94053

Giri, Debasis (ed.) et al., Proceedings of the seventh international conference on mathematics and computing, ICMC 2021, Shibpur, India, March 2–5, 2021. Singapore: Springer. Adv. Intell. Syst. Comput. 1412, 141-151 (2022).
MSC:  94A60 68P25 68T20
PDFBibTeX XMLCite
Full Text: DOI

A SAT encoding to compute aperiodic tiling rhythmic canons. (English) Zbl 1502.00085

Schaus, Pierre (ed.), Integration of constraint programming, artificial intelligence, and operations research. 19th international conference, CPAIOR 2022, Los Angeles, CA, USA, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13292, 14-23 (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv

FOSSIL: a software tool for the formal synthesis of Lyapunov functions and barrier certificates using neural networks. (English) Zbl 07807697

Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 24, 11 p. (2021).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Dynamic Boolean formula evaluation. (English) Zbl 07788634

Ahn, Hee-Kap (ed.) et al., 32nd international symposium on algorithms and computation, ISAAC 2021, Fukuoka, Japan, December 6–8, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 212, Article 61, 19 p. (2021).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI

Past matters: supporting LTL+Past in the BLACK satisfiability checker. (English) Zbl 07744951

Combi, Carlo (ed.) et al., 28th international symposium on temporal representation and reasoning. TIME 2021, Klagenfurt, Austria (virtual conference), September 27–29, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 206, Article 8, 17 p. (2021).
MSC:  03B44 68Q60 68T27
PDFBibTeX XMLCite
Full Text: DOI

Evidence for long-tails in SLS algorithms. (English) Zbl 07740937

Mutzel, Petra (ed.) et al., 29th annual European symposium on algorithms. ESA 2021, Lisbon, Portugal (virtual conference), September 6–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 204, Article 82, 16 p. (2021).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Recursive backdoors for SAT. (English) Zbl 07724246

Bonchi, Filippo (ed.) et al., 46th international symposium on mathematical foundations of computer science, MFCS 2021, August 23–27, 2021, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 202, Article 73, 18 p. (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

itauto: an extensible intuitionistic SAT solver. (English) Zbl 07699426

Cohen, Liron (ed.) et al., 12th international conference on interactive theorem proving, ITP 2021, Rome, Italy, virtual conference, June 29 – July 1, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 193, Article 9, 18 p. (2021).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Pushing the limits: searching for implementations with the smallest area for lightweight S-boxes. (English) Zbl 1514.94116

Adhikari, Avishek (ed.) et al., Progress in cryptology – INDOCRYPT 2021. 22nd International conference on cryptology in India, Jaipur, India, December 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13143, 159-178 (2021).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

Convexity of division property transitions: theory, algorithms and compact models. (English) Zbl 1514.94134

Tibouchi, Mehdi (ed.) et al., Advances in cryptology – ASIACRYPT 2021. 27th international conference on the theory and application of cryptology and information security, Singapore, December 6–10, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13090, 332-361 (2021).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

Forced independent optimized implementation of 4-bit S-box. (English) Zbl 1522.94055

Baek, Joonsang (ed.) et al., Information security and privacy. 26th Australasian conference, ACISP 2021, virtual event, December 1–3, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13083, 151-170 (2021).
MSC:  94A60 94C11 94D10
PDFBibTeX XMLCite
Full Text: DOI

Subsampling and knowledge distillation on adversarial examples: new techniques for deep learning based side channel evaluations. (English) Zbl 1493.94033

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, 567-592 (2021).
MSC:  94A60 68T07
PDFBibTeX XMLCite
Full Text: DOI

Efficient SAT-based minimal model generation methods for modal logic S5. (English) Zbl 07495576

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, 225-241 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI

Solving non-uniform planted and filtered random SAT formulas greedily. (English) Zbl 07495573

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, 188-206 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI

Zero-correlation linear cryptanalysis with equal treatment for plaintexts and tweakeys. (English) Zbl 1479.94238

Paterson, Kenneth G. (ed.), Topics in cryptology – CT-RSA 2021. Cryptographers’ track at the RSA conference 2021, virtual event, May 17–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12704, 126-147 (2021).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software