From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “verifiability” 255

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

PROVE: Provable remote attestation for public verifiability
2023 Journal of Information Security and Applications article Computer Science Security and Verification in Computing Open access cited by 1 patent

Edlira Dushku, Md Masoom Rabbani, Jo Vliegen, An Braeken, Nele Mentens

10

citations
Efficient Compiler to Covert Security with Public Verifiability for Honest Majority MPC
2022 Lecture notes in computer science conference-paper Computer Science Cryptography and Data Security Open access

Thomas Attema, Vincent Dunning, Maarten H. Everts, Peter Langenkamp

5

citations
Secure End-to-End Sensing in Supply Chains
2020 IEEE Conference on Communications and Network Security conference-paper Computer Science Blockchain Technology Applications and Security

Jan Pennekamp, Fritz Alder, Roman Matzutt, Jan Tobias Mühlberg, Frank Piessens, Klaus Wehrle

20

citations
Evaluation of Attribution Bias in Generator-Aware Retrieval-Augmented Large Language Models
2025 conference-paper Computer Science Topic Modeling Open access

Amin Abolghasemi, Leif A. Azzopardi, Seyyed Hadi Hashemi, Maarten de Rijke, Suzan Verberne

2

citations
Evaluation of Attribution Bias in Generator-Aware Retrieval-Augmented Large Language Models
2024 arXiv (Cornell University) preprint Computer Science Topic Modeling Open access

Amin Abolghasemi, Leif A. Azzopardi, Seyyed Hadi Hashemi, Maarten de Rijke, Suzan Verberne

0

citations
Blockchain Technology Accelerating Industry 4.0
2023 Advances in information security book-chapter Computer Science Blockchain Technology Applications and Security

Jan Pennekamp, Lennart Bader, Eric Wagner, Jens Hiller, Roman Matzutt, Klaus Wehrle

1

citations
Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Christopher Brix, Grani A. Hanasusanto, Huan Zhang

3

citations
Provably Bounding Neural Network Preimages
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Suhas Kotha, Christopher Brix, J. Zico Kolter, Krishnamurthy

6

citations
Reasoning about Parameterized Recursive Quantum Programs with Ancilla Data and Probabilistic Control
2026 ACM Transactions on Computational Logic article Computer Science Logic, programming, and type systems Open access

Dominique Unruh, Benoît Valiron, Mingsheng Ying

0

citations
Latticed k-Induction with an Application to Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer

21

citations
MM-OptBench: A Solver-Grounded Benchmark for Multimodal Optimization Modeling
2026 arXiv (Cornell University) preprint Computer Science Topic Modeling Open access

Zhong Li, Qi Huang, Yuxuan Zhu, Mohammad Mohammadi Amiri, Bas van Stein, Thomas Bäck, +3 more

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
2025 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

citations
Formal Verification of Quantum Ancilla Safety
2026 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

Jiqi Li, Jingyi Mei, Wang Sheng Fang, Ji Guan

0

citations
Robust self-testing of steerable quantum assemblages and its applications on device-independent quantum certification
2021 Quantum article Computer Science Quantum Information and Cryptography Open access

Shin-Liang Chen, Huan-Yu Ku, Wenbin Zhou, Jordi Tura, Yueh-Nan Chen

26

citations
Specific Emitter Identification Based on Radio Frequency Fingerprint Using Multi-Scale Network
2022 IEEE Vehicular Technology Conference conference-paper Computer Science Wireless Signal Modulation Classification

Yibin Zhang, Yang Peng, Bamidele Adebisi, Guan Gui, Haris Gacanin, Hikmet Sari

25

citations
A Deductive Verification Infrastructure for Probabilistic Programs
2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

22

citations
An Automatic Framework to Create Patient-specific Eye Models From 3D Magnetic Resonance Images for Treatment Selection in Patients With Uveal Melanoma
2021 Advances in Radiation Oncology article Computer Science Medical Image Segmentation Techniques Open access

Mohamed Kilany Hassan, Emmanuelle Fleury, Denis P. Shamonin, Lorna Grech Fonk, Marina Marinkovic, Myriam G. Jaarsma‐Coes, +4 more

12

citations
Data sharing upon request and statistical consistency errors in psychology: A replication of Wicherts, Bakker and Molenaar (2011)
2023 PLoS ONE article Computer Science Research Data Management Practices Open access

Aline Claesen, Wolf Vanpaemel, Anne-Sofie Maerten, Thomas Verliefde, Francis Tuerlinckx, Tom Heyman

8

citations
Autoencoder-enabled model portability for reducing hyperparameter tuning efforts in side-channel analysis
2023 Journal of Cryptographic Engineering article Computer Science Cryptographic Implementations and Security Open access

Marina Krček, Guilherme Perin

5

citations
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
2025 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

Ming Xu, Jingyi Mei, Ji Guan, Yuxin Deng, Nengkun Yu

3

citations
Towards verifiable Benchmarks for Reinforcement Learning
2022 IEEE Conference on Games (CoG) conference-paper Computer Science Reinforcement Learning in Robotics

Matthias Müller-Brockhausen, Aske Plaat, Mike Preuß

3

citations
Robustness Distributions in Neural Network Verification
2025 Journal of Artificial Intelligence Research article Computer Science Adversarial Robustness in Machine Learning Open access

Annelot W. Bosman, Holger H. Hoos, Jan N. van Rijn

2

citations
Controller verification meets controller code
2021 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) conference-paper Computer Science Formal Methods in Verification

Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám

2

citations
Autoencoder-enabled Model Portability for Reducing Hyperparameter Tuning Efforts in Side-channel Analysis
2023 Research Square preprint Computer Science Cryptographic Implementations and Security Open access

Marina Krček, Guilherme Perin

1

citations
Verifying Belief-Based Programs via Symbolic Dynamic Programming
2023 Frontiers in artificial intelligence and applications book-chapter Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Qinfei Huang, Vaishak Belle, Gerhard Lakemeyer

1

citations