Hubert Comon-Lundh
LICS: Logic in Computer Security — Some Attacker’s Models and Related Decision Problems
LICS, 2013.
@inproceedings{LICS-2013-Comon-Lundh,
acmid = "2591421",
author = "Hubert Comon-Lundh",
booktitle = "{Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.2013.68",
isbn = "978-1-4799-0413-6",
pages = "1",
publisher = "{IEEE Computer Society}",
title = "{LICS: Logic in Computer Security — Some Attacker’s Models and Related Decision Problems}",
year = 2013,
}