From

Institution

Field

Type

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

Reset

Papers matching “security properties” 43

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

A Comprehensive Review of Quasi-Deterministic Authentication in High-Load Web Systems: Security Models, Optimization Techniques, and Emerging Computing Applications
2025 International Journal on Advanced Computer Theory and Engineering article Computer Science Advanced Authentication Protocols Security Open access

A. G. Lewis, B. Horváth, R. Costa

0

citations
Blocklength Allocation for Security-Enhanced MEC with Dependency-Aware Tasks
2023 International Conference on Wireless Communications and Signal Processing (WCSP) conference-paper Computer Science IoT and Edge/Fog Computing

Xinlan Yu, Yao Lin Zhu, Yulin Hu, Tong Wang, Anke Schmeink

0

citations
Novel Bloom filter algorithms and architectures for ultra-high-speed network security applications
2020 Euromicro Conference on Digital System Design (DSD) conference-paper Computer Science Network Packet Processing and Optimization Open access

Arish Sateesan, Jo Vliegen, Joan Daemen, Nele Mentens

17

citations
QFlow: Quantitative Information Flow for Security-Aware Hardware Design in Verilog
2021 Proceedings, IEEE International Conference on Computer Design/Proceedings - IEEE International Conference on Computer Design conference-paper Computer Science Security and Verification in Computing Open access

Lennart M. Reimann, Luca Hanel, Dominik Šišejković, Farhad Merchant, Rainer Leupers

26

citations
Novel Non-cryptographic Hash Functions for Networking and Security Applications on FPGA
2021 Euromicro Conference on Digital System Design (DSD) conference-paper Computer Science Cryptographic Implementations and Security

Thomas Claesen, Arish Sateesan, Jo Vliegen, Nele Mentens

9

citations
A Guided Modeling Approach for Secure System Design
2024 IEEE International Conference on Software Architecture Companion (ICSA-C) conference-paper Computer Science Model-Driven Software Engineering Techniques

Alex R. Sabau

0

citations
SoftFlow: Automated HW-SW Confidentiality Verification for Embedded Processors
2023 IFIP/IEEE International Conference on Very Large Scale Integration conference-paper Computer Science Security and Verification in Computing

Lennart M. Reimann, Jonathan Wiesner, Dominik Šišejković, Farhad Merchant, Rainer Leupers

1

citations
SoK: multiparty computation in the preprocessing model
2025 Leiden Repository (Leiden University) report Computer Science Cryptography and Data Security Open access

S. Sun, E. Makri

0

citations
Improving the Model-Based Systems Engineering Process
2022 Springer eBooks book-chapter Computer Science Model-Driven Software Engineering Techniques Open access

Michael von Wenckstern

2

citations
Software engineering practices for machine learning — Adoption, effects, and team assessment
2023 Journal of Systems and Software article Computer Science Software Engineering Techniques and Practices Open access

Alex Serban, Koen van der Blom, Holger H. Hoos, Joost Visser

25

citations
Probabilistic Hyperproperties
2020 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

Erika Ábrahám

0

citations
Vertical IP Protection of the Next-Generation Devices: Quo Vadis?
2021 Design, Automation, and Test in Europe conference-paper Computer Science Physical Unclonable Functions (PUFs) and Hardware Security Open access

Shubham Rai, Siddharth Garg, Christian Pilato, Vladimir Herdt, Elmira Moussavi, Dominik Šišejković, +4 more

8

citations
Introducing a Framework to Enable Anonymous Secure Multi-Party Computation in Practice
2021 International Conference on Privacy, Security and Trust (PST) conference-paper Computer Science Cryptography and Data Security

Malte Breuer, Ulrike Meyer, Susanne Wetzel

5

citations
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
Designing ML-resilient locking at register-transfer level
2022 Proceedings - ACM IEEE Design Automation Conference conference-paper 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
RESERVE
2021 ACM Conference on Embedded Networked Sensor Systems (SenSys) conference-paper Computer Science Security and Verification in Computing

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

9

citations
RESERVE: Remote Attestation of Intermittent loT devices
2021 Zenodo (CERN European Organization for Nuclear Research) conference-paper Computer Science Security and Verification in Computing Open access

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

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
SoftFlow: Automated HW-SW Confidentiality Verification for Embedded Processors
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Security and Verification in Computing Open access

Lennart M. Reimann, Jonathan Wiesner, Dominik Šišejković, Farhad Merchant, Rainer Leupers

0

citations
Reconstructing Boolean Functions From MAGIC Logic-in-Memory Using Power Side-Channel Attacks
2026 IEEE Transactions on Very Large Scale Integration (VLSI) Systems article Computer Science Physical Unclonable Functions (PUFs) and Hardware Security

Lorenzo Pfeifer, Rainer Leupers, Jan Moritz Joseph

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
Efficient Probabilistic Model Checking for Relational Reachability
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

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

3

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
Interpreting Emergent Features in Deep Learning-based Side-channel Analysis
2025 neural information processing systems conference-paper Computer Science Cryptographic Implementations and Security

Sengim Karayalçın, Marina Krček, Stjepan Picek

0

citations