From

Institution

Field

Type

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

Reset

Papers matching “security properties” 12

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Designing ML-Resilient Locking at Register-Transfer Level
2022 arXiv (Cornell University) preprint Computer Science Physical Unclonable Functions (PUFs) and Hardware Security Open access

Dominik Šišejković, Luca Collini, Benjamin Tan, Christian Pilato, Ramesh Karri, Rainer Leupers

6

citations
Introducing a Framework to Enable Anonymous Secure Multi-Party Computation in Practice (Extended Version)
2021 arXiv (Cornell University) preprint Computer Science Cryptography and Data Security Open access

Malte Breuer, Ulrike Meyer, Susanne Wetzel

0

citations
Automated Information Flow Analysis for Integrated Computing-in-Memory Modules
2023 arXiv (Cornell University) preprint Computer Science Security and Verification in Computing Open access

Lennart M. Reimann, Felix Staudigl, Rainer Leupers

0

citations
Tractable Hyperproperties for MDPs
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges

0

citations
Introducing Asynchronicity to Probabilistic Hyperproperties
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour

0

citations
The Fiat–Shamir Transformation of (Γ1, . . . , Γµ)-Special-Sound Interactive Proofs
2025 Zenodo (CERN European Organization for Nuclear Research) preprint Computer Science Cryptography and Data Security Open access

Thomas Attema, Serge Feh, Michael Klooß, Nicolas Resch

0

citations
A NanoBRET-based assay monitoring interactions in the USP18 signaling hub identifies the first cell-penetrant small molecule compromising USP18/ISG15 binding
2025 bioRxiv (Cold Spring Harbor Laboratory) preprint Immunology and Microbiology interferon and immune responses Open access

Sandra Hess, Marta Campos Alonso, Michael J. D. Brand, Susan Lauw, Urs Lindenmann, Paul P. Geurink, +3 more

6

citations
Advancements in Mine Communication Systems: The Efficacy and Applications of 5G and LoRa Technologies in Modern Mining Operations
2026 Preprints.org preprint Engineering IoT Networks and Protocols Open access

Amir Ehsan Kianfar, Elisabeth Clausen

1

citations
Cell-Cell Separation Device: measurement of intercellular detachment forces
2023 bioRxiv (Cold Spring Harbor Laboratory) preprint Biochemistry, Genetics and Molecular Biology Cellular Mechanics and Interactions Open access

Julia Eckert, Volha A. Matylitskaya, Stephan Kasemann, Stefan Partel, Thomas Schmidt

0

citations
Reputation Systems for Supply Chains: The Challenge of Achieving Privacy Preservation
2023 arXiv (Cornell University) preprint Social Sciences Access Control and Trust Open access

Lennart Bader, Jan Pennekamp, Emildeon Thevaraj, Maria Spiß, Salil S. Kanhere, Klaus Wehrle

0

citations
Analytically Characterized Optimal Power Control for Signal-Level-Integrated Sensing, Computing and Communication in Federated Learning
2026 arXiv (Cornell University) preprint Computer Science Distributed Sensor Networks and Detection Algorithms Open access

Paul Zheng, Yao Zhu, Xiaopeng Yuan, Yulin Hu, Anke Schmeink

0

citations
Shifting-based Optimizable Linear Relaxations for General Activation Functions
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Philipp Kern, László Antal, Erika Ábrahám, Carsten Sinz

0

citations

12 results