163 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Ruhr University BochumDE27 papers
- Helmholtz Center for Information SecurityDE7 papers
- Leibniz University HannoverDE5 papers
- TU Dortmund UniversityDE4 papers
- University of Illinois Urbana-ChampaignUS4 papers
- University of Maryland, College ParkUS4 papers
- University of OxfordGB4 papers
- University of PaduaIT4 papers
- University of WashingtonUS4 papers
- Arizona State UniversityUS3 papers
- Carnegie Mellon UniversityUS3 papers
- ETH ZurichCH3 papers
9 papers · 1 filter
Automating Equational Proofs in Dirac Notation
Yingte Xu, Gilles Barthe, Li Zhou
Dirac notation is widely used in quantum physics and quantum programming languages to define, compute and reason about quantum states. This paper considers Dirac notation from the…
Patching FPGAs: The Security Implications of Bitstream Modifications
Endres Puschner, Maik Ender, Steffen Becker +1
Field Programmable Gate Arrays (FPGAs) are known for their reprogrammability that allows for post-manufacture circuitry changes. Nowadays, they are integral to a variety of systems…
An Evidence-Based Curriculum Initiative for Hardware Reverse Engineering Education
René Walendy, Markus Weber, Steffen Becker +2
The increasing importance of supply chain security for digital devices -- from consumer electronics to critical infrastructure -- has created a high demand for skilled cybersecurit…
Public Opinions About Copyright for AI-Generated Art: The Role of Egocentricity, Competition, and Experience
Gabriel Lima, Nina Grgić-Hlača, Elissa Redmiles
Breakthroughs in generative AI (GenAI) have fueled debates concerning the artistic and legal status of AI-generated creations. We investigate laypeople's perceptions ()…
Lazy Data Practices Harm Fairness Research
Jan Simson, Alessandro Fabris, Christoph Kern
Data practices shape research and practice on fairness in machine learning (fair ML). Critical data studies offer important reflections and critiques for the responsible advancemen…
A Fairness-Oriented Reinforcement Learning Approach for the Operation and Control of Shared Micromobility Services
Matteo Cederle, Luca Vittorio Piron, Marina Ceccon +4
As Machine Learning grows in popularity across various fields, equity has become a key focus for the AI community. However, fairness-oriented approaches are still underexplored in…
I see an IC: A Mixed-Methods Approach to Study Human Problem-Solving Processes in Hardware Reverse Engineering
René Walendy, Markus Weber, Jingjie Li +7
Trust in digital systems depends on secure hardware, often assured through Hardware Reverse Engineering (HRE). This work develops methods for investigating human problem-solving pr…
Spatial-Domain Wireless Jamming with Reconfigurable Intelligent Surfaces
Philipp Mackensen, Paul Staat, Stefan Roth +3
Wireless communication infrastructure is a cornerstone of modern digital society, yet it remains vulnerable to the persistent threat of wireless jamming. Attackers can easily creat…
An Efficient VCGen-based Modular Verification of Relational Properties
Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto +1
Deductive verification typically relies on function contracts that specify the behavior of each function for a single function call. Relational properties link several function cal…