S. Bara

collaborators

3 papers

cs.CR2026

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…

nucl-ex2026

Exploring $α$ - and $β$ -decay-induced quenching of the $^{229}$ 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 $^{229 m}$ Th nuclei embedded in CaF $_{2}$ and MgF $_{2}$ is investigated. The isomer is populated through $β$ decay of $^{229}$ Ac…

nucl-th2025

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…

SeriCrypt: An LLM-Driven Context-Aware Serialization Framework for Cryptographic Protocols

Exploring α- and β-decay-induced quenching of the 229Th nuclear-clock isomer in solid-state hosts

Accurate spontaneous fission half-lives from a microscopic large-scale nuclear structure model

Exploring $α$ - and $β$ -decay-induced quenching of the $^{229}$ Th nuclear-clock isomer in solid-state hosts