Untraceability in the applied pi-calculus

Myrto Arapinis; Tom Chothia; Eike Ritter; Mark Ryan

Untraceability in the applied pi-calculus

Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan

Computer Science

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	1-6
Number of pages	6
Publication status	Published - 9 Nov 2009
Event	Proceedings of the 1st International Workshop on RFID Security and Cryptography (RISC 2009) in conjunction with the 4th International Conference for Internet Technology and Secured Transactions (ICITST-2009) - Duration: 9 Nov 2009 → …

Conference

Conference	Proceedings of the 1st International Workshop on RFID Security and Cryptography (RISC 2009) in conjunction with the 4th International Conference for Internet Technology and Secured Transactions (ICITST-2009)
Period	9/11/09 → …

Cite this

@conference{0b1d9ffef0394311af84e8dd8546d4fd,

title = "Untraceability in the applied pi-calculus",

author = "Myrto Arapinis and Tom Chothia and Eike Ritter and Mark Ryan",

year = "2009",

month = nov,

day = "9",

language = "English",

pages = "1--6",

note = "Proceedings of the 1st International Workshop on RFID Security and Cryptography (RISC 2009) in conjunction with the 4th International Conference for Internet Technology and Secured Transactions (ICITST-2009) ; Conference date: 09-11-2009",

}

Untraceability in the applied pi-calculus. / Arapinis, Myrto; Chothia, Tom ; Ritter, Eike et al.
2009. 1-6 Paper presented at Proceedings of the 1st International Workshop on RFID Security and Cryptography (RISC 2009) in conjunction with the 4th International Conference for Internet Technology and Secured Transactions (ICITST-2009).

Research output: Contribution to conference (unpublished) › Paper

TY - CONF

T1 - Untraceability in the applied pi-calculus

AU - Arapinis, Myrto

AU - Chothia, Tom

AU - Ritter, Eike

AU - Ryan, Mark

PY - 2009/11/9

Y1 - 2009/11/9

M3 - Paper

SP - 1

EP - 6

T2 - Proceedings of the 1st International Workshop on RFID Security and Cryptography (RISC 2009) in conjunction with the 4th International Conference for Internet Technology and Secured Transactions (ICITST-2009)

Y2 - 9 November 2009

ER -