. "Marine Management"@en . . . . . . . . . . . . . . . . . . . . . . . . . . "Security And Privacy"@en . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Post-quantum cryptography and formal verification for maritime security"@en . . . . . . . "DLR Graduate Program"@en . . "Presential"@en . "4.00" . "no"@en . . . "Electrical engineering"@en . . "Computer Science"@en . .