13 citations · 39 across the 9 of their papers we have counts for
10 papers
Diagnosing Generalization Boundaries in AI-Based Vulnerability Detection via Calibrated Embedding Distances
Konstantin Ievtushenko, Ralf Lämmel, Jan Jürjens
High benchmark scores in learning-based vulnerability detection mask severe degradation under distribution shifts. This paper demonstrates that calibrated embedding geometry expose…
Reconstruction as a service: a data space for off-site image reconstruction in magnetic particle imaging
Anselm von Gladiss, Amir Shayan Ahmadian, Jan Jürjens
Magnetic particle imaging (MPI) is an emerging medical imaging modality which offers a unique combination of high temporal and spatial resolution, sensitivity and biocompatibility.…
Formalizing Cost Fairness for Two-Party Exchange Protocols using Game Theory and Applications to Blockchain (Extended Version)
Matthias Lohr, Kenneth Skiba, Marco Konersmann +2
Existing fair exchange protocols usually neglect consideration of cost when assessing their fairness. However, in an environment with non-negligible transaction cost, e.g., public…
Beyond Trading Data: The Hidden Influence of Public Awareness and Interest on Cryptocurrency Volatility
Zeyd Boukhers, Azeddine Bouabdallah, Cong Yang +1
Since Bitcoin first appeared on the scene in 2009, cryptocurrencies have become a worldwide phenomenon as important decentralized financial assets. Their decentralized nature, howe…
COIN: Counterfactual Image Generation for VQA Interpretation
Zeyd Boukhers, Timo Hartmann, Jan Jürjens
Due to the significant advancement of Natural Language Processing and Computer Vision-based models, Visual Question Answering (VQA) systems are becoming more intelligent and advanc…
Checking Security Compliance between Models and Code
Katja Tuma, Sven Peldszus, Daniel Strüber +2
It is challenging to verify that the planned security mechanisms are actually implemented in the software. In the context of model-based development, the implemented security mecha…
Critical Systems Development Using Modeling Languages. (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop)
Jan Jürjens, Eduardo B. Fernandez, Robert B. France +2
We give a short report on the contributions to and some discussions made and conclusions drawn at the Third International Workshop on Critical Systems Development Using Modeling La…
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols
François Dupressoir, Andrew D. Gordon, Jan Jürjens +1
We describe how to verify security properties of C code for cryptographic protocols by using a general-purpose verifier. We prove security theorems in the symbolic model of cryptog…
An Efficient Approach towards Mitigating Soft Errors Risks
Muhammad Sheikh Sadi, Md. Mizanur Rahman Khan, Md. Nazim Uddin +1
Smaller feature size, higher clock frequency and lower power consumption are of core concerns of today's nano-technology, which has been resulted by continuous downscaling of CMOS…
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution
Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descriptio…