16 dezembro 2014, 14:30 • Carlos Caleiro
Discussão dos artigos:
G. Barthe, M. Daubignard, B. Kapron, Y. Lakhnech. Computational indistinguishability logic. ACM Conference on Computer and Communications Security 2010: 375-386.
B. Blanchet. Automatic Verification of Correspondences for Security Protocols. Journal of Computer Security, 17(4):363-434, 2009.
9 dezembro 2014, 14:30 • Carlos Caleiro
Conclusão da aula anterior.
2 dezembro 2014, 14:30 • Carlos Caleiro
V. Cortier, S. Delaune, P. Lafourcade. A survey of algebraic properties used in cryptographic protocols. Journal of Computer Security 14(1):1-43, 2006.
M. Abadi, V. Cortier. Deciding knowledge in security protocols under equational theories. Theoretical Computer Science 367(1):2-32, 2006.
25 novembro 2014, 14:30 • Carlos Caleiro
Discussão do artigo:
B. Conchinha, D. Basin, C. Caleiro. Symbolic probabilistic analysis of off-line guessing. ESORICS, LNCS 8134, 363-380, 2013.
18 novembro 2014, 14:30 • Carlos Caleiro