Search results - ORA - Oxford University Research Archive

1 - 10 of 10

1

Conference item

Gollum: modular and greybox exploit generation for heap overflows in interpreters

Heelan, S, Melham, T, Kroening, D
2019-11-06

2

Conference item

A domain theory for statistical probabilistic programming

Vákár, M, Kammar, O, Staton, S
2019-01-02

3

Journal article

Bounds on the cost of stabilizing a cooperative game

Bachrach, Y, Elkind, E, Malizia, E, et al.
2018-12-27

4

Conference item

Stackelberg security games with multiple uncoordinated defenders

Gan, J, Elkind, E, Wooldridge, M
2018-07-01

5

Conference item

A survey of keylogger and screenlogger attacks in the banking sector and countermeasures to them

Sbai, H, Goldsmith, M, Meftali, S, et al.
2018-09-23

6

Conference item

Verification of tree-based hierarchical read-copy update in the Linux kernel

Liang, L, McKenney, PE, Kroening, D, et al.
2018-04-23

7

Conference item

Learning 3D scene semantics and structure from a single depth image

Yang, B, Lai, Z, Lu, X, et al.
2018-12-17

8

Conference item

Automatic heap layout manipulation for exploitation

Heelan, S, Melham, TF, Kroening, D
2018-07-13

9

Conference item

Fair division of a graph

Bouveret, S, Cechlárová, K, Elkind, E, et al.
2017-08-25

10

Conference item

A survey of reinforcement learning informed by natural language

Luketina, J, Nardelli, N, Farquhar, G, et al.
2019-08-10

TO TOP