Max Planck Institute for Security and Privacy

Netlist Reverse Engineering Practice: Effects of Prior Knowledge, Cognitive Abilities, and Personality Traits

Netlist Reverse Engineering (NRE) is a critical human-computer interaction task for identifying security threats at the microchip level. Yet, little is known about how individual factors shape NRE performance and practice effects. We conducted a mixed experimental and quasi-exper...

Value Sensitive Design for Fair Online Recruitment: A Conceptual Framework Informed by Job seekers’ Fairness Concerns

The susceptibility to biases and discrimination is a pressing issue in today’s labor markets. While digital recruitment systems play an increasingly significant role in human resource management, a systematic understanding of human-centered design principles for fair online hirin...

Misquoted No More: Securely Extracting F* Programs with IO

Shallow embeddings that use monads to represent effects are popular in proof-oriented languages because they are convenient for formal verification. Once shallowly embedded programs are verified, they are often extracted to mainstream languages like OCaml or C and linked into lar...