Formal Security Analysis of the AMD SEV-SNP Software Interface

Fine-Tuning LLMs for Croatian Text Retrieval

Computable subcontinua of semicomputable chainable Hausdorff continua

Computability of pseudo-cubes

Rearranging absolutely covergent well-ordered series in Banach spaces

A Comprehensive Symbolic Analysis of TLS 1.3

Testing Cyber-Physical Systems through Bayesian Optimization

Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication

Improving the ISO/IEC 11770 standard for key management techniques

Actor Key Compromise: Consequences and Countermeasures

Improving the ISO/IEC 11770 Standard for Key Management Techniques

Changing the order of summation for series beyond omega