Tajana Ban Kirigin
发表
Max I. Kanovich,
Tajana Ban Kirigin,
Vivek Nigam,
2014,
Inf. Comput..
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2019,
Foundations of Security, Protocols, and Equational Reasoning.
Tajana Ban Kirigin,
Benedikt Perak,
Benedikt Perak,
2020
.
Tajana Ban Kirigin,
Benedikt Perak,
2019
.
Tajana Ban Kirigin,
2011
.
Max I. Kanovich,
Tajana Ban Kirigin,
Andre Scedrov,
2020
.
Tajana Ban Kirigin,
Vivek Nigam,
Andre Scedrov,
2014
.
Max I. Kanovich,
Tajana Ban Kirigin,
Vivek Nigam,
2010,
Inf. Comput..
Boon Thau Loo,
Tajana Ban Kirigin,
Mitsuhiro Okada,
2020,
Logic, Language, and Security.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2017,
J. Comput. Secur..
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2018,
ArXiv.
Max I. Kanovich,
Tajana Ban Kirigin,
Vivek Nigam,
2013,
ESORICS.
Ana Mestrovic,
Tajana Ban Kirigin,
Sanda Martincic-Ipsic,
2015,
ICIST.
Tajana Ban Kirigin,
Benedikt Perak,
2020,
Logic, Language, and Security.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2015,
POST.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2012,
IHI '12.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2018
.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2012,
RTA.
Max I. Kanovich,
Tajana Ban Kirigin,
Vivek Nigam,
2014,
Comput. Lang. Syst. Struct..
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2016,
FORMATS.
Max I. Kanovich,
Tajana Ban Kirigin,
Vivek Nigam,
2010
.
Tajana Ban Kirigin,
Andre Scedrov,
Carolyn Talcott,
2019,
2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2018,
CPS-SPC@CCS.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2017,
Math. Struct. Comput. Sci..
Tajana Ban Kirigin,
Vivek Nigam,
Andre Scedrov,
2021,
Protocols, Strands, and Logic.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2021,
J. Comput. Secur..
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2021,
ICISSP.
Tajana Ban Kirigin,
Musab A. Alturki,
C. Talcott,
2018
.
Tajana Ban Kirigin,
Vivek Nigam,
Andre Scedrov,
2016
.
Tajana Ban Kirigin,
C. Talcott,
A. Scedrov,
2014
.
Tajana Ban Kirigin,
Musab A. Alturki,
C. Talcott,
2022,
SN Computer Science.