Abstract: Autonomous systems can complete individual security tasks while producing behaviour that is poorly suited to a red teaming exercise. This becomes particularly apparent when several agents are operating concurrently, as local decisions can accumulate to form a pattern of activity that is inconsistent with the environment or the intended adversary. Therefore, behavioural stealth raises
Abstract: A modern computer system, be a scale-up server or a phone, is a complex mixture of heterogeneous cores, firmware images, management processors, etc. The “de facto” operating system of such a machine, therefore, is itself a large ad-hoc collection of components (of which Linux or MacOS is only one) that have no explicit correctness
Abstract: Trusted computing mechanisms such as trusted execution environments, and derived services such as remote attestation, and proofs of execution are increasingly important for securing embedded systems. However, many of these mechanisms rely on atomic execution and interrupt suppression to preserve integrity guarantees, directly conflicting with the timing and availability requirements of real-time embedded systems
Abstract: Confidential Virtual Machines (CVMs) are the cornerstone of the modern push for Private AI and the future “default” for protecting data in use, however, the transition from architectural specification to secure deployment is fraught with challenges. While SEV-SNP and TDX offer a new paradigm for data-in-use protection, their security properties are not static. As
Abstract: The current geopolitical situation is characterized by growing dependence on digital infrastructures and increasing international tensions. For Switzerland, the Domain Name System (DNS) represents a crucial component in ensuring digital sovereignty and the protection of national interests. As a neutral state, Switzerland is particularly committed to maintaining its digital infrastructure in an independent, resilient,
Abstract: Abstract: Layer 2 rollups are rapidly absorbing DeFi activity, securing over $40 billion and accounting for nearly half of Ethereum’s DEX volume by Q1 2025, yet their MEV dynamics remain understudied. We address this gap by defining and quantifying optimistic MEV, a form of speculative, on-chain MEV whose detection and execution logic reside largely
Abstract: Cryptographic software is currently facing two major challenges. First, upgrading our cryptographic infrastructure to post-quantum primitives is probably the largest and most demanding cryptographic migration effort ever. New software needs to be written, optimized for different platforms, extensively tested and audited, and eventually integrated into protocols and systems. Second, it becomes increasingly clear that
Abstract: We have been working to discover IoT devices with security risks and to deliver security notifications to their owners. Our activities include discovering remote management devices used in critical infrastructure and notifying their operators; investigating IoT devices deployed within university networks and issuing notifications to administrators; and offering a security diagnostic service for consumer
Abstract: On August 1, 2025, new cybersecurity requirements under the EU’s Radio Equipment Directive (RED) came into force. While the RED marks the first binding security obligations for a broad range of products, it is best understood as a stepping stone toward the EU’s more ambitious Cyber Resilience Act (CRA). Together, these initiatives signal a
Abstract: Awareness is growing that the statistical analysis of personal data, such as individuals’ mobility, financial, and health data, could be of significant benefit to society. However, liberal societies have refrained from such analytics, arguably due to the lack of trusted analytics platforms that scale to billions of records while reliably preventing the leakage and