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.

12 - 3D printing of biocomposites for osteochondral tissue engineering

Autor: Vyas, C., Poologasundarampillai, G., Hoyland, J., Bartolo, P.

Publikováno v: In Biomedical Composites Edition: Second Edition. 2017:261-302

Temperature dependent refractive index of amorphous silicon determined by time-resolved reflectivity during low fluence excimer laser heating.

Autor: Hoyland, J. D., Sands, D.

Publikováno v: Journal of Applied Physics; 3/15/2006, Vol. 99 Issue 6, p063516, 4p, 1 Diagram, 1 Chart, 2 Graphs