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

Collages of string diagramsBraithwaite, Dylan; Roman Garcia, MarioarXiv.org2023 / p. 39-53 : ill https://doi.org/10.48550/arXiv.2305.02675

Cornering opticsBoisseau, Guillaume; Nester, Chad Mitchell; Roman Garcia, MarioarXiv.org2023 / p. 97–110 https://doi.org/10.4204/EPTCS.380.6

DeepAxe : a framework for exploration of approximation and reliability trade-offs in DNN acceleratorsTaheri, Mahdi; Riazati, Mohamad; Ahmadilivani, Mohammad Hasan; Jenihhin, Maksim; Daneshtalab, Masoud; Raik, Jaan; Sjödin, Mikael; Lisper, BjörnarXiv.org2023 / 8 p. : ill https://doi.org/10.48550/arXiv.2303.0822

Detecting anisotropic inclusions through EIT [Online resource]Cristina, Jan; Päivärinta, Lassi JuhaniarXiv.org2016 / p. 1-18 https://arxiv.org/abs/1511.01233v2

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

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

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

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

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; 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 categoriesRoman Garcia, MarioarXiv.org2023 / p. 344-361 : ill https://doi.org/10.4204/EPTCS.380.20

SARS-CoV-2 Coronavirus data compression benchmarkLiiv, InnararXiv.org2020 / 6 p. https://arxiv.org/abs/2012.12013

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

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