Paper

Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin

Unreadunread

AI summary

arXiv:2605. 29465v1 Announce Type: new Abstract: Security is critical for everything relying on modern digital systems.

Reading status

Priority

About this paper

Authors: Leonard Tudorache, Ivan Kurtev, Mark van den Brand
Released: 2026-05-29 (2mo ago)
Topic: Related to current project
Relation to my work: Read next because Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin overlaps with clean result "Training one persona to emit a [ZLT] marker without bystanders adopting it has a one-cell-wide LR x epochs window on Qwen2.5-7B-Instruct (LOW confidence)", experiment "Implement Chen et al. persona-vector extraction recipe and compare to project's centroid-difference recipe", experiment "Language-mismatch LoRA SFT on Qwen2.5-7B leaks the trained completion language into bystander directives the model was never trained on, absent under same-language SFT (LOW confidence)". Matching terms: source, implement, language, model. Source: arxiv cs.CR (Cryptography and Security).
arXiv: 2605.29465

Ask Claude about this paper

Posts a comment with @claude so the runner spins up a Claude Code session scoped to Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin. Replies appear in the conversation below.

Comments

No comments yet.

Related records

No links yet.