E-LIB Suche - Ergebnisse für: Galletta, Letterio

1

Explainable Ponzi Schemes Detection on Ethereum:

, In: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing,

Galletta, Letterio ; Pinelli, Fabio - p. 1014-1023 , 2024

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

2

Transformation from e-voting to e-cheque:

Kho, Yun-Xing ; Heng, Swee-Huay ; Tan, Syh-Yuan..
PLOS ONE. 19 (2024) 6 - p. e0302659 , 2024

Link: https://doi.org/10.1371/..

3

Securing SatCom user segment: A study on cybersecurity chal..:

Casaril, Francesco ; Galletta, Letterio
Computers & Security. 140 (2024) - p. 103799 , 2024

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

4

A Comparison of Hosting Techniques for Online Cybersecurity..:

, In: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; Intelligent Technologies for Interactive Entertainment,

Maggioni, Niccolò ; Galletta, Letterio - p. 136-163 , 2024

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

5

Simulating emergence of novelties using agent-based models:

Suda, Mikihiro ; Saito, Takumi ; Iwahashi, Nanami...
PLOS ONE. 18 (2023) 12 - p. e0294228 , 2023

Link: https://doi.org/10.1371/..

6

New approach to improve power consumption associated with b..:

Jabor, Maytham S. ; Azez, Aqeel Salman ; Campelo, José Carlos..
PLOS ONE. 18 (2023) 5 - p. e0285924 , 2023

Link: https://doi.org/10.1371/..

7

Risk Estimation in IoT Systems:

, In: Intelligent Systems Reference Library; Challenges of Software Verification,

Bodei, Chiara ; Ferrari, Gian-Luigi ; Galletta, Letterio. - p. 221-242 , 2023

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

8

A type language for distributed reactive components governe..:

Savanović, Zorica ; Galletta, Letterio
Journal of Logical and Algebraic Methods in Programming. 132 (2023) - p. 100848 , 2023

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

9

Formally verifying security protocols built on watermarking..:

Costa, Gabriele ; Degano, Pierpaolo ; Galletta, Letterio.
Computers & Security. 128 (2023) - p. 103133 , 2023

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

10

Enhancing anomaly detection in distributed power systems us..:

Kea, Kimleang ; Han, Youngsun ; Kim, Tae-Kyung.
PLOS ONE. 18 (2023) 8 - p. e0290337 , 2023

Link: https://doi.org/10.1371/..

11

IFCIL: An Information Flow Configuration Language for SELin..:

, In: 2022 IEEE 35th Computer Security Foundations Symposium (CSF),

Ceragioli, Lorenzo ; Galletta, Letterio ; Degano, Pierpaolo. - p. 243-259 , 2022

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

12

Covid19/IT the digital side of Covid19: A picture from Ital..:

Bonnici, Vincenzo ; Cicceri, Giovanni ; Distefano, Salvatore...
PLOS ONE. 17 (2022) 6 - p. e0269687 , 2022

Link: https://doi.org/10.1371/..

13

Can my firewall system enforce this policy?:

Ceragioli, Lorenzo ; Degano, Pierpaolo ; Galletta, Letterio
Computers & Security. 117 (2022) - p. 102683 , 2022

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

14

Towards effective preservation of robust safety properties:

, In: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing,

Busi, Matteo ; Degano, Pierpaolo ; Galletta, Letterio - p. 1674-1683 , 2022

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

15

Mechanical incrementalization of typing algorithms:

Busi, Matteo ; Degano, Pierpaolo ; Galletta, Letterio
Science of Computer Programming. 208 (2021) - p. 102657 , 2021

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