Publications associées à Universal-SBAS: A worldwide multimodal standard

VDMNav: Software Architecture for Aerodynamically Constrained Navigation on Small Fixed-Wing Drones

Navigation of drones is predominantly based on sensor fusion algorithms. Most of these algorithms make use of some form of Bayesian filtering with a majority employing an Extended Kalman Filter (EKF), wherein inertial measurements are fused with a Global N ...

2024

VDM-based navigation for Delta-wing UAVs: Models, calibration, implementation

Pasquale Longobardi

Autonomous navigation of small UAVs is typically based on the integration of inertial navigation systems (INS) together with global navigation satellite systems (GNSS). However, GNSS signals can face various forms of interference affecting their continuous ...

EPFL2024

When Your AI Becomes a Target: AI Security Incidents and Best Practices

Alexandre Massoud Alahi, Kathrin Grosse

In contrast to vast academic efforts to study AI security, few real-world reports of AI security incidents exist. Released incidents prevent a thorough investigation of the attackers' motives, as crucial information about the company and AI application is ...

AAAI Press2024

Performance and accuracy of cross‐section tracking methods for hydromorphological habitat assessment in wadable rivers with sparse canopy conditions

Giovanni De Cesare, Paolo Perona, Robin Schroff

This article investigates the performance and accuracy of continuous Real-Time Kinematic (RTK) Global Navigation Satellite System (GNSS) position tracking for hydromorphological surveys, based on a comprehensive river restoration monitoring campaign. The a ...

2024

Isogeny Problems with Level Structure

Tako Boris Fouotsa

Given two elliptic curves and the degree of an isogeny between them, finding the isogeny is believed to be a difficult problem—upon which rests the security of nearly any isogeny-based scheme. If, however, to the data above we add information about the beh ...

2024

Hits and Misses: Digital Contact Tracing in a Pandemic

Marcel Salathé

Traditional contact tracing is one of the most powerful weapons people have in the battle against a pandemic, especially when vaccines do not yet exist or do not afford complete protection from infection. But the effectiveness of contact tracing hinges on ...

SAGE PUBLICATIONS LTD2023

Digital Intervention for Collaborative and Human-Centered Activities in Design-Based Learning Scenarios

Denis Gillet, Isabelle Barbara Marie-Hélène Cardia

Training science and engineering students to become responsible citizens and professionals requires novel and creative pedagogical approaches, such as design thinking. This concept relies on processes and tools to develop creativity and problem-solving ski ...

IEEE2023

OSSCAR, an open platform for collaborative development of computational tools for education in science

Giovanni Pizzi, Sara Bonella, Dou Du

In this paper we present the Open Software Services for Classrooms and Research (OSSCAR) platform. OSSCAR provides an open collaborative environment to develop and access educational resources in the form of web applications, for which various deployment m ...

ELSEVIER2023

A landmark environmental law looks ahead

Devis Tuia

In late December 1973, the United States enacted what some would come to call “the pitbull of environmental laws.” In the 50 years since, the formidable regulatory teeth of the Endangered Species Act (ESA) have been credited with considerable successes, ob ...

American Association for the Advancement of Science2023

Quantifying online citizen science: Dynamics and demographics of public participation in science

Steven Piguet, Jérôme Baudry

Citizen scientists around the world are collecting data with their smartphones, performing scientific calculations on their home computers, and analyzing images on online platforms. These online citizen science projects are frequently lauded for their pote ...

2023

Revisiting the Indifferentiability of the Sum of Permutations

Ritam Bhaumik

The sum of two n-bit pseudorandom permutations is known to behave like a pseudorandom function with n bits of security. A recent line of research has investigated the security of two public n-bit permutations and its degree of indifferentiability. Mandal e ...

Springer2023

Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs

Mathias Josef Payer, Jianhao Xu

Compilers assure that any produced optimized code is semantically equivalent to the original code. However, even "correct" compilers may introduce security bugs as security properties go beyond translation correctness. Security bugs introduced by such corr ...

Usenix Assoc2023

Two-level Data Augmentation for Calibrated Multi-view Detection

Pascal Fua, Martin Pierre Engilberge, Zhiye Wang, Haixin Shi

Data augmentation has proven its usefulness to improve model generalization and performance. While it is commonly applied in computer vision application when it comes to multi-view systems, it is rarely used. Indeed geometric data augmentation can break th ...

IEEE COMPUTER SOC2023

A Visionary Look at the Security of Reconfigurable Cloud Computing

Francesco Regazzoni, Mirjana Stojilovic

Field-programmable gate arrays (FPGAs) have become critical components in many cloud computing platforms. These devices possess the fine-grained parallelism and specialization needed to accelerate applications ranging from machine learning to networking an ...

2023

Evaluating, Exploiting, and Hiding Power Side-Channel Leakage of Remote FPGAs

Ognjen Glamocanin

The pervasive adoption of field-programmable gate arrays (FPGAs) in both cyber-physical systems and the cloud has raised many security issues. Being integrated circuits, FPGAs are susceptible to fault and power side-channel attacks, which require physical ...

EPFL2023

First-person experience cannot rescue causal structure theories from the unfolding argument

Michael Herzog, Adrien Christophe Doerig, Aaron Schurger

We recently put forward an argument, the Unfolding Argument (UA), that integrated information theory (IIT) and other causal structure theories are either already falsified or unfalsifiable, which provoked significant criticism. It seems that we and the cri ...

Elsevier2022

GNSS/INS Kalman Filter Integrity Monitoring with Uncertain Time Correlated Error Processes

Omar Garcia Crespillo

Safety-critical navigation applications require that estimation errors be reliably quantified and bounded. Over the last decade, significant effort has been put to guarantee a bounded position estimation by using Global Navigation Satellite Systems (GNSS) ...

EPFL2022

Roadmap on Machine learning in electronic structure

Michele Ceriotti, Andrea Grisafi, Max David Veit, Jigyasa Nigam

In recent years, we have been witnessing a paradigm shift in computational materials science. In fact, traditional methods, mostly developed in the second half of the XXth century, are being complemented, extended, and sometimes even completely replaced by ...

IOP Publishing Ltd2022

Security Measures for Grids Against Rank-1 Undetectable Time-Synchronization Attacks

Jean-Yves Le Boudec, Marguerite Marie Nathalie Delcourt

Time-synchronization attacks on phasor measurement units (PMUs) pose a real threat to smart grids; it was shown that they are feasible in practice and that they can have a nonnegligible negative impact on state estimation, without triggering the bad data d ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

Electrical-Level Attacks on CPUs, FPGAs, and GPUs: Survey and Implications in the Heterogeneous Era

Mirjana Stojilovic, Dina Gamaleldin Ahmed Shawky Mahmoud

Given the need for efficient high-performance computing, computer architectures combining CPUs, GPUs, and FPGAs are nowadays prevalent. However, each of these components suffers from electrical-level security risks. Moving to heterogeneous systems, with th ...

2022