The University of Southampton
University of Southampton Institutional Repository
Warning ePrints Soton is experiencing an issue with some file downloads not being available. We are working hard to fix this. Please bear with us.

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
Jump to: E | G | K | L | T
Number of items: 8.

E

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.

G

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 | ACM | 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 | ACM | Item not available on this server.

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

K

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

L

Type: Conference or Workshop Item | 2018 | Institute of Electrical and Electronics Engineers Inc. | Item not available on this server.

T

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.

This list was generated on Tue Nov 30 02:11:23 2021 GMT.
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.

×