146 citations · 168 across the 5 of their papers we have counts for
5 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…
Exploring - and -decay-induced quenching of the Th nuclear-clock isomer in solid-state hosts
Y. Elskens, M. Athanasakis-Kaklamanakis, S. Arasada Pradeep +52
The radiative decay dynamics of an ensemble of Th nuclei embedded in CaF and MgF is investigated. The isomer is populated through decay of Ac…
Accurate spontaneous fission half-lives from a microscopic large-scale nuclear structure model
Adrián Sánchez-Fernández, Silvia Bara, Wouter Ryssens +1
We demonstrate the ability of the BSkG3 model to predict large-scale fission properties. In particular, we focus on the description of spontaneous fission half-lives, which are cru…
Towards Precision Muonic X-Ray Measurements of Charge Radii of Light Nuclei
Ben Ohayon, Andreas Abeln, Silvia Bara +20
We propose an experiment to measure the nuclear charge radii of light elements with up to 20~times higher accuracy. These are essential both for understanding nuclear physics at lo…
Observation of the radiative decay of the nuclear clock isomer
Sandro Kraemer, Janni Moens, Michail Athanasakis-Kaklamanakis +32
The nucleus of the radioisotope thorium-229 (Th) features an isomer with an exceptionally low excitation energy that enables direct laser manipulation of nuclear states.…