TY - JOUR AU - Palágyi, Kálmán TI - 1-Attempt and Equivalent Thinning on the Hexagonal Grid JF - LECTURE NOTES IN COMPUTER SCIENCE J2 - LNCS VL - 2024 PY - 2024 SP - 390 EP - 401 PG - 12 SN - 0302-9743 DO - 10.1007/978-3-031-57793-2_30 UR - https://m2.mtmt.hu/api/publication/34805111 ID - 34805111 LA - English DB - MTMT ER - TY - JOUR AU - Bajczi, Levente AU - Ádám, Zsófia AU - Micskei, Zoltán Imre TI - ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution) JF - LECTURE NOTES IN COMPUTER SCIENCE J2 - LNCS VL - 14572 PY - 2024 SP - 330 EP - 334 PG - 5 SN - 0302-9743 DO - 10.1007/978-3-031-57256-2_16 UR - https://m2.mtmt.hu/api/publication/34768972 ID - 34768972 AB - ConcurrentWitness2Test is a violation witness validator for concurrent software. Taking both nondeterminism of data and interleaving-based nondeterminism into account, the tool aims to use the metadata described in the violation witnesses to synthesize an executable test harness. While plagued by some initial challenges yet to overcome, the validation performance of ConcurrentWitness2Test corroborates the usefulness of the proposed approach. LA - English DB - MTMT ER - TY - JOUR AU - Bajczi, Levente AU - Telbisz, Csanád Ferenc AU - Somorjai, Márk AU - Ádám, Zsófia AU - Dobos-Kovács, Mihály AU - Szekeres, Dániel AU - Mondok, Milán AU - Molnár, Vince TI - Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution) JF - LECTURE NOTES IN COMPUTER SCIENCE J2 - LNCS VL - 14572 PY - 2024 SP - 412 EP - 417 PG - 6 SN - 0302-9743 DO - 10.1007/978-3-031-57256-2_30 UR - https://m2.mtmt.hu/api/publication/34768428 ID - 34768428 AB - Theta is a model checking framework, with a strong emphasis on effectively handling concurrency in software using abstraction refinement algorithms. In SV-COMP 2024, we use 1) an abstraction-aware partial order reduction; 2) a dynamic statement reduction technique; and 3) enhanced support for call stacks to handle recursive programs. We integrate these techniques in an improved architecture with inherent support for portfolio-based verification using dynamic algorithm selection, with a diverse selection of supported SMT solvers as well. In this paper we detail the advances of Theta regarding concurrent and recursive software support. LA - English DB - MTMT ER - TY - JOUR AU - Bajczi, Levente AU - Szekeres, Dániel AU - Mondok, Milán AU - Ádám, Zsófia AU - Somorjai, Márk AU - Telbisz, Csanád Ferenc AU - Dobos-Kovács, Mihály AU - Molnár, Vince TI - EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution) JF - LECTURE NOTES IN COMPUTER SCIENCE J2 - LNCS VL - 14572 PY - 2024 SP - 371 EP - 375 PG - 5 SN - 0302-9743 DO - 10.1007/978-3-031-57256-2_23 UR - https://m2.mtmt.hu/api/publication/34768422 ID - 34768422 AB - Theta is a model checking framework conventionally based on abstraction refinement techniques. While abstraction is useful for a large number of verification problems, the over-reliance on the technique led to Theta being unable to meaningfully adapt. Identifying this problem in previous years of SV-COMP has led us to create EmergenTheta , a sandbox for the new approaches we want Theta to support. By differentiating between mature and emerging techniques, we can experiment more freely without hurting the reliability of the overall framework. In this paper we detail the development route to EmergenTheta , and its first debut on SV-COMP’24 in the ReachSafety category. LA - English DB - MTMT ER - TY - JOUR AU - Keshan, Neha AU - Hendler, James A. TI - SCIVO. Skills to Career with Interests and Values Ontology TS - Skills to Career with Interests and Values Ontology JF - LECTURE NOTES IN COMPUTER SCIENCE J2 - LNCS VL - 14382 PY - 2023 SP - 262 EP - 276 PG - 15 SN - 0302-9743 DO - 10.1007/978-3-031-47745-4_19 UR - https://m2.mtmt.hu/api/publication/34772650 ID - 34772650 LA - English DB - MTMT ER - TY - JOUR AU - Nelyubina, Elena AU - Ryazanov, Vladimir AU - Vinogradov, Alexander TI - Analogs of Image Analysis Tools in the Search of Latent Regularities in Applied Data JF - LECTURE NOTES IN COMPUTER SCIENCE J2 - LNCS VL - 13644 PY - 2023 SP - 529 EP - 540 PG - 12 SN - 0302-9743 DO - 10.1007/978-3-031-37742-6_41 UR - https://m2.mtmt.hu/api/publication/34756865 ID - 34756865 LA - English DB - MTMT ER - TY - JOUR AU - Vadász, Noémi TI - Resolving Hungarian Anaphora with ChatGPT JF - LECTURE NOTES IN COMPUTER SCIENCE J2 - LNCS VL - 14102 PY - 2023 SP - 45 EP - 57 PG - 13 SN - 0302-9743 DO - 10.1007/978-3-031-40498-6_5 UR - https://m2.mtmt.hu/api/publication/34754557 ID - 34754557 LA - English DB - MTMT ER - TY - JOUR AU - Pelofske, Elijah AU - Bärtschi, Andreas AU - Eidenbenz, Stephan TI - Quantum Annealing vs. QAOA: 127 Qubit Higher-Order Ising Problems on NISQ Computers JF - LECTURE NOTES IN COMPUTER SCIENCE J2 - LNCS VL - 13948 PY - 2023 SP - 240 EP - 258 PG - 19 SN - 978-3-031-32041-5 SN - 0302-9743 UR - https://m2.mtmt.hu/api/publication/34719645 ID - 34719645 AB - Quantum annealing (QA) and Quantum Alternating Operator Ansatz (QAOA) are both heuristic quantum algorithms intended for sampling optimal solutions of combinatorial optimization problems. In this article we implement a rigorous direct comparison between QA on D-Wave hardware and QAOA on IBMQ hardware. These two quantum algorithms are also compared against classical simulated annealing. The studied problems are instances of a class of Ising models, with variable assignments of $$+1$$+1or $$-1$$-1, that contain cubic ZZZ interactions (higher order terms) and match both the native connectivity of the Pegasus topology D-Wave chips and the heavy hexagonal lattice of the IBMQ chips. The novel QAOA implementation on the heavy hexagonal lattice has a CNOT depth of 6 per round and allows for usage of an entire heavy hexagonal lattice. Experimentally, QAOA is executed on an ensemble of randomly generated Ising instances with a grid search over 1 and 2 round angles using all 127 programmable superconducting transmon qubits of ibm_washington. The error suppression technique digital dynamical decoupling is also tested on all QAOA circuits. QA is executed on the same Ising instances with the programmable superconducting flux qubit devices D-Wave Advantage_system4.1 and Advantage_system6.1 using modified annealing schedules with pauses. We find that QA outperforms QAOA on all problem instances. We also find that dynamical decoupling enables 2-round QAOA to marginally outperform 1-round QAOA, which is not the case without dynamical decoupling. LA - English DB - MTMT ER - TY - JOUR AU - Kiss-Vetráb, Mercedes AU - Gosztolya, Gábor TI - Aggregation Strategies of Wav2vec 2.0 Embeddings for Computational Paralinguistic Tasks JF - LECTURE NOTES IN COMPUTER SCIENCE J2 - LNCS VL - 14338 PY - 2023 SP - 79 EP - 93 PG - 15 SN - 0302-9743 DO - 10.1007/978-3-031-48309-7_7 UR - https://m2.mtmt.hu/api/publication/34511444 ID - 34511444 N1 - Export Date: 17 January 2024 Correspondence Address: Vetráb, M.; Institute of Informatics, Hungary; email: vetrabm@inf.u-szeged.hu LA - English DB - MTMT ER - TY - JOUR AU - Chen, M AU - Imran, Muhammad AU - Ivanyos, Gábor AU - Kutas, Péter AU - Leroux, A AU - Petit, C TI - Hidden Stabilizers, the Isogeny to Endomorphism Ring Problem and the Cryptanalysis of pSIDH JF - LECTURE NOTES IN COMPUTER SCIENCE J2 - LNCS VL - 14440 PY - 2023 SP - 99 EP - 130 PG - 32 SN - 0302-9743 DO - 10.1007/978-981-99-8727-6_4 UR - https://m2.mtmt.hu/api/publication/34445422 ID - 34445422 N1 - University of Birmingham, Birmingham, United Kingdom Budapest University of Technology and Economics, Budapest, Hungary Institute for Computer Science and Control, Hungarian Research Network, Budapest, Hungary DGA-MI, Bruz, France IRMAR, UMR 6625, Université de Rennes, Rennes, France Eötvös Loránd University, Budapest, Hungary Université libre de Bruxelles, Bruxelles, Belgium Conference code: 305449 Export Date: 19 February 2024 Correspondence Address: Kutas, P.; University of BirminghamUnited Kingdom; email: kutasp@gmail.com Funding details: Engineering and Physical Sciences Research Council, EPSRC, EP/V011324/1 Funding details: Magyar Tudományos Akadémia, MTA Funding text 1: Gábor Ivanyos is supported in part by the Hungarian Ministry of Innovation and Technology NRDI Office within the framework of the Artificial Intelligence National Laboratory Program. Péter Kutas is supported by the Hungarian Ministry of Innovation and Technology NRDI Office within the framework of the Quantum Information National Laboratory Program, the J’anos Bolyai Research Scholarship of the Hungarian Academy of Sciences and by the UNKP-22-5 New National Excellence Program. Mingjie Chen, Péter Kutas and Christophe Petit are partly supported by EPSRC through grant number EP/V011324/1. Funding Agency and Grant Number: Hungarian Ministry of Innovation and Technology NRDI Office; Janos Bolyai Research Scholarship of the Hungarian Academy of Sciences; New National Excellence Program [UNKP-22-5]; EPSRC [EP/V011324/1] Funding text: Gabor Ivanyos is supported in part by the Hungarian Ministry of Innovation and Technology NRDI Office within the framework of the Artificial Intelligence National Laboratory Program. Peter Kutas is supported by the Hungarian Ministry of Innovation and Technology NRDI Office within the framework of the Quantum Information National Laboratory Program, the Janos Bolyai Research Scholarship of the Hungarian Academy of Sciences and by the UNKP-22-5 New National Excellence Program. Mingjie Chen, Peter Kutas and Christophe Petit are partly supported by EPSRC through grant number EP/V011324/1. AB - The Isogeny to Endomorphism Ring Problem (IsERP) asks to compute the endomorphism ring of the codomain of an isogeny between supersingular curves in characteristic p given only a representation for this isogeny, i.e. some data and an algorithm to evaluate this isogeny on any torsion point. This problem plays a central role in isogeny-based cryptography; it underlies the security of pSIDH protocol (ASIACRYPT 2022) and it is at the heart of the recent attacks that broke the SIDH key exchange. Prior to this work, no efficient algorithm was known to solve IsERP for a generic isogeny degree, the hardest case seemingly when the degree is prime. In this paper, we introduce a new quantum polynomial-time algorithm to solve IsERP for isogenies whose degrees are odd and have O(log log p) many prime factors. As main technical tools, our algorithm uses a quantum algorithm for computing hidden Borel subgroups, a group action on supersingular isogenies from EUROCRYPT 2021, various algorithms for the Deuring correspondence and a new algorithm to lift arbitrary quaternion order elements modulo an odd integer N with O(log log p) many prime factors to powersmooth elements. As a main consequence for cryptography, we obtain a quantum polynomial-time key recovery attack on pSIDH. The technical tools we use may also be of independent interest. LA - English DB - MTMT ER -