E-LIB Suche - Ergebnisse für: Leonardo Aniello

1

A Methodology for Cybersecurity Risk Assessment in Supply C..:

, In: Computer Security. ESORICS 2023 International Workshops; Lecture Notes in Computer Science,

Gokkaya, Betul ; Aniello, Leonardo ; Karafili, Erisa. - p. 26-41 , 2024

Link: https://doi.org/10.1007/..

2

MANET-Rank: A Framework for Defence Protocols against Packe..:

, In: NOMS 2024-2024 IEEE Network Operations and Management Symposium,

Hutchins, Charles ; Aniello, Leonardo ; Gerding, Enrico. - p. 1-8 , 2024

Link: https://doi.org/10.1109/..

3

Designing Exception Handling Using Event-B:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,

Salehi Fathabadi, Asieh ; Snook, Colin ; Hoang, Thai Son... - p. 270-277 , 2024

Link: https://doi.org/10.1007/..

4

Security and dependability analysis of blockchain systems i..:

De Angelis, Stefano ; Lombardi, Federico ; Zanfino, Gilberto..
International Journal of Parallel, Emergent and Distributed Systems. , 2023

Link: https://doi.org/10.1080/..

5

A lightweight approach to the concurrent use and integratio..:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,

Thorburn, Robert ; Sassone, Vladimiro ; Fathabadi, Asieh Salehi... - p. 83-84 , 2022

Link: https://dl.acm.org/doi/1..

6

Verifying System-Level Security of a Smart Ballot Box:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,

Dghaym, Dana ; Hoang, Thai Son ; Butler, Michael... - p. 34-49 , 2021

Link: https://doi.org/10.1007/..

7

ASSURE: A Hardware-Based Security Protocol for Internet of ..:

, In: Authentication of Embedded Devices,

Yilmaz, Yildiran ; Aniello, Leonardo ; Halak, Basel - p. 55-87 , 2021

Link: https://doi.org/10.1007/..

8

Securing Hardware Supply Chain Using PUF:

, In: Authentication of Embedded Devices,

Aniello, Leonardo ; Halak, Basel ; Chai, Peter... - p. 115-144 , 2021

Link: https://doi.org/10.1007/..

9

Anti-BlUFf: towards counterfeit mitigation in IC supply cha..:

Aniello, Leonardo ; Halak, Basel ; Chai, Peter...
International Journal of Information Security. 20 (2020) 3 - p. 445-460 , 2020

Link: https://doi.org/10.1007/..

10

MalFamAware: automatic family identification and malware cl..:

Pitolli, Gregorio ; Laurenza, Giuseppe ; Aniello, Leonardo..
International Journal of Information Security. 20 (2020) 3 - p. 371-386 , 2020

Link: https://doi.org/10.1007/..

11

AndroDFA: Android Malware Classification Based on Resource ..:

Massarelli, Luca ; Aniello, Leonardo ; Ciccotelli, Claudio...
Information. 11 (2020) 6 - p. 326 , 2020

Link: https://doi.org/10.3390/..

12

ASSURE: A Hardware-Based Security Protocol for Resource-Con..:

Yilmaz, Yildiran ; Aniello, Leonardo ; Halak, Basel
Journal of Hardware and Systems Security. 5 (2020) 1 - p. 1-18 , 2020

Link: https://doi.org/10.1007/..

13

Cloud2Edge Elastic AI Framework for Prototyping and Deploym..:

Grigorescu, Sorin ; Cocias, Tiberiu ; Trasnea, Bogdan...
Sensors. 20 (2020) 19 - p. 5450 , 2020

Link: https://doi.org/10.3390/..

14

PASCAL: An architecture for proactive auto-scaling of distr..:

Lombardi, Federico ; Muti, Andrea ; Aniello, Leonardo...
Future Generation Computer Systems. 98 (2019) - p. 342-361 , 2019

Link: https://doi.org/10.1016/..

15

Towards a semantic modelling for threat analysis of IoT app..:

, In: Living in the Internet of Things (IoT 2019),

Fadhel, Nawfal ; Lombardi, Federico ; Aniello, Leonardo.. - p. 1-6 , 2019

Link: https://doi.org/10.1049/..