Formalising Σ -Protocols and Commitment Schemes Using CryptHOL

Autor: Butler, D., Lochbihler, A., Aspinall, D., Gascón, A.

Publikováno v: Butler, D, Lochbihler, A, Aspinall, D & Gascón, A 2021, ' Formalising Σ-Protocols and Commitment Schemes Using CryptHOL ', Journal of Automated Reasoning, vol. 65, pp. 521-567 . https://doi.org/10.1007/s10817-020-09581-w

Machine-checked proofs of security are important to increase the rigour of provable security. In this work we present a formalised theory of two fundamental two party cryptographic primitives: Σ-protocols and Commitment Schemes. Σ-protocols allow a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3094::750ca12f3eca27573003bd46bac4e6c3
https://hdl.handle.net/20.500.11820/ac79475e-5563-420a-a902-b6a8d5f10ae8

Water Deficit and the Growth and Anatomy of the Radish Fleshy Axis

Autor: Joyce, D. C., Aspinall, D., Edwards, G. R.

Publikováno v: The New Phytologist, 1983 Mar 01. 93(3), 439-446.

Externí odkaz: https://www.jstor.org/stable/2432422

Effects of Daylength and Light Intensity on Growth of Barley I. Growth and Development of Apex with a Fluorescent Light Source

Autor: Aspinall, D., Paleg, L. G.

Publikováno v: Botanical Gazette, 1963 Dec 01. 124(6), 429-437.

Externí odkaz: https://www.jstor.org/stable/2473212

Routine Donor-Specific Antibody Monitoring in Heart Transplant Recipients: Is There a Role?

Autor: Buckley, D., Aspinall, D., Carroll, R., Hayward, C., Kotlyar, E., Jabbour, A., Bart, N., Keogh, A., Macdonald, P., Muthiah, K., Tong, W.

Publikováno v: In Heart, Lung and Circulation July 2023 32 Supplement 3:S176-S176

(997) Routine Donor Specific Antibody Monitoring in Heart Transplant Recipients - Is There a Role?

Autor: Buckley, D., Aspinall, D., Carroll, R., Hayward, C., Kotlyar, E., Jabbour, A., Bart, N., Keogh, A., MacDonald, P., Muthiah, K., Tong, W.

Publikováno v: In Journal of Heart and Lung Transplantation April 2023 42(4) Supplement:S429-S429