285 citations · 1.8k across the 21 of their papers we have counts for
5 papers · 1 filter
Potassium detection in the clear atmosphere of a hot-Jupiter: FORS2 transmission spectroscopy of WASP-17b
Elyar Sedaghati, Henri M J Boffin, Tereza Jeřabková +9
We present FORS2 (attached to ESO's Very Large Telescope) observations of the exoplanet WASP-17b during its primary transit, for the purpose of differential spectrophotometry analy…
Influence of Stellar Flares on the Chemical Composition of Exoplanets and Spectra
Olivia Venot, Marco Rocchetto, Shaun Carl +2
More than 3000 exoplanets have been detected so far, and more and more spectroscopic observations of exoplanets are performed. Future instruments are eagerly awaited as they will b…
CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions
Marco Rocchetto, Nils Ole Tippenhauer
We propose extensions to the Dolev-Yao attacker model to make it suitable for arguments about security of Cyber-Physical Systems. The Dolev-Yao attacker model uses a set of rules t…
Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection (Extended Version)
Federico De Meo, Marco Rocchetto, Luca Viganò
We present a formal approach that exploits attacks related to SQL Injection (SQLi) searching for security flaws in a web application. We give a formal representation of web applica…
Transiting Exoplanet Studies and Community Targets for JWST's Early Release Science Program
Kevin B. Stevenson, Nikole K. Lewis, Jacob L. Bean +49
The James Webb Space Telescope will revolutionize transiting exoplanet atmospheric science due to its capability for continuous, long-duration observations and its larger collectin…