Items where Division is "Faculties (pre 2018 reorg) > Faculty of Physical Sciences and Engineering (pre 2018 reorg) > Electronics & Computer Science (pre 2018 reorg) > Cyber Security (pre 2018 reorg)
Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Electronics & Computer Science (pre 2018 reorg) > Cyber Security (pre 2018 reorg)
School of Electronics and Computer Science > Electronics & Computer Science (pre 2018 reorg) > Cyber Security (pre 2018 reorg)
Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Cyber Security > Cyber Security (pre 2018 reorg)
School of Electronics and Computer Science > Cyber Security > Cyber Security (pre 2018 reorg)" and Year is 2017
 | Up a level |
Number of items: 11.
A prototype evaluation of a tamper-resistant high performance blockchain-based transaction log for a distributed database - Leonardo Aniello, Roberto Baldoni, Edoardo Gaetani, Federico Lombardi, Andrea Margheri and Vladimiro Sassone
Type: Conference or Workshop Item
| 2017
| IEEE
Decentralised runtime monitoring for access control systems in cloud federations - Md Sadek Ferdous, Andrea Margheri, Federica Paci, Mu Yang and Vladimiro Sassone
Type: Conference or Workshop Item
| 2017
| IEEE
Toward group-based user-attribute policies in azure-like access control systems - Anna Ferrara, Anna Squicciarinni, Cong Liao and Truc Nguyen Lam
Type: Conference or Workshop Item
| 2017
| Springer
The Good, the Bad and the Ugly: A Study of Security Decisions in a Cyber-Physical Systems Game - Sylvain Frey, Awais Rashid, Pauline Anthonysamy, Maria Pinto-Albuquerque and Syed Asad Naqvi
Type: Article
| 2017
| Item not available on this server.
Encoding floating-point numbers using the SMT theory in ESBMC: An empirical evaluation over the SV-COMP benchmarks - Mikhail Y.R. Gadelha, Lucas C. Cordeiro and Denis A. Nicole
Type: Conference or Workshop Item
| 2017
| Springer Cham
Blockchain-based database to ensure data integrity in cloud computing environments - Edoardo Gaetani, Leonardo Aniello, Roberto Baldoni, Federico Lombardi, Andrea Margheri and Vladimiro Sassone
Type: Conference or Workshop Item
| 2017
Quantifying leakage in the presence of unreliable sources of information - Sardouna Hamadou, Catuscia Palamidessi and Vladimiro Sassone
Type: Article
| 2017
Formal analysis of safety and security requirements of critical systems supported by an extended STPA methodology - Giles Howard, Michael Butler, John Colley and Vladimiro Sassone
Type: Conference or Workshop Item
| 2017
Bridging policy, regulation and practice? A techno-legal analysis of three types of data in the GDPR - Runshan Hu, Sophie Stalla-Bourdillon, Mu Yang, Valeria Schiavo and Vladimiro Sassone
Type: Book Section
| 2017
| Hart
A distributed infrastructure for democratic cloud federations - Andrea Margheri, Md Sadek Ferdous, Mu Yang and Vladimiro Sassone
Type: Conference or Workshop Item
| 2017
| IEEE
Responsabilité civile et stratégie de régulation: Essai sur la responsabilité civile des prestataires intermédiaires de service en ligne - Sophie Stalla-Bourdillon
Type: Book
| 2017
| Editions Universitaires Europeennes
| Item not available on this server.