Publications

2022

• Robust and Scalable Content-and-Structure Indexing
  
  • Wellenzohn Kevin
  • Böhlen Michael H.
  • Helmer Sven
  • Pietri Antoine
  • Zacchiroli Stefano
  The VLDB Journal, Springer, 2022. Frequent queries on semi-structured hierarchical data are Content-and-Structure (CAS) queries that filter data items based on their location in the hierarchical structure and their value for some attribute. We propose the Robust and Scalable Content-and-Structure (RSCAS) index to efficiently answer CAS queries on big semi-structured data. To get an index that is robust against queries with varying selectivities we introduce a novel dynamic interleaving that merges the path and value dimensions of composite keys in a balanced manner. We store interleaved keys in our triebased RSCAS index, which efficiently supports a wide range of CAS queries, including queries with wildcards and descendant axes. We implement RSCAS as a log-structured merge (LSM) tree to scale it to data-intensive applications with a high insertion rate. We illustrate RSCAS's robustness and scalability by indexing data from the Software Heritage (SWH) archive, which is the world's largest, publiclyavailable source code archive.
• Preimages of p −Linearized Polynomials over ${\mathbb {F}}_{p}$
  
  • Kim Kwang Ho
  • Mesnager Sihem
  • Choe Jong Hyok
  • Lee Dok Nam
  Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences, Springer, 2022, 14 (1), pp.75-86. (10.1007/s12095-021-00514-x)
  DOI : 10.1007/s12095-021-00514-x
• On the Complexity of Determining Whether there is a Unique Hamiltonian Cycle or Path
  
  • Hudry Olivier
  • Lobstein Antoine
  WSEAS Transactions on Mathematics, World Scientific and Engineering Academy and Society (WSEAS), 2022, 21, pp.433-446. The decision problems of the existence of a Hamiltonian cycle or of a Hamiltonian path in a given graph, and of the existence of a truth assignment satisfying a given Boolean formula C, are well-known NPcomplete problems. Here we study the problems of the uniqueness of a Hamiltonian cycle or path in an undirected, directed or oriented graph, and show that they have the same complexity, up to polynomials, as the problem U-SAT of the uniqueness of an assignment satisfying C. As a consequence, these Hamiltonian problems are NP-hard and belong to the class DP, like U-SAT. (10.37394/23206.2022.21.51)
  DOI : 10.37394/23206.2022.21.51
• Spectral dispersion of the linewidth enhancement factor and four wave mixing conversion efficiency of an InAs/GaAs multimode quantum dot laser
  
  • Ding Shihao
  • Dong Bozhang
  • Huang Heming
  • Bowers John
  • Grillot Frédéric
  Applied Physics Letters, American Institute of Physics, 2022, 120 (8), pp.081105. The spectral dependence of the linewidth enhancement factor (a H-factor) of a multimode InAs/GaAs quantum dot laser is analyzed. Amplified spontaneous and high-frequency modulation methods are used to experimentally retrieve the a H-factor of each longitudinal mode below and above the threshold. A dispersion of the a H-factor is unlocked across the entire optical spectrum, which is further illustrated in the context of four wave mixing experiments. The results show that the induced conversion efficiency is increased at lasing wavelengths where the linewidth enhancement is lower. These results highlight the importance of carefully monitoring the linewidth enhancement factor in quantum dot lasers especially for frequency combs and mode-locking applications in future optical communication systems. (10.1063/5.0077221)
  DOI : 10.1063/5.0077221
• Unipolar quantum technology enabling high-speed free-space communication in the long-wave infrared regime
  
  • Didier P.
  • Dely H.
  • Spitz O.
  • Awwad Elie
  • Bonazzi Thomas
  • Rodriguez Etienne
  • Sirtori C.
  • Grillot Frédéric
  , 2022. <p>A combination of unipolar quantum laser, modulator and detector allows us to demonstrate a free-space communication at 40 Gbits/s and 9 µm far-infrared wavelength. The distance between the emitter and the receiver is 31 meters.</p> (10.1364/CLEO_AT.2022.JTh6A.5)
  DOI : 10.1364/CLEO_AT.2022.JTh6A.5
• Safety, Security and Performance Assessment of Security Countermeasures with SysML-Sec
  
  • Sultan Bastien
  • Apvrille Ludovic
  • Jaillon Philippe
  , 2022. Deploying security countermeasures on Cyber-Physical Systems (CPS) can induce side-effects that can exceed their benefits. When CPS are safety-critical systems, performing efficiency and impact assessments of security countermeasures early in the design flow is essential. The paper introduces the W-Sec method, based on SysML-Sec. The W-Sec method consists in two interwoven formal modeling and verification cycles aiming at providing countermeasures with objective and quantitative efficiency and impact assessments in terms of safety, security and performance. The paper evaluates the W-Sec method with an autonomous rover swarm case-study, and finally discusses the method's strengths and weaknesses highlighted by the case-study results. (10.5220/0010832300003119)
  DOI : 10.5220/0010832300003119