René Rydhof Hansen

• Secure IT Systems
• Semantics, Logics, and Calculi