Login / Signup
Marian Baba
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Cryptographic Protocols
Security Protocols
Top Venues
MODELSWARD
</>
Publications
</>
Chiara Braghin
,
Mario Lilli
,
Elvinia Riccobene
,
Marian Baba
Kant: A Domain-Specific Language for Modeling Security Protocols.
MODELSWARD
(2024)