Search
Search Results
-
Non-interactive Zero-Knowledge Functional Proofs
In this paper, we consider to generalize NIZK by empowering a prover to share a witness in a fine-grained manner with verifiers. Roughly, the prover... -
How do Android developers improve non-functional properties of software?
Nowadays there is an increased pressure on mobile app developers to take non-functional properties into account. An app that is too slow or uses much...
-
Typed Non-determinism in Functional and Concurrent Calculi
We study functional and concurrent calculi with non-determinism, along with type systems to control resources based on linearity. The interplay... -
Towards Optimal Non-functional Requirements Elicitation and Documentation in Agile Software Development: A Case Study
In agile software development, non-functional requirements are often underspecified and improperly handled due to the focus on rapidly delivering... -
Multi-input Non-interactive Functional Encryption: Constructions and Applications
We consider a non-interactive secure computation protocol that we call multi-input non-interactive functional encryption (MINI-FE). In a MINI-FE... -
Intellectual Property Law
This chapter discusses intellectual property including patents, copyrights and trademarks. Intellectual property law deals with the rules that apply... -
Continuous Certification of Non-functional Properties Across System Changes
Existing certification schemes implement continuous verification techniques aiming to prove non-functional (e.g., security) properties of software... -
Cryptographic Primitives with Hinting Property
A hinting pseudorandom generator (PRG) is a potentially stronger variant of PRG with a “deterministic” form of circular security with respect to the...
-
Mathematical aspects of division property
This work surveys mathematical aspects of division property , which is a state-of-the-art technique in cryptanalysis of symmetric-key algorithms, such...
-
Non-functional Testing of Runtime Enforcers in Android
Runtime enforcers can be used to ensure that running applications satisfy desired correctness properties. Although runtime enforcers that are... -
Non-blind constraint image deblurring problem with mean curvature functional
Most of the time, while deblurring an image, we need the restored image’s intensities to be precisely non-negative. However, it has been noted that...
-
Non-functional requirements for machine learning: understanding current use and challenges among practitioners
Systems that rely on Machine Learning (ML systems) have differing demands on quality—known as non-functional requirements (NFRs)—from traditional...
-
Property graph representation learning for node classification
Graph representation learning (graph embedding) has led to breakthrough results in various machine learning graph-based applications such as node...
-
Robust Property-Preserving Hash Meets Homomorphism
Boyle et al. introduced the Property-Preserving Hash (PPH) concept in 2019, spawning a series of subsequent research endeavors over the following two... -
Integrating the analysis of multiple non-functional properties in model-driven engineering
This paper discusses the progress made so far and future challenges in integrating the analysis of multiple Non-Functional Properties (NFP) (such as...
-
TimeLine Depiction: an approach to graphical notation for supporting temporal property specification
The finite-state verification techniques such as model checking allow for automated checking whether system model described with automata satisfy...
-
DEPS: a model- and property-based language for system synthesis problems
DEPS (design problem specification) is a new modeling language designed to pose and solve system design problems. DEPS addresses problems of sizing,...
-
3D-Mol: A Novel Contrastive Learning Framework for Molecular Property Prediction with 3D Information
Molecular property prediction, crucial for early drug candidate screening and optimization, has seen advancements with deep learning-based methods....
-
Confidence Preservation Property in Knowledge Distillation Abstractions
Social media platforms prevent malicious activities by detecting harmful content of posts and comments. To that end, they employ large-scale deep... -
Imputation of Compound Property Assay Data Using a Gene Expression Programming-Based Method
Compound property assays are an important part of drug development, but incomplete data may occur for a variety of reasons. To deal with these...