Automated reconstruction of passive Dolev-Yao intruders from PCAPs
Framework reconstructs protocol sessions and passive intruder executions from network captures using AnBx specifications, achieving 94.2% success on single-session protocols.
Stories per day · 30 days
2 stories, newest first · one card per story
Stories tagged #dolev-yao
Accountability in Certificate Transparency and Variants
Formal Dolev-Yao analysis shows plain Certificate Transparency requires an honest log, SCT Auditing removes that assumption, and Gossiping does not.