The University of Southampton
University of Southampton Institutional Repository

Items where Division is "Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Cyber Security
School of Electronics and Computer Science > Cyber Security" and Year is 2018

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Authors/Creators | Item Type
Number of items: 16.

Biometrics: accessibility challenge or opportunity? - Ramon Blanco-Gonzalo, Chiara Lunerti, Raul Sanchez- Reillo and Richard Michael Guest
Type: Article | 2018

Technology gap navigator: emerging design of biometric-enabled risk assessment machines - Shawn Eastwood, Ken Lai, Svetlana Yanushkevich, Richard Guest and Vlad Shmerko
Type: Book Section | 2018 | IEEE

PDF malware detection: a survey and taxonomy of current techniques - Michele Elingiusti, Leonardo Aniello, Leonardo Querzoni and Roberto Baldoni
Type: Book Section | 2018 | Item not available on this server.

Type: Conference or Workshop Item | 2018 | IEEE | Item not available on this server.

Type: Thesis | 2018 | University of Southampton

ESBMC 5.0: an industrial-strength C model checker - Mikhail R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer and Denis A. Nicole
Type: Conference or Workshop Item | 2018 | Association for Computing Machinery | Item not available on this server.

Using clang as a frontend on a formal verification tool - Mikhail R. Gadelha, Jeremy Morse, Lucas Cordeiro and Denis Nicole
Type: Conference or Workshop Item | 2018

Towards counterexample-guided k-induction for fast bug detection - Mikhail R. Gadelha, Felipe R. Monteiro, Lucas Cordeiro and Denis Nicole
Type: Conference or Workshop Item | 2018 | Association for Computing Machinery | Item not available on this server.

Attacking a smartphone biometric fingerprint system: a novice's approach - R. Blanco Gonzalo, B. Corsetti and I. Goicoechea-Telleria
Type: Conference or Workshop Item | 2018 | IEEE | Item not available on this server.

Biometric technologies - Richard Guest
Type: Monograph | 2018 | Parliamentary Office of Science and Technology

Strategic attacks on trust models via bandit optimization - Taha D. Güneş, Long Tran-Thanh and Timothy J. Norman
Type: Article | 2018

A formal approach to analyzing cyber-forensics evidence - Erisa Karafili, Matteo Cristani and Luca Viganò
Type: Conference or Workshop Item | 2018 | Springer

Type: Conference or Workshop Item | 2018 | IEEE | Item not available on this server.

Type: Conference or Workshop Item | 2018 | IEEE | Item not available on this server.

Collective-aware system-on-chips for dependable IoT applications - Vasileios Tenentes, Daniele Rossi and Bashir M. Al-Hashimi
Type: Conference or Workshop Item | 2018 | IEEE | Item not available on this server.

Complexity-based biometric signature verification - Ruben Tolosana, Ruben Vera-Rodriguez and Richard Guest
Type: Conference or Workshop Item | 2018 | IEEE | Item not available on this server.

This list was generated on Tue May 14 02:26:16 2024 BST.
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×