Machine-assisted Cyber Threat Analysis using Conceptual Knowledge Discovery

Over the last years, computer networks have evolved into highly dynamic and interconnected environments, involving multiple heterogeneous devices and providing a myriad of services on top of them. This complex landscape has made it extremely difficult for security administrators to keep accurate and be effective in protecting their systems against cyber threats. In this paper, we describe our vision and scientific posture on how artificial intelligence techniques and a smart use of security knowledge may assist system administrators in better defending their networks. To that end, we put forward a research roadmap involving three complimentary axes, namely, (I) the use of FCA-based mechanisms for managing configuration vulnerabilities, (II) the exploitation of knowledge representation techniques for automated security reasoning, and (III) the design of a cyber threat intelligence mechanism as a CKDD process. Then, we describe a machine-assisted process for cyber threat analysis which provides a holistic perspective of how these three research axes are integrated together

Low X-Ray Luminosity Galaxy Clusters: Main goals, sample selection, photometric and spectroscopic observations

We present the study of nineteen low X-ray luminosity galaxy clusters (L$_X \sim$ 0.5--45 $\times$ $10^{43}$ erg s$^{-1}$), selected from the ROSAT Position Sensitive Proportional Counters (PSPC) Pointed Observations (Vikhlinin et al. 1998) and the revised version of Mullis et al. (2003) in the redshift range of 0.16 to 0.7. This is the introductory paper of a series presenting the sample selection, photometric and spectroscopic observations and data reduction. Photometric data in different passbands were taken for eight galaxy clusters at Las Campanas Observatory; three clusters at Cerro Tololo Interamerican Observatory; and eight clusters at the Gemini Observatory. Spectroscopic data were collected for only four galaxy clusters using Gemini telescopes. With the photometry, the galaxies were defined based on the star-galaxy separation taking into account photometric parameters. For each galaxy cluster, the catalogues contain the PSF and aperture magnitudes of galaxies within the 90\% completeness limit. They are used together with structural parameters to study the galaxy morphology and to estimate photometric redshifts. With the spectroscopy, the derived galaxy velocity dispersion of our clusters ranged from 507 km~s$^{-1}$ for [VMF98]022 to 775 km~s$^{-1}$ for [VMF98]097 with signs of substructure. Cluster membership has been extensively discussed taking into account spectroscopic and photometric redshift estimates. In this sense, members are the galaxies within a projected radius of 0.75 Mpc from the X-ray mission peak and with cluster centric velocities smaller than the cluster velocity dispersion or 6000 km~s$^{-1}$, respectively. These results will be used in forthcoming papers to study, among the main topics, the red cluster sequence, blue cloud and green populations; the galaxy luminosity function and cluster dynamics.Comment: 13 pages, 6 tables, 9 figures. Uses emulateapj. Accepted for publication in The Astronomical Journal. Some formatting errors fixe

A global analysis of Spitzer and new HARPS data confirms the loneliness and metal-richness of GJ 436 b

Context. GJ 436b is one of the few transiting warm Neptunes for which a detailed characterisation of the atmosphere is possible, whereas its non-negligible orbital eccentricity calls for further investigation. Independent analyses of several individual datasets obtained with Spitzer have led to contradicting results attributed to the different techniques used to treat the instrumental effects. Aims. We aim at investigating these previous controversial results and developing our knowledge of the system based on the full Spitzer photometry dataset combined with new Doppler measurements obtained with the HARPS spectrograph. We also want to search for additional planets. Methods. We optimise aperture photometry techniques and the photometric deconvolution algorithm DECPHOT to improve the data reduction of the Spitzer photometry spanning wavelengths from 3-24 {\mu}m. Adding the high precision HARPS radial velocity data, we undertake a Bayesian global analysis of the system considering both instrumental and stellar effects on the flux variation. Results. We present a refined radius estimate of RP=4.10 +/- 0.16 R_Earth, mass MP=25.4 +/- 2.1 M_Earth and eccentricity e= 0.162 +/- 0.004 for GJ 436b. Our measured transit depths remain constant in time and wavelength, in disagreement with the results of previous studies. In addition, we find that the post-occultation flare-like structure at 3.6 {\mu}m that led to divergent results on the occultation depth measurement is spurious. We obtain occultation depths at 3.6, 5.8, and 8.0 {\mu}m that are shallower than in previous works, in particular at 3.6 {\mu}m. However, these depths still appear consistent with a metal-rich atmosphere depleted in methane and enhanced in CO/CO2, although perhaps less than previously thought. We find no evidence for a potential planetary companion, stellar activity, nor for a stellar spin-orbit misalignment. [ABRIDGED]Comment: 25 pages, 26 figures, 8 tables, accepted for publication in A&

Characterization of the K2-18 multi-planetary system with HARPS: A habitable zone super-Earth and discovery of a second, warm super-Earth on a non-coplanar orbit

The bright M dwarf K2-18 at 34 pc is known to host a transiting super-Earth-sized planet orbiting within the star's habitable zone; K2-18b. Given the superlative nature of this system for studying an exoplanetary atmosphere receiving similar levels of insolation as the Earth, we aim to characterize the planet's mass which is required to interpret atmospheric properties and infer the planet's bulk composition. We obtain precision radial velocity measurements with the HARPS spectrograph and couple those measurements with the K2 photometry to jointly model the observed radial velocity variation with planetary signals and a radial velocity jitter model based on Gaussian process regression. We measure the mass of K2-18b to be $8.0 \pm 1.9$ M$_{\oplus}$ with a bulk density of $3.7 \pm 0.9$ g/cm$^3$ which may correspond to a predominantly rocky planet with a significant gaseous envelope or an ocean planet with a water mass fraction $\gtrsim 50$%. We also find strong evidence for a second, warm super-Earth K2-18c at $\sim 9$ days with a semi-major axis 2.4 times smaller than the transiting K2-18b. After re-analyzing the available light curves of K2-18 we conclude that K2-18c is not detected in transit and therefore likely has an orbit that is non-coplanar with K2-18b. A suite of dynamical integrations with varying simulated orbital eccentricities of the two planets are used to further constrain each planet's eccentricity posterior from which we measure $e_b < 0.43$ and $e_c < 0.47$ at 99% confidence. The discovery of the inner planet K2-18c further emphasizes the prevalence of multi-planet systems around M dwarfs. The characterization of the density of K2-18b reveals that the planet likely has a thick gaseous envelope which along with its proximity to the Solar system makes the K2-18 planetary system an interesting target for the atmospheric study of an exoplanet receiving Earth-like insolation.Comment: 13 pages, 8 figures including 4 interactive figures best viewed in Adobe Acrobat. Submitted to Astronomy & Astrophysics. Comments welcom

The SOPHIE search for northern extrasolar planets: VI. Three new hot Jupiters in multi-planet extrasolar systems

We present high-precision radial-velocity measurements of three solar-type stars: HD 13908, HD 159243, and HIP 91258. The observations were made with the SOPHIE spectrograph at the 1.93-m telescope of Observatoire de Haute-Provence (France). They show that these three bright stars host exoplanetary systems composed of at least two companions. HD 13908 b is a planet with a minimum mass of 0.865+-0.035 Mjup, on a circular orbit with a period of 19.382+-0.006 days. There is an outer massive companion in the system with a period of 931+-17 days, e = 0.12+-0.02, and a minimum mass of 5.13+-0.25 Mjup. The star HD 159243, also has two detected companions with respective masses, periods, and eccentricities of Mp = 1.13+-0.05 and 1.9+-0.13 Mjup, $P$ = 12.620+-0.004 and 248.4+-4.9 days, and e = 0.02+-0.02 and 0.075+-0.05. Finally, the star HIP 91258 has a planetary companion with a minimum mass of 1.068+-0.038 Mjup, an orbital period of 5.0505+-0.0015 days, and a quadratic trend indicating an outer planetary or stellar companion that is as yet uncharacterized. The planet-hosting stars HD 13908, HD 159243, and HIP 91258 are main-sequence stars of spectral types F8V, G0V, and G5V, respectively, with moderate activity levels. HIP 91258 is slightly over-metallic, while the two other stars have solar-like metallicity. The three systems are discussed in the frame of formation and dynamical evolution models of systems composed of several giant planets.Comment: accepted in A&

The SOPHIE search for northern extrasolar planets. XI. Three new companions and an orbit update: Giant planets in the habitable zone

We report the discovery of three new substellar companions to solar-type stars, HD191806, HD214823, and HD221585, based on radial velocity measurements obtained at the Haute-Provence Observatory. Data from the SOPHIE spectrograph are combined with observations acquired with its predecessor, ELODIE, to detect and characterise the orbital parameters of three new gaseous giant and brown dwarf candidates. Additionally, we combine SOPHIE data with velocities obtained at the Lick Observatory to improve the parameters of an already known giant planet companion, HD16175 b. Thanks to the use of different instruments, the data sets of all four targets span more than ten years. Zero-point offsets between instruments are dealt with using Bayesian priors to incorporate the information we possess on the SOPHIE/ELODIE offset based on previous studies. The reported companions have orbital periods between three and five years and minimum masses between 1.6 Mjup and 19 Mjup. Additionally, we find that the star HD191806 is experiencing a secular acceleration of over 11 \ms\ per year, potentially due to an additional stellar or substellar companion. A search for the astrometric signature of these companions was carried out using Hipparcos data. No orbit was detected, but a significant upper limit to the companion mass can be set for HD221585, whose companion must be substellar. With the exception of HD191806 b, the companions are located within the habitable zone of their host star. Therefore, satellites orbiting these objects could be a propitious place for life to develop.Comment: 12 pages + tables, 7 figures. Accepted for publication in Astronomy & Astrophysic

A super-Earth orbiting the nearby M-dwarf GJ 536

We report the discovery of a super-Earth orbiting the star GJ 536 based on the analysis of the radial-velocity time series from the HARPS and HARPS-N spectrographs. GJ 536 b is a planet with a minimum mass M sin $i$ of 5.36 +- 0.69 Me with an orbital period of 8.7076 +- 0.0025 days at a distance of 0.066610(13) AU, and an orbit that is consistent with circular. The host star is the moderately quiet M1 V star GJ 536, located at 10 pc from the Sun. We find the presence of a second signal at 43 days that we relate to stellar rotation after analysing the time series of Ca II H&K and H alpha spectroscopic indicators and photometric data from the ASAS archive. We find no evidence linking the short period signal to any activity proxy. We also tentatively derived a stellar magnetic cycle of less than 3 years.Comment: 14 pages, 14 figures, 5 tables, Accepted in A&