research
∙
06/14/2023
Compatibility of Fairness Metrics with EU Non-Discrimination Laws: Demographic Parity Conditional Demographic Disparity
Empirical evidence suggests that algorithmic decisions driven by Machine...
share
research
∙
02/18/2023
Experimental Toolkit for Manipulating Executable Packing
Be it for a malicious or legitimate purpose, packing, a transformation t...
research
∙
02/09/2023
Timed I/O Automata: It is never too late to complete your timed specification theory
A specification theory combines notions of specifications and implementa...
research
∙
04/29/2022
Symbolic analysis meets federated learning to enhance malware identifier
Over past years, the manually methods to create detection rules were no ...
research
∙
04/12/2022
Malware Analysis with Symbolic Execution and Graph Kernel
Malware analysis techniques are divided into static and dynamic analysis...
research
∙
09/24/2021
Test Scenario Generation for Context-Oriented Programs
Their highly adaptive nature and the combinatorial explosion of possible...
research
∙
05/02/2021
Analysis of Machine Learning Approaches to Packing Detection
Packing is an obfuscation technique widely used by malware to hide the c...
research
∙
01/21/2021
Quantitative Security Risk Modeling and Analysis with RisQFLan
Domain-specific quantitative modeling and analysis approaches are fundam...
research
∙
12/10/2020
A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features (Extended Version)
Lifted (family-based) static analysis by abstract interpretation is capa...
research
∙
09/23/2020
Behavioral Specification Theories: an Algebraic Taxonomy
We develop a taxonomy of different behavioral specification theories and...
research
∙
06/04/2020
Automatic Verification of LLVM Code
In this work we present our work in developing a software verification t...
research
∙
05/12/2020
Featured Games
Feature-based SPL analysis and family-based model checking have seen rap...
research
∙
10/20/2019
Computing Branching Distances Using Quantitative Games
We lay out a general method for computing branching distances between la...
research
∙
06/18/2019
Secure Architectures Implementing Trusted Coalitions for Blockchained Distributed Learning (TCLearn)
Distributed learning across a coalition of organizations allows the memb...
research
∙
03/04/2019
Sequential Relational Decomposition
The concept of decomposition in computer science and engineering is cons...
research
∙
02/14/2019
Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version)
Variability models allow effective building of many custom model variant...
research
∙
09/08/2018
Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow
Analysis of a probabilistic system often requires to learn the joint pro...
research
∙
12/04/2017
Formal Verification of Probabilistic SystemC Models with Statistical Model Checking
Transaction-level modeling with SystemC has been very successful in desc...
research
∙
07/26/2017
