2 papers
cs.CR2026
An Empirical Security Analysis of Open-Source Software Used in Onboard Satellite Systems
Roee Idan, Tomer Cohen Galor, Asaf Shabtai +1
The use of open-source software (OSS) in satellite flight systems is increasing as missions adopt reusable frameworks, shared libraries, and community-maintained components. While…
math.LO2024
Modelling Multiplicative Linear Logic via Deep Inference
Tomer Galor, Andrea Schalk
Multiplicative linear logic is a very well studied formal system, and most such studies are concerned with the one-sided sequent calculus. In this paper we look in detail at existi…