Blar i University of Bergen Library på tidsskrift "Lecture Notes in Computer Science (LNCS)"
Viser treff 1-20 av 20
-
Attacks on Integer-RLWE
(Journal article; Peer reviewed, 2020)In 2019, Gu Chunsheng introduced Integer-RLWE, a variant of RLWE devoid of some of its efficiency flaws. Most notably, he proposes a setting where n can be an arbitrary positive integer, contrarily to the typical construction ... -
A Bit-Vector Differential Model for the Modular Addition by a Constant
(Journal article; Peer reviewed, 2020)ARX algorithms are a class of symmetric-key algorithms constructed by Addition, Rotation, and XOR, which achieve the best software performances in low-end microcontrollers. To evaluate the resistance of an ARX cipher against ... -
Computing Consensus: A Logic for Reasoning About Deliberative Processes Based on Argumentation
(Journal article; Peer reviewed, 2019)Argumentation theory can encode an agent’s assessment of the state of an exchange of points of view. We present a conservative model of multiple agents potentially disagreeing on the views presented during a process of ... -
Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach
(Journal article; Peer reviewed, 2022)Systematic and formally underpinned consistency checking of heterogeneously typed interdependent behavioural models requires a common metamodel, into which the involved models can be translated. And, if additional system ... -
FINDSAMPO: A Linked Data Based Portal and Data Service for Analyzing and Disseminating Archaeological Object Finds
(Journal article; Peer reviewed, 2022)This paper presents the FINDSAMPO system for analyzing and disseminating archaeological object finds made by the public. The system is based on Linked Open Data (LOD), and consists of a web portal and an open data service. ... -
Generalization of a class of APN binomials to Gold-like functions
(Journal article; Peer reviewed, 2021)In 2008 Budaghyan, Carlet and Leander generalized a known instance of an APN function over the finite field F212 and constructed two new infinite families of APN binomials over the finite field F2n , one for n divisible ... -
Geometric Planar Networks on Bichromatic Points
(Journal article; Peer reviewed, 2020)We study four classical graph problems – Hamiltonian path, Traveling salesman, Minimum spanning tree, and Minimum perfect matching on geometric graphs induced by bichromatic ( Open image in new window and Open image in new ... -
Group Belief
(Journal article; Peer reviewed, 2020)While logical formalizations of group notions of knowledge such as common and distributed knowledge have received considerable attention in the literature, most approaches being based on modal logic, group notions of belief ... -
Guarding the First Order: The Rise of AES Maskings
(Journal article; Peer reviewed, 2023)We provide three first-order hardware maskings of the AES, each allowing for a different trade-off between the number of shares and the number of register stages. All maskings use a generalization of the changing of the ... -
I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking
(Journal article; Peer reviewed, 2022)Static analysers are traditionally used to check various correctness properties of software. In the face of refactorings that can have adverse effects on correctness, developers need to analyse the code after refactoring ... -
Improving Judgment Reliability in Social Networks via Jury Theorems
(Journal article; Peer reviewed, 2019)Opinion aggregators—such as ‘like’ or ‘retweet’ counters—are ubiquitous on social media platforms and often treated as implicit quality evaluations of the entry liked or retweeted, with higher counts indicating higher ... -
Making the BKW Algorithm Practical for LWE
(Journal article; Peer reviewed, 2020)The Learning with Errors (LWE) problem is one of the main mathematical foundations of post-quantum cryptography. One of the main groups of algorithms for solving LWE is the Blum-Kalai-Wasserman (BKW) algorithm. This paper ... -
On Dasgupta’s Hierarchical Clustering Objective and Its Relation to Other Graph Parameters
(Journal article; Peer reviewed, 2021)The minimum height of vertex and edge partition trees are well-studied graph parameters known as, for instance, vertex and edge ranking number. While they are NP-hard to determine in general, linear-time algorithms exist ... -
On the Effect of DCE MRI Slice Thickness and Noise on Estimated Pharmacokinetic Biomarkers – A Simulation Study
(Journal article; Peer reviewed, 2020)Simulation of a dynamic contrast-enhanced magnetic resonance imaging (DCE MRI) multiple sclerosis brain dataset is described. The simulated images in the implemented version have 1×1×1mm3 voxel resolution and arbitrary ... -
Overview of the ImageCLEF 2020: Multimedia Retrieval in Medical, Lifelogging, Nature, and Internet Applications
(Journal article; Peer reviewed, 2020)This paper presents an overview of the ImageCLEF 2020 lab that was organized as part of the Conference and Labs of the Evaluation Forum - CLEF Labs 2020. ImageCLEF is an ongoing evaluation initiative (first run in 2003) ... -
The Perfect Matching Cut Problem Revisited
(Journal article; Peer reviewed, 2021)In a graph, a perfect matching cut is an edge cut that is a perfect matching. perfect matching cut (pmc) is the problem of deciding whether a given graph has a perfect matching cut, and is known to be NP -complete. We ... -
Quantitative Externalization of Visual Data Analysis Results Using Local Regression Models
(Journal article; Peer reviewed, 2017)Both interactive visualization and computational analysis methods are useful for data studies and an integration of both approaches is promising to successfully combine the benefits of both methodologies. In interactive ... -
Synthesis and Analysis of Petri Nets from Causal Specifications
(Journal article; Peer reviewed, 2022)Petri nets are one of the most prominent system-level formalisms for the specification of causality in concurrent, distributed, or multi-agent systems. This formalism is abstract enough to be analyzed using theoretical ... -
Three problems on well-partitioned chordal graphs
(Journal article; Peer reviewed, 2021)In this work, we solve three problems on well-partitioned chordal graphs. First, we show that every connected (resp., 2-connected) well-partitioned chordal graph has a vertex that intersects all longest paths (resp., longest ... -
Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins
(Journal article; Peer reviewed, 2022)Digital twin applications use digital artefacts to twin physical systems. The purpose is to continuously mirror the structure and behavior of the physical system, such that users can analyse the physical system by means ...