107:
238:
218:
233:
223:
34:
and the verification of probabilistic systems. Educated in mathematics in the UK, she works in
Australia as professor in the School of Computing at
228:
27:
83:
156:
183:
47:
213:
79:
51:
35:
31:
132:
63:
59:
50:, where she was awarded a double first in 1985. She completed a doctorate (D.Phil.) at the
38:, and as one of the founding leaders of Macquarie's Future Communications Research Centre.
23:
207:
179:
109:
NSA Announces Winner of Annual
Cybersecurity Research Paper Competition
88:
22:
is a computer scientist whose research involves the use of
198:
157:"Discover our new research centres: Future Communications"
112:, US National Security Agency, 21 August 2015
8:
76:The Science of Quantitative Information Flow
56:Non-Hopf modules for infinite soluble groups
127:
125:
99:
239:Academic staff of Macquarie University
219:Alumni of the University of Cambridge
7:
234:Australian women computer scientists
163:, Macquarie University, 2 June 2023
78:(Springer, 2020, with M. S. Alvim,
224:Alumni of the University of Oxford
90:(Springer, 2005, with C. Morgan).
14:
62:, and was jointly supervised by
46:McIver read mathematics at the
229:Australian computer scientists
1:
184:Mathematics Genealogy Project
16:Computer security researcher
54:in 1990. Her dissertation,
255:
74:McIver is a co-author of
86:, and G. Smith), and of
48:University of Cambridge
139:, Macquarie University
82:, K. Chatzikokolakis,
66:and Martin B. Powell.
199:Topete research group
52:University of Oxford
36:Macquarie University
137:Researcher profiles
20:Annabelle K. McIver
133:"Annabelle McIver"
32:computer security
246:
186:
180:Annabelle McIver
177:
171:
170:
169:
168:
153:
147:
146:
145:
144:
129:
120:
119:
118:
117:
104:
64:Peter M. Neumann
60:abstract algebra
28:information flow
254:
253:
249:
248:
247:
245:
244:
243:
204:
203:
195:
190:
189:
178:
174:
166:
164:
155:
154:
150:
142:
140:
131:
130:
123:
115:
113:
106:
105:
101:
96:
72:
44:
17:
12:
11:
5:
252:
250:
242:
241:
236:
231:
226:
221:
216:
206:
205:
202:
201:
194:
193:External links
191:
188:
187:
172:
148:
121:
98:
97:
95:
92:
80:C. Palamidessi
71:
68:
43:
40:
24:formal methods
15:
13:
10:
9:
6:
4:
3:
2:
251:
240:
237:
235:
232:
230:
227:
225:
222:
220:
217:
215:
214:Living people
212:
211:
209:
200:
197:
196:
192:
185:
181:
176:
173:
162:
158:
152:
149:
138:
134:
128:
126:
122:
111:
110:
103:
100:
93:
91:
89:
85:
81:
77:
69:
67:
65:
61:
57:
53:
49:
41:
39:
37:
33:
29:
25:
21:
175:
165:, retrieved
160:
151:
141:, retrieved
136:
114:, retrieved
108:
102:
87:
75:
73:
58:, concerned
55:
45:
19:
18:
208:Categories
167:2023-07-24
143:2023-07-24
116:2023-07-24
94:References
161:This Week
84:C. Morgan
42:Education
182:at the
70:Books
26:and
30:in
210::
159:,
135:,
124:^
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.