« Previous | 1 - 20 of 26 |
1
Report icon
Report

State cyber-defence: Indonesian policymakers' views on the mitigation of foreign surveillance

  • Nugraha, Y
  • 2014-06-01
2
Report icon
Report

Towards a principled approach for engineering privacy by design

  • Alshammari, M, Simpson, A
  • 2016-06-06
3
Report icon
Report

Whither the privacy breach case studies?

  • Simpson, A
  • 2016-01-01
4
Report icon
Report

Dominance: consistently comparing computational complexity

  • Blakey, E
  • 2008-01-01
5
Report icon
Report

Conditionals in Distributive Categories

  • Gibbons, J
  • 1997-01-01
6
Report icon
Report

An analogue solution to the problem of factorization

  • Blakey, E
  • 2007-01-01
7
Report icon
Report

More on Merging and Selection

  • Gibbons, J
  • 1997-10-01
8
Report icon
Report

Building a Virtual Research Environment for the Humanities JISC Final Report

  • Building a VRE for the Humanities (BVREH) JISC Final Report
  • Kirkham, R
  • 2007-01-01
9
Report icon
Report

Permissive controller synthesis for probabilistic systems

  • Dräger, K, Forejt, V, Kwiatkowska, M, et al.
  • 2014-01-01
10
Report icon
Report

The ten-page introduction to Trusted Computing

  • Martin, A
  • 2008-01-01
11
Report icon
Report

Model checking liveness properties of higher-order functional programs

  • Lester, MM, Neatherway, RP, Ong, C-HL, et al.
  • 2011-06-07
12
Report icon
Report

Linear−time Breadth−first Tree Algorithms: An Exercise in the Arithmetic of Folds and Zips

  • Jones, G, Gibbons, J
  • 1993-05-01
13
Report icon
Report

Dynamic re-planning for cyber-physical situational awareness

  • Piskozub, M
  • 2016-01-01
14
Report icon
Report

Security vulnerabilities in speech recognition systems

  • Bispham, M
  • 2016-01-01
15
Report icon
Report

False data injection in Kalman Filters in an aerospace setting; ADS-B data with simulated noise

  • Roeling, M
  • 2016-06-23
16
Report icon
Report

Ensuring honest behaviour in cooperative surveillance systems

  • Jackson, D
  • 2016-07-01
17
Report icon
Report

On downgrade attacks in the TLS protocol

  • Alashwali, E
  • 2016-07-01
18
Report icon
Report

Evaluating software packages for attacks against elliptic curve cryptography

  • Moore, N
  • 2016-06-01
19
Report icon
Report

Secure Verifiable Remote Attestation of Embedded Devices

  • Alashwali, E
  • 2017-01-01
20
Report icon
Report

Information security: The case for a global skills framework

  • Phillips, E, Jagger, P, Jagger, C
  • 2017-01-01
FILTER RESULTS

TO TOP