arXiv subjects

John Carter

Publications and source records attributed to John Carter.

13 recordsLinked to original sources

arXiv2026

Properties of Seasonal Ice at Sisyphi Cavi and Implications for Current Modification of Martian Gullies

Martian gullies are geologically recent landforms that may form either through liquid-water activity and/or through processes involving CO2 ice. We investigated the mechanisms responsible for the formation or modification of these features by focusing on the active site of Sisyphi Cavi (68{\deg}S, 1{\deg}E), located outside the typical latitude range of gully presence. Using CRISM and OMEGA infrared data, we characterized the composition and physical state of seasonal surface ices to test the relevance of H2O and CO2 ice driven mechanisms. Our analysis shows that H2O ice is not detected as an independent surface deposit, although it may be present as minor inclusions within the CO2 ice layer. In particular, during the final phase of CO2 ice sublimation in late spring, no H2O ice signature is observed. In the area, faint spectral signatures of sulfate salts are observed, but their distribution and amount do not suggest any direct link with gully activity. Available observations during early and mid-spring reveal that CO2 ice is translucent during these times, suggesting that it likely remains in this state through most of the ice season. However, a temporal mismatch between dark spot formation - indicative of CO2 geysers through translucent ice - and gully modification (respectively occurring late winter to early spring, and mid to late spring) exists. This does not suggest a systematic link between both processes. Overall, the available observations provide no evidence that liquid water contributes to present-day gully activity at Sisyphi Cavi, while offering no support either for the hypothesis that gully modifications are mainly driven by the formation of CO2 geysers. Gully modifications at Sisyphi Cavi, observed during the late sublimation stages of CO2 ice, may be rather more appropriately explained by CO2-ice-based fluidization or avalanche processes.

astro-ph.EP↗

arXiv2026

Improving Router Security using BERT

Previous work on home router security has shown that using system calls to train a transformer-based language model built on a BERT-style encoder using contrastive learning is effective in detecting several types of malware, but the performance remains limited at low false positive rates. In this work, we demonstrate that using a high-fidelity eBPF-based system call sensor, together with contrastive augmented learning (which introduces controlled mutations of negative samples), improves detection performance at a low false positive rate. In addition, we introduce a network packet abstraction language that enables the creation of a pipeline similar to network packet data, and we show that network behavior provides complementary detection signals-yielding improved performance for network-focused malware at low false positive rates. Lastly, we implement these methods in an online router anomaly detection framework to validate the approach in an Internet of Things (IoT) deployment environment.

cs.CR↗

arXiv2025

Calibration of MAJIS (Moons And Jupiter Imaging Spectrometer): I. On-ground setup description and characterisation

The visible and infrared Moon And Jupiter Imaging Spectrometer (MAJIS), aboard the JUpiter ICy Moons Explorer (JUICE) spacecraft, will characterize the composition of the surfaces and atmospheres of the Jupiter system. Prior to the launch, a campaign was carried out to obtain the measurements needed to calibrate the instrument. The aim was not only to produce data for the calculation of the radiometric, spectral, and spatial transfer functions, but also to evaluate MAJIS performance, such as signal-to-noise ratio and amount of straylight, under near-flight conditions. Here, we first describe the setup implemented to obtain these measurements, based on five optical channels. We notably emphasize the concepts used to mitigate thermal infrared emissions generated at ambient temperatures, since the MAJIS spectral range extends up to 5.6 $\mu$m. Then, we characterize the performance of the setup by detailing the validation measurements obtained before the campaign. In particular, the radiometric, geometric, and spectral properties of the setup needed for the inversion of collected data and the calculation of the instrument's calibration functions are presented and discussed. Finally, we provide an overview of conducted measurements with MAJIS, and we discuss unforeseen events encountered during the on-ground calibration campaign.

astro-ph.EP↗

arXiv2024

Calibration of MAJIS (Moons And Jupiter Imaging Spectrometer): III. Spectral Calibration

The Moons And Jupiter Imaging Spectrometer (MAJIS) is the visible and near-infrared imaging spectrometer onboard ESA s Jupiter Icy Moons Explorer (JUICE) mission. Before its integration into the spacecraft, the instrument undergoes an extensive ground calibration to establish its baseline performances. This process prepares the imaging spectrometer for flight operations by characterizing the behavior of the instrument under various operative conditions and uncovering instrumental distortions that may depend on instrumental commands. Two steps of the on-ground calibration campaigns were held at the instrument level to produce the data. Additional in-flight measurements have recently been obtained after launch during the Near-Earth Commissioning Phase. In this article, we present the analyses of these datasets, focusing on the characterization of the spectral performances. First, we describe and analyze the spectral calibration datasets obtained using both monochromatic sources and polychromatic sources coupled with solid and gas samples. Then, we derive the spectral sampling and the spectral response function over the entire field of view. These spectral characteristics are quantified for various operational parameters of MAJIS, such as temperature and spectral binning. The derived on-ground performances are then compared with in-flight measurements obtained after launch and presented in the framework of the MAJIS performance requirements.

astro-ph.IM↗

arXiv2022

Simulation of Attacker Defender Interaction in a Noisy Security Game

In the cybersecurity setting, defenders are often at the mercy of their detection technologies and subject to the information and experiences that individual analysts have. In order to give defenders an advantage, it is important to understand an attacker's motivation and their likely next best action. As a first step in modeling this behavior, we introduce a security game framework that simulates interplay between attackers and defenders in a noisy environment, focusing on the factors that drive decision making for attackers and defenders in the variants of the game with full knowledge and observability, knowledge of the parameters but no observability of the state (``partial knowledge''), and zero knowledge or observability (``zero knowledge''). We demonstrate the importance of making the right assumptions about attackers, given significant differences in outcomes. Furthermore, there is a measurable trade-off between false-positives and true-positives in terms of attacker outcomes, suggesting that a more false-positive prone environment may be acceptable under conditions where true-positives are also higher.

cs.CR↗

arXiv2022

Second order, unconditionally stable, linear ensemble algorithms for the magnetohydrodynamics equations

We propose two unconditionally stable, linear ensemble algorithms with pre-computable shared coefficient matrices across different realizations for the magnetohydrodynamics equations. The viscous terms are treated by a standard perturbative discretization. The nonlinear terms are discretized fully explicitly within the framework of the generalized positive auxiliary variable approach (GPAV). Artificial viscosity stabilization that modifies the kinetic energy is introduced to improve accuracy of the GPAV ensemble methods. Numerical results are presented to demonstrate the accuracy and robustness of the ensemble algorithms.

math.NA↗

arXiv2021

Evaluation of an Anomaly Detector for Routers using Parameterizable Malware in an IoT Ecosystem

This work explores the evaluation of a machine learning anomaly detector using custom-made parameterizable malware in an Internet of Things (IoT) Ecosystem. It is assumed that the malware has infected, and resides on, the Linux router that serves other devices on the network, as depicted in Figure 1. This IoT Ecosystem was developed as a testbed to evaluate the efficacy of a behavior-based anomaly detector. The malware consists of three types of custom-made malware: ransomware, cryptominer, and keylogger, which all have exfiltration capabilities to the network. The parameterization of the malware gives the malware samples multiple degrees of freedom, specifically relating to the rate and size of data exfiltration. The anomaly detector uses feature sets crafted from system calls and network traffic, and uses a Support Vector Machine (SVM) for behavioral-based anomaly detection. The custom-made malware is used to evaluate the situations where the SVM is effective, as well as the situations where it is not effective.

cs.CR↗

arXiv2021

Evaluating Attacker Risk Behavior in an Internet of Things Ecosystem

In cybersecurity, attackers range from brash, unsophisticated script kiddies and cybercriminals to stealthy, patient advanced persistent threats. When modeling these attackers, we can observe that they demonstrate different risk-seeking and risk-averse behaviors. This work explores how an attacker's risk seeking or risk averse behavior affects their operations against detection-optimizing defenders in an Internet of Things ecosystem. Using an evaluation framework which uses real, parametrizable malware, we develop a game that is played by a defender against attackers with a suite of malware that is parameterized to be more aggressive and more stealthy. These results are evaluated under a framework of exponential utility according to their willingness to accept risk. We find that against a defender who must choose a single strategy up front, risk-seeking attackers gain more actual utility than risk-averse attackers, particularly in cases where the defender is better equipped than the two attackers anticipate. Additionally, we empirically confirm that high-risk, high-reward scenarios are more beneficial to risk-seeking attackers like cybercriminals, while low-risk, low-reward scenarios are more beneficial to risk-averse attackers like advanced persistent threats.

cs.CR↗

arXiv2021

The M3 project: 1- A global hyperspectral image-cube of the Martian surface

This paper is the first paper of a series that will present the derivation of the modal mineralogy of Mars (M3 project) at a global scale from the near-infrared dataset acquired by the imaging spectrometer OMEGA (Observatoire pour la Minéralogie, l'Eau, les Glaces et l'Activité) on board ESA/Mars Express. The objective is to create and provide a global 3-D image-cube of Mars at 32px/° covering most of Mars surface. This product has several advantages. First, it can be used to instantaneously extract atmospheric- and aerosol-corrected near-infrared (NIR) spectra from any location on Mars. Second, several new data maps can be built as discussed here. That includes new global mineral distributions, quantitative mineral abundance distributions and maps of Martian surface chemistry (wt % oxide) detailed in a companion paper (Riu et al., submitted). Here we present the method to derive the global hyperspectral cube from several hundred millions of spectra. Global maps of some mafic minerals are then shown, and compared to previous works.

astro-ph.EP↗

arXiv2021

Mawrth Vallis, Mars: a fascinating place for future in situ exploration

After the successful landing of the Mars Science Laboratory rover, both NASA and ESA initiated a selection process for potential landing sites for the Mars2020 and ExoMars missions, respectively. Two ellipses located in the Mawrth Vallis region were proposed and evaluated during a series of meetings (3 for Mars2020 mission and 5 for ExoMars). We describe here the regional context of the two proposed ellipses as well as the framework of the objectives of these two missions. Key science targets of the ellipses and their astrobiological interests are reported. This work confirms the proposed ellipses contain multiple past Martian wet environments of subaerial, subsurface and/or subaqueous character, in which to probe the past climate of Mars, build a broad picture of possible past habitable environments, evaluate their exobiological potentials and search for biosignatures in well-preserved rocks. A mission scenario covering several key investigations during the nominal mission of each rover is also presented, as well as descriptions of how the site fulfills the science requirements and expectations of in situ martian exploration. These serve as a basis for potential future exploration of the Mawrth Vallis region with new missions and describe opportunities for human exploration of Mars in terms of resources and science discoveries.

astro-ph.EP↗

arXiv2019

Real-Time Planning with Multi-Fidelity Models for Agile Flights in Unknown Environments

Autonomous navigation through unknown environments is a challenging task that entails real-time localization, perception, planning, and control. UAVs with this capability have begun to emerge in the literature with advances in lightweight sensing and computing. Although the planning methodologies vary from platform to platform, many algorithms adopt a hierarchical planning architecture where a slow, low-fidelity global planner guides a fast, high-fidelity local planner. However, in unknown environments, this approach can lead to erratic or unstable behavior due to the interaction between the global planner, whose solution is changing constantly, and the local planner; a consequence of not capturing higher-order dynamics in the global plan. This work proposes a planning framework in which multi-fidelity models are used to reduce the discrepancy between the local and global planner. Our approach uses high-, medium-, and low-fidelity models to compose a path that captures higher-order dynamics while remaining computationally tractable. In addition, we address the interaction between a fast planner and a slower mapper by considering the sensor data not yet fused into the map during the collision check. This novel mapping and planning framework for agile flights is validated in simulation and hardware experiments, showing replanning times of 5-40 ms in cluttered environments.

cs.RO↗

arXiv2019

Observational evidence for a dry dust-wind origin of Mars seasonal dark flows

Seasonal flows on warm slopes, or recurring slope lineae ("RSL"), have been presented as strong evidence for currently flowing water on Mars. This assumption was supported by a correlation between activity and warm temperatures, and by the spectral identification of hydrated salts. Here we first demonstrate that salts spectral identification is not robust, and that flow activity occurs on a wider range of seasons and slope orientations than previously thought, ruling out liquid water as a probable contributor. We then show that morphology, location and timing of flow activity is fully consistent with the removal and deposition of bright dust above darker underlying surfaces occurring notably in relation with seasonal dust storm activity. Mars recurring slope lineae are thus consistent with dust movements typical of present-day dry planet Mars.

astro-ph.EP↗

arXiv2018

NanoMap: Fast, Uncertainty-Aware Proximity Queries with Lazy Search over Local 3D Data

We would like robots to be able to safely navigate at high speed, efficiently use local 3D information, and robustly plan motions that consider pose uncertainty of measurements in a local map structure. This is hard to do with previously existing mapping approaches, like occupancy grids, that are focused on incrementally fusing 3D data into a common world frame. In particular, both their fragile sensitivity to state estimation errors and computational cost can be limiting. We develop an alternative framework, NanoMap, which alleviates the need for global map fusion and enables a motion planner to efficiently query pose-uncertainty-aware local 3D geometric information. The key idea of NanoMap is to store a history of noisy relative pose transforms and search over a corresponding set of depth sensor measurements for the minimum-uncertainty view of a queried point in space. This approach affords a variety of capabilities not offered by traditional mapping techniques: (a) the pose uncertainty associated with 3D data can be incorporated in motion planning, (b) poses can be updated (i.e., from loop closures) with minimal computational effort, and (c) 3D data can be fused lazily for the purpose of planning. We provide an open-source implementation of NanoMap, and analyze its capabilities and computational efficiency in simulation experiments. Finally, we demonstrate in hardware its effectiveness for fast 3D obstacle avoidance onboard a quadrotor flying up to 10 m/s.

cs.RO↗