Management, Information Systems and Entrepreneurship

Title: Correctness and Verification using Software Contracts

Title: Does Space AI Security Matter? Unlocking Privacy-Preserving Federated LEO Satellite Learning for Border Threat Detection

Building Trust in an Untrustworthy World