SecuLEx: a Secure Limit Exchange Market for Dynamic Operating Envelopes. - Maurizio Vassallo; Adrien Bolland; Alireza Bahmanyar; Louis Wehenkel; Laurine Duchesne; Dong Liu; Sania Khaskheli; Alexis Ha Thuc; Pedro P. Vergara; Amjad Anvari-Moghaddam; Simon Gerard; Damien Ernst (CoRR, 2025)