A Tale of Two Models: Formal Verification of KEMTLS via Tamarin

Autor: Celi, S., Hoyland, J., Stebila, D., Wiggers, T., Atluri, V., Pietro, R. Di, Jensen, C.D., Meng, W.

Publikováno v: Atluri, V.; Pietro, R. Di; Jensen, C.D. (ed.), Computer Security – ESORICS 2022:27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26–30, 2022, Proceedings, Part III, 63-83. Cham : Springer Nature Switzerland
STARTPAGE=63;ENDPAGE=83;ISSN=0302-9743;TITLE=Atluri, V.; Pietro, R. Di; Jensen, C.D. (ed.), Computer Security – ESORICS 2022:27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26–30, 2022, Proceedings, Part III

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8e4b3dd046e3f6c908893d6053ce3f81
https://hdl.handle.net/2066/282972

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Preliminary evidence for impaired estrogen receptor-α protein expression in osteoblasts and osteocytes from men with idiopathic osteoporosis

Autor: Braidman, I ^*, Baris, C, Wood, L, Selby, P, Adams, J, Freemont, A, Hoyland, J

Publikováno v: In Bone 2000 26(5):423-427