ASAP: Tamarin Unchained: Handling User-Defined AC Operators

Tamarin Unchained: Handling User-Defined AC Operators

Jannik Dreier, Elise Klein, and Steve Kremer. Tamarin Unchained: Handling User-Defined AC Operators. In Proceedings of the 39th IEEE Computer Security Foundations Symposium (CSF'26), IEEE Computer Society Press, Lisbon, Portugal, July 2026.

Download

[PDF] [PDF (long version)]

Abstract

BibTeX

@inproceedings{DKK-csf26,
  abstract =	 {},
  address =	 {Lisbon, Portugal},
  author =	 {Dreier, Jannik and Klein, Elise and Kremer, Steve},
  booktitle =	 {{P}roceedings of the 39th IEEE Computer Security
                  Foundations Symposium (CSF'26)},
  OPTdoi = {},
  month =	 jul,
  OPTpages = {303-318},
  publisher =	 {{IEEE} Computer Society Press},
  title =	 {Tamarin Unchained: Handling User-Defined AC Operators},
  year =	 2026,
  acronym =	 {{CSF}'26},
  nmonth =	 7,
  url =          {https://hal.science/hal-05196126/},
}