Research topics:
- Satellite communications as backup/alternative to fiber cables
- Collaboration between allies -
- Quantum sensing and compressive quantum sensing
- FPGA/implementation in space
- Formal verification of implementation
- Communication for positioning
- Communication in challenging environments
- Advanced cryptography in space: Post-quantum cryptography;Quantum-based (optical) key exchange;Secure multi-party computation (MPC);Zero-knowledge proofs: Provenance and guarantee in transactions and calculations between satellites