Jose Meseguer
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Crypto×1
Frequent co-authors
Research Timeline
2026
A Theory of Composable Lingos for Protocol Dialects
The paper introduces formal patterns to enhance and compose security components (lingos and dialects) for network protocols, providing generic, verifiable methods for hardening distributed systems.
Highlighted terms show continued research focus across papers