Layered symbolic security analysis in DY*

Bhargavan, Karthikeyan; Bichhawat, Abhishek; Hosseyni, Pedram; Kusters, Ralf; Pruiksma, Klaas; Schmitz, Guido; Waldmann, Clara; Wurtele, Tim

URI: https://repository.iitgn.ac.in/handle/123456789/9700

Date: 2023-09-25

Show full item record

Files in this item

Files	Size	Format	View
There are no files associated with this item.

This item appears in the following Collection(s)

Conference Papers [282]

Search Digital Repository

Browse

All of DSpace
This Collection
- Titles
- Authors
- By Advisor
- By Issue Date
- Subjects
- By Type
- By Degree
- By Department

My Account

Login