Mind the Gap Connecting Protocol Representations in Squirrel

Proceedings - Computer Security Foundations Workshop/Proceedings 2026 Open access

Read full text
Authors: David Baelde, Stéphanie Delaune, Julia Gabet, Clément Hérouard
DOI: 10.1109/csf68417.2026.00011
Cited by: 0

Fields of Study & Subjects

Logic programming and type systems Teaching and Learning Programming Formal Methods in Verification

Publication details

Journal / source
Proceedings - Computer Security Foundations Workshop/Proceedings
Pages
157–172
Publication date
1 July 2026
Language
EN