Almost perfect nonlinear (APN) functions play a pivotal role in cryptography, particularly in securing symmetric key algorithms against differential attacks. Their algebraic properties, including ...

The study of curve arrangements in the framework of algebraic geometry examines configurations of algebraic curves—ranging from lines to higher degree entities—in projective spaces, where intricate ...

Abstract: We present generalized multisets in the Zermelo-Fraenkel framework, in Reverse Mathematics, and in the Fraenkel-Mostowski framework. In the Zermelo-Fraenkel framework, we prove that the set ...

Abstract: Alice and Bob notation is a popular way to describe security protocols: it is intuitive, succinct, and yet expressive. Several formal protocol specification languages are based on this ...

This paper continues the investigation, started in Lávička and Noguera (Stud Log 105(3): 521-551, 2017), of infinitary propositional logics from the perspective of their algebraic completeness and ...

This thesis explores the interplay between commutative algebra and combinatorics through the study of edge ideals—monomial ideals generated by edges of a graph. It was submitted in partial fulfillment ...

A large number of calculations in high-energy elementary particle physics involve the manipulation of complicated algebraic expressions containing both tensor and noncommutative matrix quantities.