2LS: Arrays and Loop Unwinding
Malík, V., Nečas, F., Schrammel, P., Vojnar, T. (2023). Published in: Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2023. Lecture Notes in Computer Science, vol 13994. Springer, Cham.
Dive into our Publications section for an insightful collection of the latest cybersecurity research, whitepapers, and articles. Our resources cover a broad range of topics, enhancing your understanding of the security landscape.
Malík, V., Nečas, F., Schrammel, P., Vojnar, T. (2023). Published in: Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2023. Lecture Notes in Computer Science, vol 13994. Springer, Cham.
Schwarzová, T., Strejček, J., Major, J. (2023). Published in: 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy
Švábenský, V., Vykopal, J., Čeleda, P., Dovjak, J. (2023). Published in: Journal of Education and Information Technologies (2023).
Dobias, P., Ricci, S., Dzurenda, P., Malina, L., Snetkov, N. (2023). Published in: Proceedings of the 20th International Conference on Security and Cryptography (SECRYPT 2023). Science and Technology Publications. 2023. ISBN: 978-989-758-666-8.p. 724-730.
Dobias, P., Malina, L., Ilgner, P., Dzurenda, P. (2023). Published in: Proceedings of the 18th International Conference on Availability, Reliability and Security (ARES ’23). Association for Computing Machinery, New York, NY, USA, Article 127, 1–9.2023.
Seeba, M., Oja, T., Murumaa, M. P., Stupka, V. (2023). Published in: Proceedings of the 18th International Conference on Availability, Reliability and Security (ARES ’23). Association for Computing Machinery, New York, NY, USA, Article 132, 1–8.
Bakhtina, M., Leung, K. L., Matulevičius, R., Awad, A., Švenda, P. (2023). Published in: Proceedings of the 18th International Conference on Availability, Reliability and Security (ARES ’23). Association for Computing Machinery, New York, NY, USA, Article 128, 1–8.
Daubner, L., Matulevičius, R., Buhnova, B. (2023). Published in: Nurcan, S., Opdahl, A.L., Mouratidis, H., Tsohou, A. (eds) Research Challenges in Information Science: Information Science and the Connected World. RCIS 2023. Lecture Notes in Business Information Processing, vol 476. Springer, Cham.
Bakhtina, M. (2023). Published in: CEUR Workshop Proceedings of the Doctoral Consortium Papers Presented at the 35th International Conference on Advanced Information Systems Engineering (CAiSE 2023), June 12–16, 2023, Zaragoza, Spain.
Daubner, L., Matulevičius, R., Buhnova, B., Antol, M., Růžička, M., Pitner, T. (2023). Published in: Indulska, M., Reinhartz-Berger, I., Cetina, C., Pastor, O. (eds) Advanced Information Systems Engineering. CAiSE 2023. Lecture Notes in Computer Science, vol 13901. Springer, Cham.