109 citations · 574 across the 18 of their papers we have counts for
18 papers
SeriCrypt: An LLM-Driven Context-Aware Serialization Framework for Cryptographic Protocols
Maosong Chen, Xi Chen, Mengcheng Ju +2
Constructing syntactically correct and cryptographically valid message sequences is essential for protocol state machine learning, conformance testing, and fuzzing. Unlike plaintex…
Detailed spectroscopy of doubly magic Sn
J. Benito, L. M. Fraile, A. Korgul +85
The structure of the doubly magic Sn has been investigated at the ISOLDE facility at CERN, populated both by the decay of In and -delayed neut…
Decay studies of the long-lived states in Tl
M. Stryjczyk, B. Andel, A. N. Andreyev +45
Decay spectroscopy of the long-lived states in Tl has been performed at the ISOLDE Decay Station at ISOLDE, CERN. The decay from the low-spin state in T…
Normal and intruder configurations in Si populated in the decay of Mg and Al
R. Lica, F. Rotaru, M. J. G. Borge +53
The structure of Si was studied through spectroscopy separately in the decays of Mg and Al at the ISOLDE facility of CERN. Different configurations i…
Fine structure in the decay of U
M. D. Sun, Z. Liu, T. H. Huang +29
Fine structure in the decay of U was observed in the fusion-evaporation reaction Re(Ar, p3n) by using fast digital pulse processing technique. Two -de…
Shape staggering of mid-shell mercury isotopes from in-source laser spectroscopy compared with Density Functional Theory and Monte Carlo Shell Model calculations
S. Sels, T. Day Goodacre, B. A. Marsh +45
Neutron-deficient Hg isotopes were studied using in-source laser resonance-ionization spectroscopy at the CERN-ISOLDE radioactive ion-beam facility, in an experiment co…