Detecting the misuse of secrets: foundations, protocols, and verification by Milner, K

Secure authentication in the grid: a formal analysis of DNP3 SAv5 by Cremers, C, Dehnel-Wild, M, Milner, K

Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5 by Cremers, C, Dehnel-Wild, M, Milner, K

Automatically detecting the misuse of secrets: foundations, design principles, and applications by Milner, K, Cremers, C, Yu, J, Ryan, M

Emotional and behavioral outcomes in childhood for survivors of invasive group B Streptococcus disease in infancy: Findings from 5 low- and middle-income countries by Chandna, J, Liu, W-H, Dangor, Z, Leahy, S, Sridhar, S, John, HB, Mucasse, H, Bassat, Q, Bardaji, A, Abubakar, A, Nasambu, C, Newton, CR, Yanotti, CS, Libster, R, Milner, K, Paul, P, Lawn, JE

Neurodevelopmental and growth outcomes after invasive Group B Streptococcus in early infancy: A multi-country matched cohort study in South Africa, Mozambique, India, Kenya, and Ar... by Paul, P, Chandna, J, Procter, SR, Dangor, Z, Leahy, S, Santhanam, S, John, HB, Bassat, Q, Bramugy, J, Bardají, A, Abubakar, A, Nasambu, C, Libster, R, Yanotti, CS, Seedat, F, Horváth-Puhó, E, Hossain, AKMT, Sadeq-Ur Rahman, Q, Jit, M, Newton, CR, Milner, K, Gonçalves, BP, Lawn, JE