Home > Research > Publications & Outputs > Layered Symbolic Security Analysis in DY*

Research

View graph of relations

Layered Symbolic Security Analysis in DY*

Research output: Other contribution

Published
  • Karthikeyan Bhargavan
  • Abhishek Bichhawat
  • Pedram Hosseyni
  • Ralf Küsters
  • Klaas Pruiksma
  • Guido Schmitz
  • Clara Waldmann
  • Tim Würtele
Close
More...
Publication date8/09/2023
<mark>Original language</mark>English
Externally publishedYes