• Attribute evaluation on attack trees with incomplete information : a preprintBuldas, Ahto; Gadyatskaya, Olga; Lenin, Aleksandr; Mauw, Sjouke; Trujillo-Rasua, RolandarXiv.org2019 / 21 p. : ill http://arxiv.org/abs/1812.10754
• Bicategories in univalent foundationsAhrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolo; Weide, Niels van derarXiv.org2020 / 32 p https://doi.org/10.4230/LIPIcs.FSCD.2019.5
• CAC 2.0 : a corrupt and correct logic locking technique resilient to structural analysis attacksAksoy, Levent; Yasin, Muhammad; Pagliarini, Samuel NascimentoarXiv.org2024 / 6 p. : ill https://doi.org/10.48550/arXiv.2401.07142
• CLFT : camera-LiDAR fusion transformer for semantic segmentation in autonomous driving : preprintGu, Junyi; Bellone, Mauro; Pivonka, Tomas; Sell, RaivoarXiv.org2024 / 12 p. : ill https://doi.org/10.48550/arXiv.2404.17793
• Collages of string diagramsBraithwaite, Dylan; Roman Garcia, MarioarXiv.org2023 / p. 39-53 : ill https://doi.org/10.48550/arXiv.2305.02675
• Comparison of Bayesian and particle swarm algorithms for hyperparameter optimisation in machine learning applications in high energy physics : [preprint]Tani, Laurits; Veelken, ChristianarXiv.org2024 / 8 p. : ill https://doi.org/10.48550/arXiv.2201.06809
• Context-Free Languages of String DiagramsEarnshaw, Matthew David; Román, MarioarXiv.org2024 / 24 p. : ill https://doi.org/10.48550/arXiv.2404.10653
• Cornering optics : preprintBoisseau, Guillaume; Nester, Chad Mitchell; Roman Garcia, MarioarXiv.org2022 https://doi.org/10.48550/arXiv.2205.00842
• DeepVigor+: Scalable and Accurate Semi-Analytical Fault Resilience Analysis for Deep Neural NetworksAhmadilivani, Mohammad Hasan; Raik, Jaan; Daneshtalab, Masoud; Jenihhin, MaksimarXiv.org2024 / 14 p. : ill https://doi.org/10.48550/arXiv.2410.15742
• Detecting anisotropic inclusions through EIT [Online resource]Cristina, Jan; Päivärinta, Lassi JuhaniarXiv.org2016 / p. 1-18 https://arxiv.org/abs/1511.01233v2
• Diagrammatic algebra of first order logic : [preprint]Bonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan Joseph; Sobocinski, Pawel MariaarXiv.org2024 / 34 p. : ill https://doi.org/10.48550/arXiv.2401.07055
• Differential 2-rigsLoregian, Fosco; Trimble, ToddarXiv.org2022 / 16 p. : ill https://doi.org/10.48550/arXiv.2103.00938 https://msp.cis.strath.ac.uk/act2022/papers/ACT2022_paper_4413.pdf
• Discretizing numerical attributes : an analysis of human perceptionsKaushik, Minakshi; Sharma, Rahul; Draheim, DirkarXiv.org2023 / 18 p. : ill https://doi.org/10.48550/arXiv.2311.03278
• Early RTL analysis for SCA vulnerability in fuzzy extractors of memory-based PUF enabled devicesLai, Xinhui; Jenihhin, Maksim; Selims, GeorgiosarXiv.org2020 / 6 p. : ill https://doi.org/10.48550/arXiv.2008.08409 https://arxiv.org/abs/2008.08409
• Enhancing D-bar reconstructions for electrical impedance tomography with conformal maps [Online resource]Hyvönen, Nuutti; Päivärinta, Lassi Juhani; Tamminen, Janne Pertti OlaviarXiv.org2017 / p. 1-27 : ill https://arxiv.org/abs/1702.07531v1
• Escrows are opticsGenovese, Fabrizio; Loregian, Fosco; Palombi, DanielearXiv.org2022 / 16 p. : ill https://doi.org/10.48550/arXiv.2105.10028 https://arxiv.org/pdf/2105.10028.pdf
• Evolutionary algorithms for hyperparameter optimization in machine learning for application in high energy physics : [preprint]Tani, Laurits; Rand, Diana; Veelken, Christian; Kadastik, MarioarXiv.org2021 / 11 p. : ill https://doi.org/10.48550/arXiv.2011.04434
• Extending automated deduction for commonsense reasoningTammet, TanelarXiv.org2020 / p. 1-19 https://arxiv.org/pdf/2003.13159.pdf https://arxiv.org/abs/2003.13159
• Fekete's lemma for componentwise subadditive functions of two or more real variablesCapobianco, SilvioarXiv.org2019 / 20 p. : ill https://arxiv.org/abs/1904.10507
• Fibration linguistics (FibLang) : language acquisitionGenovese, Fabrizio; Loregian, Fosco; Puca, CaterinaarXiv.org2022 / p. 1-16 : ill https://doi.org/10.48550/arXiv.2207.06765 https://arxiv.org/pdf/2207.06765.pdf
• Fractional Brownian motion and asymptotic Bayesian estimation [Online resource]Päivärinta, Lassi Juhani; Piiroinen, PetteriarXiv.org2016 / p. 1-55 : ill https://arxiv.org/abs/1606.07576v1
• A framework for modelling, verification and transformation of concurrent imperative programsBortin, MaksymarXiv.org2020 / 57 p https://arxiv.org/abs/2007.02261 https://doi.org/10.48550/arXiv.2007.02261
• From an attention economy to an ecology of attending. A manifestoBombaerts, Gunter; Hannes, Tom; Adam, Martin; Aloisi, Alessandra; Anderson, Joel; Berger, Lawrence; Bettera, Stefano Davide; Campo, Enrico; Candiotto, Laura; Panizza, Silvia Caprioglio; Drechsler, Wolfgang; Shakya, ShobhitarXiv.org2024 / 21 p https://doi.org/10.48550/arXiv.2410.17421
• FuzzSense : Towards A Modular Fuzzing Framework for Autonomous Driving SoftwareRoberts, Andrew James; Teply, Lorenz; Pese, Mert D.; Maennel, Olaf Manuel; Hamad, Mohammad; Steinhorst, SebastianarXiv.org2025 / arXiv:2504.10717, 6 p. : ill https://doi.org/10.48550/arXiv.2504.10717
• Holistic approach for Fault-Tolerant Network-on-Chip based many-core systems [Online resource]Azad, Siavoosh Payandeh; Niazmand, Behrad; Raik, Jaan; Jervan, Gert; Hollstein, ThomasarXiv.org2016 / [8] p. : ill
• Holistic IJTAG-based external and internal fault monitoring in UAVsAhmed, Foisal; Jenihhin, MaksimarXiv.org2023 / 6 p. : ill https://doi.org/10.48550/arXiv.2303.01816
• Impact of orientation on the bias of SRAM-based PUFsAbideen, Zain Ul; Wang, Rui; Perez, Tiago Diadami; Schrijen, Geert-Jan; Pagliarini, Samuel NascimentoarXiv.org2023 / 7 p. : ill https://doi.org/10.48550/arXiv.2308.06730
• Interaction laws of monads and comonadsKatsumata, Shin-ya; Rivas, Exequiel; Uustalu, TarmoarXiv.org2019 / 28 p. : ill https://arxiv.org/abs/1912.13477
• Inverse acoustic scattering problem in half-space with anisotropic random impedance [Online resource]Helin, Tapio; Lassas, Matti; Päivärinta, Lassi JuhaniarXiv.org2014 / p. 1-26 https://arxiv.org/abs/1407.2481v2
• Inverse source problem with a posteriori boundary measurement for fractional diffusion equationsJanno, Jaan; Kian, YavararXiv.org2022 / 17 p https://doi.org/10.48550/arXiv.2207.06468
• KRATT : QBF-assisted removal and structural analysis attack against logic lockingAksoy, Levent; Yasin, Muhammad; Pagliarini, Samuel NascimentoarXiv.org2023 / 7 p. : ill https://doi.org/10.48550/arXiv.2311.05982
• Numerical association rule mining : a systematic literature reviewKaushik, Minakshi; Sharma, Rahul; Fister, Iztok jr.; Draheim, DirkarXiv.org2023 / 50 p. : ill https://doi.org/10.48550/arXiv.2307.00662
• Optics for premonoidal categoriesHefford, James; Roman Garcia, MarioarXiv.org2023 / p. 152-171 : ill https://doi.org/10.48550/arXiv.2305.02906
• An overview of FPGA-inspired obfuscation techniquesAbideen, Zain Ul; Gokulanathan, Sumathi; Aljafar, Muayad J.; Pagliarini, Samuel NascimentoarXiv.org2023 / 30 p. : ill https://doi.org/10.48550/arXiv.2305.15999
• Palatini Linear Attractors Are Back in ACTionDioguardi, Christian; Karam, AlexandrosarXiv.org2025 / 5 p https://doi.org/10.48550/arXiv.2504.12937 https://arxiv.org/abs/2504.12937
• Preventing distillation-based attacks on Neural Network IPGrailoo, Mahdieh; Abideen, Zain Ul; Leier, Mairo; Pagliarini, Samuel NascimentoarXiv.org2022 / 7 p. : ill https://doi.org/10.48550/arXiv.2204.00292
• ProAct: Progressive Training for Hybrid Clipped Activation Function to Enhance Resilience of DNNsMousavi, Seyedhamidreza; Ahmadilivani, Mohammad Hasan; Raik, Jaan; Jenihhin, Maksim; Daneshtalab, MasoudarXiv.org2024 / 12 p. : ill https://doi.org/10.48550/arXiv.2406.06313
• The produoidal algebra of process decompositionEarnshaw, Matthew David; Hefford, James; Roman Garcia, MarioarXiv.org2023 / 56 p. : ill https://doi.org/10.48550/arXiv.2301.11867
• Profunctor optics : a categorical updateClarke, Bryce James; Elkins, Derek; Gibbons, Jeremy; Loregian, Fosco; Milewski, Bartosz; Pillmore, Emily; Roman Garcia, MarioarXiv.org2022 / 45 p https://doi.org/10.48550/arXiv.2001.07488
• Promonads and string diagrams for effectful categories : preprintRoman Garcia, MarioarXiv.org2022 https://doi.org/10.48550/arXiv.2205.07664
• RESAA: A Removal and Structural Analysis Attack Against Compound Logic Locking : [preprint]Almeida, Felipe; Aksoy, Levent; Pagliarini, Samuel NascimentoarXiv.org2025 / 12 p. : ill https://doi.org/10.48550/arXiv.2409.16959
• SALSy : security-aware layout synthesisEslami, Mohammad; Perez, Tiago Diadami; Pagliarini, Samuel NascimentoarXiv.org2024 / 13 p. : ill https://doi.org/10.48550/arXiv.2308.06201
• SARS-CoV-2 Coronavirus data compression benchmarkLiiv, InnararXiv.org2020 / 6 p. https://arxiv.org/abs/2012.12013
• SCARF : securing chips with a robust framework against fabrication-time hardware Trojans : preprintEslami, Mohammad; Ghasempouri, Tara; Pagliarini, Samuel NascimentoarXiv.org2024 / 14 p. : ill https://doi.org/10.48550/arXiv.2402.12162
• Search for Higgs boson pairs decaying to WW*WW*, WW*ττ, and ττττ in proton-proton collisions at √s = 13 TeV : [preprint]Ehatäht, Karl; Kadastik, Mario; Raidal, Martti; Tani, Laurits; Veelken, ChristianarXiv.org2023 / 62 p. : ill https://doi.org/10.48550/arXiv.2206.10268
• Strictly convex corners scatter [Online resource]Päivärinta, Lassi Juhani; Salo, Mikko; Vesalainen, Esa V.arXiv.org2014 / p. 1-27 https://arxiv.org/abs/1404.2513v2
• A systematic study of lattice-based NIST PQC algorithms : from reference implementations to hardware acceleratorsImran, Malik; Abideen, Zain Ul; Pagliarini, Samuel NascimentoarXiv.org2020 / 36 p. : ill
• Tau lepton identification and reconstruction : a new frontier for jet-tagging ML algorithms : [preprint]Lange, Thomas; Nandan, Saswati; Pata, Joosep; Tani, Laurits; Veelken, ChristianarXiv.org2023 / 22 p. : ill https://doi.org/10.48550/arXiv.2307.07747
• ULTRA : a data-driven approach for recommending team formation in response to proposal callsSrivastava, Biplav; Koppel, Tarmo; Shah, RonakarXiv.org2022 / 7 p https://doi.org/10.48550/arXiv.2201.05646
• A version of the simplex method for solving linear systems of inequalities and linear programming problemsÜbi, Jaan; Übi, EvaldarXiv.org2023 / 9 p https://doi.org/10.48550/arXiv.2305.03730
• Why quantum state verification cannot be both efficient and secure : a categorical approachWiesner, Fabian; Chaoui, Ziad; Kessler, Diana-Maria; Pappa, Anna; Karvonen, MarttiarXiv.org2024 / 36 p https://doi.org/10.48550/arXiv.2411.04767